正则表达式反向引用失效求助：匹配0/1串且排除空串

一、你的组合正则失效原因 #

你写的(?<pat>^[10]+$)(\k<pat>0*(1(10)*(0|(11))((01*0)(01)*1|(00))*1)*0*)完全无法匹配，核心问题有两个：

• ^和$是全局首尾锚点，第一个捕获组(?<pat>^[10]+$)已经要求匹配整个输入字符串（从开头到结尾的0/1组合），后续的\k<pat>会要求再重复一遍完全相同的字符串，相当于输入必须是两个一模一样的0/1串拼接（比如101101），但你的测试输入都是单个目标字符串，自然匹配不上。
• 反向引用\k<pat>引用的是捕获组实际匹配到的文本内容，不是正则模式本身，这是你对反向引用的核心误解。

二、满足需求的正确正则 #

你的需求是：仅由0和1组成、排除空串、符合第二个模式的匹配规则。直接合并两个条件即可，无需反向引用：

^0*(1(10)*(0|(11))((01*0)(01)*1|(00))*1)+0*$

修改说明：把原第二个模式里的*（允许0次匹配，导致空串）改成+（要求至少1次匹配），既保留了原有的匹配规则，又自动排除空串，同时天然满足“仅由0和1组成”的要求。

验证测试用例：

• 应匹配：101、000、1010、10100 → 全部符合
• 不应匹配：空串、101110101、1110001、1000、11 → 全部不符合

三、关于反向引用与锚点的疑问 #

反向引用不能用来校验捕获组的模式，原因如下：

• 捕获组内的^和$是全局锚点，一旦捕获组匹配完成，$就定位到了字符串结尾，后续内容无法匹配。
• 反向引用只是复用已捕获的文本，不是复用正则逻辑。如果想复用模式逻辑，部分正则引擎（如PCRE）支持子模式引用(?&pat)，但即便如此，也不能在子模式里加^和$——锚点是全局生效的，会直接限制整个正则的匹配范围。

内容的提问来源于stack exchange，提问作者BJagger