Inconsistencies in std::optional<std::optional<FOO>> collapsing

Aperta
#292 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
35/100
Tipo di issue
Bug
Chiarezza
Da chiarire
Stato di attività
Ferma
Stack tecnologico
cpp
Ambito
compilers

Direzione di ricerca

Inizia con l’espressione del parser di optional annidati nell’issue e verifica come viene attualmente documentato e testato il collassamento degli optional. Riproduci il caso "hallo there", determina se l’optional risultante debba riflettere il parser esterno o quello interno, quindi documenta e testa il comportamento scelto.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Hi,

right now I have little time, so I write this short report. I hope to find time in the future to extend it with a reproducer and maybe a proposed fix.

There seem to be some inconsistencies, or at least a lack of documentation, around the collapsing of nested optionals.

Given for example this parser:

constexpr auto my_parser = bp::lit(U"hallo") >> -(bp::lit(u"there") >> -(bp::lit(U"Markus") >> bp::attr(true)));

Without any collapsing, the argument type would be std::optional<std::optional<bool>>. But because of the collapsing, it is a bp::optional<bool>. But now I am missing the documentation whether the state of that optional (set or not set) reflects the success of the outer optional parser or the inner optional parser.

Parsing the string "hallo there", it seems I get an optional which is set (set by the outer optional parser). But its content is default-constructed, because the inner optional parser failed and produced an std::nullopt;

My feeling is that it would be more consistent if the state of the resulting std::optional reflected the success of the inner optional parser. Either way, the behavior should be documented and tested.

Lingua principale
C++
Stelle
182
Fork
28
Nessuna PR unita negli ultimi 30g

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di boostorg/parser

Tutte le issue di boostorg/parser

Issue simili

Altre issue su C++

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.