Python正则匹配按模式顺序尝试，依赖贪婪量词与回溯机制；re.search()从左到右找首个完整匹配即停止；分支|严格左优先；锚点和边界限定匹配位置。
Python正则表达式中，匹配不是“从左到右挑最长的”，而是**按模式书写顺序尝试，结合量词贪婪性与回溯机制共同决定最终匹配结果**。理解这点，才能避免看似合理却匹配失败或错位的情况。
量词默认是贪婪的，会尽可能多匹配
像 *、+、{m,n} 这类量词，默认行为是“贪婪匹配”——先试着吞掉后面所有符合条件的字符，再逐步回退（回溯）以满足整个模式的其余部分。
-
r"a.*b"在"a123b456b"中匹配到"a123b456b"（不是"a123b"），因为.*先吃光到末尾，再一点点吐出，直到后面的b能匹配上最后一个b - 想匹配第一个
b？改用非贪婪量词：r"a.*?b"→ 匹配"a123b"
正则引擎从字符串开头逐位置尝试，找到第一个完整匹配就停止
re.search() 不是找“最长”或“最符合语义”的匹配，而是从索引 0 开始，依次尝试以每个位置为起点能否完成整个模式匹配；一旦成功，立即返回，不继续往后找。
-
re.search(r"cat|dog", "my dog and cat")返回"dog"（不是"cat"），因为引擎在位置 3 就已匹配到"dog"，不会跳过它去后面找"cat" - 若把顺序换成
r"cat|dog"，在"cat and dog"中仍返回"cat"—— 因为它在位置 0 就匹配成功了
分支（|）有明确先后顺序，不自动优化
| 是“或”操作，但不是并行判断，而是严格按从左到右顺序尝试：先试左边分支，失败才试右边。长分支放前面可能掩盖短分支的合理匹配。
立即学习“Python免费学习笔记（深入）”；
-
r"ab|a"在"ab"中匹配"ab"（正确）；但在"a"中也能匹配"a"（因为"ab"失败后回退尝试"a"） - 但
r"a|ab"在"ab"中仍匹配"a"（只取最左成功项，不考虑是否更长），这是常见陷阱 - 解决方法：把更具体的分支放前面，如
r"ab|a"；或用单词边界等限定条件：r"\bab\b|\ba\b"
锚点和边界会影响“哪里开始尝试”
^、$、\b 等断言不消耗字符，但强制匹配必须发生在特定位置，间接改变实际生效的起始点。
-
re.match(r"a.*b", "x a1b y a2b")返回None，因为match()要求从开头匹配，而字符串开头是"x" -
re.search(r"\ba\w*b\b", "I have a1b and a2b.")可分别匹配"a1b"和"a2b"（两次调用），因为\b确保匹配的是完整单词
