optional::transform mandates are too strict - need to allow references
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 42/100
Direzione di ricerca
Inizia con il test case esistente menzionato nell’issue ed esamina i vincoli di optional::transform che mette alla prova. Confronta l’implementazione con le clausole collegate dello standard C++, in particolare con il requisito relativo al tipo oggetto, e verifica che i risultati di riferimento siano accettati quando optional<T&> è consentito. Il lavoro è completo quando il test passa senza indebolire gli altri vincoli indicati.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Don't overconstrain the types that can result from transform if optional<T&> is allowed.
https://eel.is/c++draft/optional#monadic-7
Let U be remove_cv_t<invoke_result_t<F, decltype(*val)>>.
https://eel.is/c++draft/optional#monadic-8
Mandates: U is a non-array object type other than in_place_t or nullopt_t. The declaration
U u(invoke(std::forward(f), *val));
is well-formed for some invented variable u.
[Note 1: There is no requirement that U is movable ([dcl.init.general]). — end note]
However, if optional<T&> is allowed, the object type requirement is too strong -- is_object_v<U> will prohibit a reference returning function creating an optional where U is a reference.
Caught by existing test case.
- Lingua principale
- C++
- Stelle
- 47
- Fork
- 25
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Non abbiamo ancora controllato i file di configurazione di questo progetto. Parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di bemanproject/optional
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 58/100
bemanproject/optional#188 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
bemanproject/optional#138 · 17 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
bemanproject/optional#134 · 6 commenti · 2 reazioni ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
bemanproject/optional#129 ·
-
good first issue
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
bemanproject/optional#120 · 3 commenti ·
Tutte le issue di bemanproject/optional
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
-
category:port-update
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 1-3 ore Idoneità per principianti 88/100
tensorflow/tflite-micro#3784 ·
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno