boostorg/spirit_x4

The domain of integral bounds given to `repeat_directive` is underspecified

Aperta

#62 aperta il 5 ott 2025

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)C++ (3 fork)auto 404
documentationenhancementgood first issuehelp wanted

Metriche repository

Star
 (37 stelle)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

Perhaps this should be both rejected in the code and described in the new documentation.

  • The documentation should note that repeat operates on closed bounds.
  • x4::repeat(negative) should be rejected
  • x4::repat(negative, ...) and x4::repat(..., negative) should be rejected
  • x4::repeat(max, min) should be rejected
  • x4::repeat(0) should be rejected
    • This is semantically very vague.
    • As of now, I confirmed that it actually results in always succeeding parser (regardless of the underlying parser p given to repeat(0)[p]), similar to eps

Proposed solution:

  • The basic concept should be changed from std::integral to std::unsigned_integral
  • x4::repeat(max, min) should throw std::domain_error
  • x4::repeat(0) should throw std::domain_error

Guida contributor

Direzione di ricerca
Esamina l'implementazione di repeat directive in spirit x4 per capire come vengono attualmente gestiti i limiti, quindi imponi che i limiti siano interi senza segno e lancia std::domain error per combinazioni non valide come negativi, zero o limiti invertiti (max < min).
Tech stack
cpp
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C++
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30