Почему рекурсивный шаблон ничего не захватывает?

Question

[Евгений Обыкновенный]

Есть рекурсивный шаблон '\((([^\(\)]+)|(?R))+\)', который должен захватывать любую правильную скобочную структуру. Например, в строке x + ((3-2) + (3*(4+5))) + y он должен найти подстроку ((3-2) + (3*(4+5))).

Проблема в том, что если в строке есть лишняя открывающая скобка, например x + (((3-2) + (3*(4+5))) + y, то шаблон почему-то ничего не захватывает.

При этом, если в шаблоне сделать однократную подмаску '\(((?>[^\(\)]+)|(?R))+\)', то все правильно работает. Почему так? В чем разница?

UPD
Видимо, зависит от длины строки.
Вот пример, когда ничего не захватывает:
https://rextester.com/GCUB77640

Comments

[dodo512]

если в строке есть лишняя открывающая скобка, например x + (((3-2) + (3*(4+5))) + y, то шаблон почему-то ничего не захватывает.

А как проверяете что не захватывает?
В песочнице этот пример работает и захватывает.
https://rextester.com/YOELHH19244

[Евгений Обыкновенный]

dodo512, видимо, зависит от длины строки.
Вот пример, когда ничего не захватывает:
https://rextester.com/GCUB77640

[dodo512]

Евгений Обыкновенный, тут достаточно [^()]+ убрать квантификатор [^()]
https://rextester.com/RCMES67047

[Евгений Обыкновенный]

dodo512, да. Судя по всему, это непредсказуемое исчерпание памяти, стека или что-то подобное. И как угадать, при какой длине строки и на какой сложности шаблона функция упадет.

[Евгений Обыкновенный]

dodo512, а что если шаблон используется в preg_replace_callback. И что возвращать, когда шаблон ничего не захватил. Никак ошибку не выловить.

[dodo512]

Евгений Обыкновенный, preg_last_error_msg() возвращает сообщение об ошибке последней запущенной функции PCRE
https://www.php.net/manual/ru/function.preg-last-e...

[Евгений Обыкновенный]

dodo512, например, надо в строке найти все правильные скобочные наборы и заменить в них пробелы на какой-то символ. Что делать, если перед preg_replace обнаружится ошибка.

$str = preg_replace_callback( 
    '#\(((?>[^\(\)]+)|(?R))+\)#u', 
    function($mtchs) {
      return preg_replace( '#\s+#u', '^', $mtchs[0] );
    }, 
    $str 
  );

[dodo512]

Евгений Обыкновенный, когда шаблон в preg_replace_callback исчерпает pcre.backtrack_limit или pcre.recursion_limit произойдёт ошибка и просто не будет очередного вызова callback-функции.
Узнать об ошибке можно проверив preg_last_error

$str = preg_replace_callback( 
    '#\(((?>[^\(\)]+)|(?R))+\)#u', 
    function($mtchs) {
      return preg_replace( '#\s+#u', '^', $mtchs[0] );
    }, 
    $str 
);

if (preg_last_error() !== PREG_NO_ERROR) {
    // Что-то пошло не так
}