Description

Определенное пользователем утверждение является своего рода семантическим действием, которое оценивает булеву лямбду и, если оно оценивается как ложное, приводит к сбою матча в этом месте в строке. Это вызовет откат, поэтому матч может в конечном итоге увенчаться успехом.

Чтобы использовать check() для указания пользовательского утверждения в регексе, используйте следующий синтаксис:

sregex s = (_d >> _d)[check( XXX )]; // XXX is a custom assertion

Утверждение оценивается с помощью объекта sub_match<>, который определяет, какая часть строки соответствовала подвыражению, к которому было присоединено утверждение.

check() можно использовать с обычным предикатом, который принимает sub_match<> объект следующим образом:

// A predicate that is true IFF a sub-match is
// either 3 or 6 characters long.
struct three_or_six
{
    bool operator()(ssub_match const &sub) const
    {
        return sub.length() == 3 || sub.length() == 6;
    }
};
// match words of 3 characters or 6 characters.
sregex rx = (bow >> +_w >> eow)[ check(three_or_six()) ] ;

Альтернативно, check() может использоваться для определения встроенных пользовательских утверждений с тем же синтаксисом, что и для определения семантических действий. Следующий код эквивалентен выше:

// match words of 3 characters or 6 characters.
sregex rx = (bow >> +_w >> eow)[ check(length(_)==3 || length(_)==6) ] ;

В пользовательском утверждении _ является заполнителем для sub_match<> Это определяет часть строки, сопоставленную с подвыражением, к которому было прикреплено обычное утверждение.