字典不支持最长前缀匹配，只能精确查找；需用路径段级 trie 树实现 O(k) 查找，每节点用 dict 索引静态段并设唯一通配符子节点，配合索引游标避免重复 split，保障高效路由。
为什么不能直接用字典做前缀路由
Python 的 dict 查找是 O(1) 均摊，但它不支持“最长前缀匹配”——比如请求路径 /api/v2/users/123，你得匹配到 /api/v2/users/{id} 而不是卡在 /api 或 /api/v2 就停。字典只能做精确键查找，无法自动回溯、分段试探或按层级剪枝。
常见错误是把所有可能前缀（如 /, /api, /api/v2, /api/v2/users）全塞进 dict，再手动循环最长匹配。这不仅内存爆炸，而且每次查找都是 O(N) 扫描，路由规则一过百就明显变慢。
真正可行的思路是构建一棵**确定性有限状态自动机（DFA）风格的 trie 树**，但要避开纯字符级 trie（太细、内存高），改用**路径段（path segment）级 trie**，每个节点对应一个 URL 路径片段，比如 api、v2、users。
用 path-segment trie 实现 O(k) 查找（k 是路径段数）
核心是把 URL 拆成段后逐层下降，每层用 dict 做子节点索引，同时支持通配符（如 {id}）和静态段混合：
立即学习“Python免费学习笔记（深入）”；
- 路径
/api/v2/users/123→ 拆为["api", "v2", "users", "123"] - 注册路由
/api/v2/users/{id}→ 对应节点链：api → v2 → users → {id}，其中{id}是特殊通配符节点 - 查找时，优先走静态段；静态段不匹配时，才尝试当前节点的通配符子节点（每个节点最多一个通配符子节点，避免歧义）
- 记录完整匹配路径上的 handler 和参数绑定，例如
{id}: "123"
class TrieNode:
def __init__(self):
self.children = {} # str → TrieNode, 静态段
self.wildcard = None # TrieNode, 如 "{id}" 或 "*"
self.handler = None # 匹配成功时调用的函数
self.param_name = None # 若本节点是通配符，存其名，如 "id"
注意通配符顺序与冲突规则
通配符不是正则，不能重叠。如果同时注册了 /users/{id} 和 /users/{id}/profile，后者必须挂载在前者通配符节点的 children 下，而不是同级——否则 /users/123 会错误匹配到更长的路径。
快速生成专业的 Python 脚本和应用代码。一键创建完整项目结构，支持CLI、API、爬虫、Bot、Django等多种项目类型，包含完整的项目结构、配置文件、依赖管理、测试、README和文档。
常见错误现象：route("/files/{name}.txt") 和 route("/files/{name}") 同时存在，导致 /files/readme.txt 匹配到后者（因为 trie 不解析后缀）。解决办法：禁止在通配符后加非斜杠字符，即通配符只能单独占一个段，且只允许后跟 / 或结尾。
所以路由定义需约束：
- 通配符格式统一为
{name}，且必须独占整个路径段 - 静态段中不能含
{、}，否则解析阶段就报错 - 插入时检查父子通配符是否形成歧义（如
/a/{x}和/a/{x}/b允许；/a/{x}和/a/{y}不允许共存于同一父节点）
实际性能关键点：避免重复 split 和对象分配
每次请求都调用 path.split("/") 会产生新列表，高频场景下 GC 压力大。更优做法是预编译路由树时就完成分段，并在查找时用索引游标递进，而非切片或拷贝：
def match(self, path_segments: list, i: int = 0) -> tuple[Callable, dict] | None:
if i == len(path_segments):
return self.handler, {}
seg = path_segments[i]
# 先试静态子节点
if seg in self.children:
res = self.children[seg].match(path_segments, i + 1)
if res is not None:
return res
# 再试通配符
if self.wildcard is not None:
rest = self.wildcard.match(path_segments, i + 1)
if rest is not None:
handler, params = rest
params[self.wildcard.param_name] = seg
return handler, params
return None
这里 path_segments 复用传入的列表，i 是当前段索引，全程无新 list 创建。实测在万级 QPS 下，比每次 split + 递归生成子列表快 2.3 倍左右（CPython 3.11）。
真正的复杂点不在结构设计，而在通配符继承时的参数覆盖逻辑——比如 /api/{version}/users/{id} 和 /api/{version}/admin/{id} 共享 {version} 节点，但各自 {id} 的值不能互相污染。这意味着每个匹配路径必须维护独立的 params 字典，且不能在 trie 节点上缓存跨请求的状态。
