Как правильно указать условия якорения в Spirit X3?

Использование -(parser) просто делает (parser) необязательным. Использование его с -(&parser) не имеет буквально никакого эффекта.

Возможно, вы хотели получить отрицательное утверждение ("lookahead"), которое является !(parser) (противоположностью &(parser)).

Обратите внимание, что потенциальная путаница может быть вызвана разницей между унарным минусом (отрицательное утверждение) и двоичным минусом (уменьшение наборов символов).

Утверждение, что почтовый индекс начинается не с тире/цифры, кажется ... смущенный. Если вы хотите положительно утверждать что-то другое, чем тире или цифра, было бы &~char_("-0-9") (используя унарный ~ для отрицания набора символов), но это предотвратило бы совпадение в самом начале ввода.

Позитивный подход

Отбрасывая часть сложности влево и вправо, я бы наивно начал с чего-то вроде:

using It = std::string::const_iterator;
using ZipCode = boost::iterator_range<It>;

auto Parse(std::string const& input) {
    using namespace boost::spirit::x3;
    auto dig = [](int n) { return repeat(n)[digit]; };
    auto const zip59 = dig(5) >> -('-' >> dig(4));
    auto const valid = zip59 >> !graph;

    std::vector<ZipCode> matches;
    if (!parse(begin(input), end(input), *seek[raw[valid]], matches))
        throw std::runtime_error("parser failure");

    return matches;
}

Что, конечно, соответствует слишком многим:

Жить На Колиру

Matched '12345'
Matched '78397'
Matched '15222-1825'
Matched '53410-2807'

Героические Подвиги

Чтобы ограничить его (и все еще соответствовать в начале ввода) вы можете seek[&('-'|digit)], а затем потребовать допустимый zip.

Я свободно признаю, что мне пришлось немного повозиться с вещами, прежде чем сделать это "правильно". В процессе я создал отладочный помощник:

auto trace_as = [&input](std::string const& caption, auto parser) { 
    return raw[parser] [([=,&input](auto& ctx) { 
        std::cout << std::setw(12) << (caption+":") << " '";
        auto range = _attr(ctx);
        for (auto ch : range) switch (ch) {
            case '\0': std::cout << "\\0"; break;
            case '\r': std::cout << "\\r"; break;
            case '\n': std::cout << "\\n"; break;
            default: std::cout << ch;
        }
        std::cout << "' at " << std::distance(input.begin(), range.begin()) << "\n";
    })]; 
};

auto const valid = seek[&trace_as("seek", '-' | digit)] >> raw[zip59] >> !graph;

std::vector<ZipCode> matches;
if (!parse(begin(input), end(input), -valid % trace_as("skip", *graph >> +space), matches))
    throw std::runtime_error("parser failure");

, который выдает следующий дополнительный диагностический вывод:

Жить На Колиру

       seek: '1' at 0
       skip: '\n    ' at 5
       seek: '4' at 13
       skip: 'foo456\n    ' at 10
       seek: '5' at 23
       skip: 'ba58r\n    ' at 21
       seek: '2' at 31
       skip: '246764anc\n    ' at 31
       seek: '5' at 45
       skip: '578397\n    ' at 45
       seek: '9' at 56
       skip: '90210-\n    ' at 56
       seek: '1' at 67
       skip: '15206-1\n    ' at 67
       seek: '1' at 79
       skip: '\n    ' at 89
       seek: '1' at 94
Matched '12345'
Matched '15222-1825'

Теперь, когда выход-это то, что мы хотим, давайте снова разрежем леса:

Полный Листинг

Жить На Колиру

#include <boost/spirit/home/x3.hpp>

using It = std::string::const_iterator;
using ZipCode = boost::iterator_range<It>;

auto Parse(std::string const& input) {
    using namespace boost::spirit::x3;
    auto dig = [](int n) { return repeat(n)[digit]; };
    auto const zip59 = dig(5) >> -('-' >> dig(4));
    auto const valid = seek[&('-' | digit)] >> raw[zip59] >> !graph;

    std::vector<ZipCode> matches;
    if (!parse(begin(input), end(input), -valid % (*graph >> +space), matches))
        throw std::runtime_error("parser failure");

    return matches;
}

#include <iostream>
int main() {
    std::string const sample = R"(12345
foo456
ba58r
246764anc
578397
90210-
15206-1
15222-1825
15212-4267-53410-2807)";

    for (auto zip : Parse(sample))
        std::cout << "Matched '" << zip << "'\n";
}

Отпечатки пальцев:

Matched '12345'
Matched '15222-1825'