你说的表驱动是给 c 那种 switch case 用的，那种最简单，就一 jmp table ，可以直接 lower 到 ISA 上。但 pattern match 是 np hard，跟 switch case 不是一个问题，跟泛型也没有关系。

【 在 poocp 的大作中提到: 】
:
: 抛开泛型的复杂情况，单一类型单纯数值的pattern match由于是有界的，所有case可以放入数值范围表格来进行优化，而这种用法是最常见的方式。
:
: 【 在 philbloo 的大作中提到: 】
: : rust 或者其它主流语言不会用 smt solver 来编译 pattern match ，因为这个依赖太强，而且 smt solver 也很不稳定。

#发自zSMTH@Moto Z3 Play
--
FROM 37.33.57.*