推荐用「计数+单次扫描」实现 splitByTopLevel 函数:初始化 depth=0,遍历字符时遇'('加1、')'减1,仅在 depth===0 且遇分隔符时切分,并需处理引号包裹、Unicode 标点、注释剔除及索引式递归避免字符串拷贝。

用 preg_split 处理带括号嵌套的文本会直接崩
正则的 preg_split 无法识别括号层级,比如 "a(b(c)d)e" 想按最外层逗号或分号切分,但内容里有嵌套括号和逗号时,它只会机械匹配,结果错乱。这不是写得不够狠的问题,是正则本身不支持平衡组(PHP PCRE 默认不启用 (?R) 递归语法,且 preg_split 不接受递归模式)。
真正能稳住结构的,只有手写状态机或递归下降解析——而对嵌套文本分割,推荐用「计数+单次扫描」,不依赖正则回溯:
- 初始化括号计数器
$depth = 0 - 遍历每个字符,遇到
'('加1,')'减1 - 只在
$depth === 0且当前字符是分隔符(如','或';')时切分 - 记得跳过字符串字面量里的括号(如有引号包裹,需额外跟踪引号状态)
写一个安全的 splitByTopLevel 函数要处理这几种边界
实际用的时候,光计数还不够。下面这个函数能应对常见干扰:
function splitByTopLevel($str, $delimiter = ',', $open = '(', $close = ')') {
$parts = [];
$start = 0;
$depth = 0;
$len = strlen($str);
for ($i = 0; $i < $len; $i++) {
$c = $str[$i];
if ($c === '"' || $c === "'") {
// 简单跳过引号内内容(不处理转义)
$quote = $c;
$i++;
while ($i < $len && $str[$i] !== $quote) {
if ($str[$i] === '\\' && $i + 1 < $len) $i++; // 跳过转义
$i++;
}
continue;
}
if ($c === $open) $depth++;
elseif ($c === $close) $depth--;
elseif ($c === $delimiter && $depth === 0) {
$parts[] = trim(substr($str, $start, $i - $start));
$start = $i + 1;
}
}
$parts[] = trim(substr($str, $start));
return $parts;
}注意点:
立即学习“PHP免费学习笔记(深入)”;
- 它不处理 Unicode 字符(
$str[$i]在 UTF-8 下可能取到半个字符),如需多字节支持,改用mb_substr和mb_strlen并逐码点遍历 - 引号内的转义只跳过单层
\'或\",不支持三重转义或\\'这类组合 - 如果分隔符本身是多字符(如
'=>'),这个逻辑不适用,得换用有限状态机
递归解析嵌套结构时,别在每层都 substr 复制字符串
有人写递归函数,每次找到一对括号就 substr 提取中间内容再递归调用,看起来清晰,但 PHP 的字符串是值拷贝,深层嵌套下内存和时间开销陡增。更优做法是传入原字符串 + 当前起始/结束索引,用指针式偏移推进:
- 入口函数先调用
parseFromIndex($str, 0) - 递归函数返回
['node' => ..., 'endIndex' => ...],上层直接从endIndex + 1继续 - 所有子节点共享同一份字符串内存,无复制
- 调试时可加
$depth参数辅助日志,但运行时避免拼接深度字符串
这种写法在解析 "func(a, b(c,d), e)" 类表达式时,性能差距可达 3 倍以上(尤其字符串 > 1KB 时)。
别忽略空格、注释和 Unicode 标点对分割的影响
真实文本里,分隔符前后常有空格、换行甚至中文顿号 、 或全角逗号 ,。硬编码 ',' 会漏掉这些。稳妥做法是把分隔逻辑抽出来:
- 定义可接受的分隔符集合:如
[';', ',', ',', '、', "\n", "\t"] - 用
ctype_space()判断空白,而不是只认' ' - 注释(如
//或/* */)必须在计数前剔除,否则括号计数错位——建议预处理阶段用正则删注释,而非边扫边判 - 若输入来自表单或 JSON,注意
\uFF0C(全角逗号)这类 Unicode 字符,strpos无法匹配,得用mb_strpos
嵌套文本分割不是纯算法题,它卡点永远在现实数据的毛边里:少一个引号转义、多一个不可见零宽空格、或者某处用了 SVG 路径语法里的括号——这些细节不显眼,但会让整个解析中途崩溃。











