期望如何匹配至少一个数字、一个小写、一个大写的模式

Question

使用 Expect 如何检查给定的输入是否至少有一个大写字母、至少一个小写字母和至少一个数字或“！-%#”？ 对于输入字符串的最小数量为10的类似问题，有人回答了

expect  ^(?=.*?[A-Z])(?=.*?[a-z])(?=.*?[0-9])([!-%#])*.{10,}$

由于我是 Tcl 和 Expect 新手，谁能解释一下上面的代码是如何工作的？ 如果我们删除 {10,} 以删除最低限制，为什么它不起作用？

Answer 1

最小限制不能通过删除限制（绑定）量词{10,}来删除，您需要替换它为*（允许空字符串）或+（至少需要 1 个）：

expect  ^(?=.*[A-Z])(?=.*[a-z])(?=.*[0-9#?!@$%^&*-]).*$

或者只是（因为expect 不需要完整的字符串匹配）：

expect  ^(?=.*[A-Z])(?=.*[a-z])(?=.*[0-9#?!@$%^&*-])

如果您需要将符号限制为前瞻内的符号，只需将 .* 替换为 [a-zA-Z0-9#?!@$%^&*-]*：

expect  ^(?=.*[A-Z])(?=.*[a-z])(?=.*[0-9#?!@$%^&*-])[a-zA-Z0-9#?!@$%^&*-]*$ 
                                                    ^^^^^^^^^^^^^^^^^^^^^

我还会在 Tcl 正则表达式中以一致的方式使用贪婪量词，尽管这对当前模式没有影响。

详情：

• ^ - 字符串开头
• (?=.*[A-Z]) - 在任何 0+ 个字符之后必须有一个大写的 ASCII 字母
• (?=.*[a-z]) - 在任何 0+ 字符之后必须有一个小写的 ASCII 字母
• (?=.*[0-9#?!@$%^&*-]) - 在任何 0+ 字符之后必须有一个 ASCII 数字，或字符类中定义的任何特殊符号
• .* - 任何 0+ 个字符，尽可能多到
• $ - 字符串结尾。

(?=...) 构造被称为正向前瞻，它们“坚守阵地”，即一旦执行它们就不会推进正则表达式索引。因此，3个lookaheads会一一进行检查，一旦其中一个返回false，则整个匹配失败。

注意：为避免使用.* 进行不必要的回溯，您可以应用对比原则（即在前瞻中使用相应的否定字符类）：

^(?=[^A-Z]*[A-Z])(?=[^a-z]*[a-z])(?=[^0-9#?!@$%^&*-]*[0-9#?!‌​@$%^&*-])[a-zA-Z0-9#‌​?!@$%^&*-]*$

[^A-Z]* 将匹配一个或多个非大写 ASCII 字母，[^a-z]* 将匹配一个或多个非小写 ASCII 字母等字符。.* 先抓取整个字符串，然后回溯，检查后续子模式是否可以匹配。因此，否定字符类效率更高，并且可以更快地找到匹配项或使匹配项失败。