Захват текста регуляркой на разных итерациях цикла

@Renji · Регистрация: 05.06.2014

Студворк — интернет-сервис помощи студентам

Вопрос к знатокам - нижеприведенное выражение по стандарту работает всегда одинаково или в зависимости от реализации?
Поясняю: первая итерация * захватывает a, вторая - b. После чего бекреференс использует текст захваченный на первой итерации. Хотя мне казалось, что захваченное на первой итерации должно было сброситься на второй.

C++
1
2
3
4
    std::regex regex("((a)|(b))*\\2");
    std::match_results<const char*> results;
    if(std::regex_match("aba",results,regex))
        std::cout<<"Hmm"<<std::endl;

@oleg-m1973 · 30.12.2020, 10:07

Сообщение от Renji

Поясняю: первая итерация * захватывает a, вторая - b. После чего бекреференс использует текст захваченный на первой итерации. Хотя мне казалось, что захваченное на первой итерации должно было сброситься на второй.

А где у тебя здесь итерации?

@Renji · 30.12.2020, 14:59 **[ТС]**

((a)|(b)) захватывает один символ. Квантификатор * делает любое количество таких захватов. Ну вот каждый из этих захватов я назвал итерацией.

Алексей1153 · 30.12.2020, 15:14

Сообщение от Renji

((a)|(b)) захватывает один символ

вообще-то, аж три

а вот так два

Code
1
(a|b)(.*)\1

для строки "abca": a - это окружающие символы, bc - "окружённые"

Добавлено через 2 минуты
соответственно, abcabndb

@Renji · 30.12.2020, 15:54 **[ТС]**

Сообщение от Алексей1153

вообще-то, аж три

Пишет что один. Откуда три?

C++
1
2
3
4
    std::regex regex("((a)|(b))");
    std::match_results<const char*> results;
    if(std::regex_search("aba",results,regex))
        std::cout<<results[1].length()<<std::endl;

Алексей1153 · 30.12.2020, 16:02

Renji, три скобки - три захвата

@Renji · 30.12.2020, 16:04 **[ТС]**

Третья скобка не срабатывает. В этом, собственно, и затык - сработать должна либо вторая скобка, либо третья. Но выражение из стартпоста работает так, как будто выстрелили обе.

C++
1
2
3
4
    std::regex regex("((a)|(b))");
    std::match_results<const char*> results;
    if(std::regex_search("aba",results,regex))
        std::cout<<results[3].matched<<std::endl;

Алексей1153 · 30.12.2020, 16:12

Renji, http://myregexp.com/ вот, потестируй. Для начал введи вверху ((a)|(b)) , а внизу a

в самом низу увидишь результат захвата:
0 - вся строка
1 - содержимое внешних скобок
2 - содержимое первой внутренней скобки
3 - содержимое второй внутренней скобки

Захват текста регуляркой на разных итерациях цикла

чтобы скобки не захватывали, а только группировали, нужно сразу после открывающей скобки поставить ?:
((?:a)|(?:b))

@Renji · 30.12.2020, 16:21 **[ТС]**

Сообщение от Алексей1153

Renji, http://myregexp.com/ вот, потестируй.

Потестировал. Там для ((a)|(b))* на aba выстрелила только вторая скобка, в третьей null. У g++ выстрелили обе. Так возвращаемся к исходному вопросу - стандарт то что на эту тему говорит, должны стрелять обе скобки или бабушка надвое сказала?

C++
1
2
3
4
    std::regex regex("((a)|(b))*");
    std::match_results<const char*> results;
    if(std::regex_match("aba",results,regex))
        std::cout<<results[2].matched<<" "<<results[3].matched<<std::endl;

Алексей1153 · 30.12.2020, 16:41

Renji, насчёт стандарта мне неизвестно, но вот такое (a)|(b) - на мой взгляд из разряда UB

а вот так - всё ок
(a|b)

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602
	30.12.2020, 14:59 [ТС]
	((a)\|(b)) захватывает один символ. Квантификатор * делает любое количество таких захватов. Ну вот каждый из этих захватов я назвал итерацией. 0

Алексей1153 фрилансер 6462 / 5670 / 1131 Регистрация: 11.10.2019 Сообщений: 15,096
	30.12.2020, 16:02
	Renji, три скобки - три захвата 0

Алексей1153 фрилансер 6462 / 5670 / 1131 Регистрация: 11.10.2019 Сообщений: 15,096
	30.12.2020, 16:12
	Renji, http://myregexp.com/ вот, потестируй. Для начал введи вверху `((a)\|(b))` , а внизу `a` в самом низу увидишь результат захвата: 0 - вся строка 1 - содержимое внешних скобок 2 - содержимое первой внутренней скобки 3 - содержимое второй внутренней скобки чтобы скобки не захватывали, а только группировали, нужно сразу после открывающей скобки поставить ?: `((?:a)\|(?:b))` 0

Алексей1153 фрилансер 6462 / 5670 / 1131 Регистрация: 11.10.2019 Сообщений: 15,096
	30.12.2020, 16:41
	Renji, насчёт стандарта мне неизвестно, но вот такое `(a)\|(b)` - на мой взгляд из разряда UB а вот так - всё ок `(a\|b)` 0