boostorg/spirit_x4

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

Aberta

#62 aberto em 5 de out. de 2025

Ver no GitHub
 (0 comentário) (0 reação) (0 responsável)C++ (3 forks)auto 404
documentationenhancementgood first issuehelp wanted

Métricas do repositório

Stars
 (37 estrelas)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

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

Guia do colaborador

Direção de pesquisa
Examine a implementação do repeat directive no spirit x4 para entender como os limites são atualmente tratados, depois force que os limites sejam inteiros sem sinal e lance std::domain error para combinações inválidas como negativos, zero ou limites invertidos (max < min).
Pilha de tecnologia
cpp
Domain
backend
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C++
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30