Python re.fullmatch 校验：末尾多一个换行，为什么锚点仍然通过
一条看起来完整的校验漏掉了尾巴
假设仓库标签要求两个大写英文字母、一条短横线和三位数字。你给模式两端加上起止锚点，测试普通标签一切正常，直到从剪贴板粘贴的标签末尾带上一个换行，仍然通过检查。这时不能只看返回对象是否存在，还应确认匹配到底消费了哪些字符。
Python 的美元锚点除了匹配字符串结尾，也能匹配最后一个换行符之前的位置。对整条输入做校验时，直接使用 fullmatch 更能表达要求：模式必须覆盖整段待检查内容。它不会自动把输入修剪干净，也不会替你决定哪些字符应该允许。
用可见的表示检查不可见字符
下面的完整文件适用于 Python 三点八及以上，本文在三点十二运行。输出使用 repr 展示换行与空白，避免终端把尾部换行真正换成下一行后，让人误以为两份输入一样。代码还安排了前缀、后缀、空串与全角数字作为拒绝样本。
正例只有严格符合格式的标签。代码先证明带美元锚点的 match 会接受末尾换行，再检查 fullmatch 的不同结果。最后单独验证搜索、多行标志和可匹配空串的模式，避免把一种接口的行为概括成所有正则的共同规则。
AI概念配图，非真实界面
import re
pattern = r'[A-Z]{2}-[0-9]{3}'
assert re.match('^' + pattern + '$', 'AB-123\n') is not None
assert re.fullmatch(pattern, 'AB-123\n') is None
cases = ['AB-123', 'AB-123\n', ' AB-123', 'AB-123x',
'AB-１２３', '', 'xAB-123']
results = [re.fullmatch(pattern, text) is not None for text in cases]
assert results == [True, False, False, False, False, False, False]
for text, valid in zip(cases, results):
print(repr(text), valid)
assert re.match(pattern, 'AB-123tail') is not None
assert re.search(pattern, 'prefix AB-123 suffix') is not None
multiline = 'before\nAB-123\nafter'
assert re.search('^' + pattern + '$', multiline, re.MULTILINE)
assert re.fullmatch(pattern, multiline, re.MULTILINE) is None
assert re.fullmatch(r'\d+', '１２３') is not None
assert re.fullmatch(r'\d+', '１２３', re.ASCII) is None
assert re.fullmatch(r'[0-9]*', '') is not None
assert re.fullmatch(r'[0-9]+', '') is None
print('anchors, Unicode digits and empty checks passed')匹配范围与字符规则分别决定
match 从输入起点尝试匹配，但不要求一直匹配到结尾；search 会寻找任意位置的匹配；fullmatch 则要求整个指定范围匹配。给一个搜索型任务强行套上完整匹配，会漏掉本来要提取的内容；给标签校验使用搜索，则可能接受一大段文字中的局部片段。
多行模式会改变起止锚点对每一行边界的理解，却不会把 fullmatch 改成“有一行符合就算成功”。示例把合格标签夹在其他行中，search 能找到它，fullmatch 仍然拒绝。校验函数的名称与匹配范围应一起读，不能只检查模式长得像不像正确格式。
字符串模式中的反斜杠 d 默认可以匹配 Unicode 十进制数字，因此全角数字也可能通过。标签若明确限定 ASCII 数字，写成零到九的范围更直接，或者有意识地使用 ASCII 标志。相反，如果产品允许多种文字的数字，就不该为了省事把它们统统排除。
预处理必须是约定的一部分
不要遇到换行问题就无条件 strip。它会接受原本应被拒绝的首尾空白，并改变输入内容。交互表单可能允许修剪，而签名原文、固定格式标识或需要逐字保存的字段可能不允许。先写出这项产品规则，再决定是在校验前规范化还是把错误反馈给用户。
fullmatch 可以成功匹配空字符串，只要模式本身允许零次出现。示例里的星号因此返回匹配对象，业务若要求至少一个字符，必须用加号、明确长度或额外判断。返回 None 表示没有匹配，不要把它与一个匹配长度为零的成功对象混为一谈。
编译后的模式还接受位置与结束位置参数；一旦传入，就可能只检查指定子区间。封装一个严格的整字段校验接口时，通常直接传入完整字符串更清楚。若确实是在大文本中检查片段，应把区间作为显式参数，并测试前后边界附近的字符。
最终测试应围绕允许集合设计，而不是只抄几个能通过的例子。最短和最长长度、末尾换行、内部换行、不同文字的数字都值得保留。对来自外部的大文本，还需要长度限制和简单可控的模式；完整匹配解决覆盖范围，并不自动消除复杂正则的回溯成本。
