是否存在正则表达式匹配的硬限制

我为一个路由组件编写了这段代码，这里是完整的代码，它基本上从许多小的(特定于路由的)正则表达式中构建了一批任意数量的大正则表达式(取决于配置值)，以验证给定的请求是否可以或不能被注册路由映射。

一般的过程包括首先装饰每条路由，以便使用像

/path/to/:variable_name

变成像

/path/to/(?P<R1V1>[^/]+)

在验证时，这些路由被粘合在一个单一的正则表达式中，每批任意大小。

对于"正常"使用，例如500条路由和1-4个占位符，它工作得很好。但是在对其进行基准测试时，我注意到对于大量的占位符和以及大量的路由(目前有11个占位符和50000条路由)，我的代码无法找到最后注册的路由。

我不明白为什么。据我所知，这个东西应该大致以同样的方式运行，采取(也许?我的O符号已经生锈了)每个数量级的O(n*m)次(n是批的数量，m是批中有多少个正则表达式)。

也许是我测试这个的方式有问题?如果不是，你能指出我现在做的有问题的事情吗?

如果它有用的话，我使用的基准就是这里的这个

<?php
require dirname(__FILE__).'/../vendor/autoload.php';
$router = new 'CFV'Router();
$dispatcher = new 'CFV'Dispatcher();
$dispatcher::$ROUTES_PER_LOT = 20;
// $dispatcher::$THROW_ON_FAIL = true;
$callback = function (){};
$num_args = 11;
$routes_amount = 50000;
$matches_amount = 1;
$args = implode('/', array_map(function($i){ return ':arg' . $i; }, range(1, $num_args)));
$params = implode('/', array_map(function($i){ return '_arg' . $i; }, range(1, $num_args)));
$last_tried = '';
$load_start = microtime(true);
for ($i = 0, $str = 'a'; $i < $routes_amount; $i++, $str++) {
    $router->connect("/$str/$args", $callback);
    $last_tried = "/$str/$params";
}
printf("Took: %fs to load all'n", microtime(true) - $load_start);
$dispatcher->setRouter($router);
$search_start = microtime(true);
$found = $dispatcher->dispatch($last_tried);
printf("Took: %fs searching all'n", microtime(true) - $search_start);