trait是编译期静态约束机制，用于快速校验op属性（如zeroregions、isterminator），不可dyn_cast；interface是运行时多态机制，支持动态方法调用（如inferreturntypes），需dyn_cast且依赖crtp实现。
MLIR 中的 Trait 和 Interface 不是可互换的机制，它们解决的问题层级不同：前者用于编译期静态约束（比如“这个 Op 不能有副作用”），后者用于运行期动态查询（比如“这个 Op 能否做形状推导”）。混淆二者会导致编译失败或 Pass 行为异常。
Op 的 Trait 是什么，什么时候必须用
Trait 是编译期混入（mixin）到 Op 类中的模板特化，它不引入虚函数，只提供静态断言、固定方法或类型约束。它的作用是让 MLIR 基础设施能快速判断 Op 是否满足某类通用要求，而无需运行时 dispatch。
- 典型场景：声明
OpTrait::ZeroRegions表示该 Op 绝对不能带 region；用OpTrait::IsTerminator让 MLIR 自动校验 CFG 结构 - 错误现象：
mlir::verifyInvariants报错 “region count mismatch” 或 “missing terminator in block”，往往是因为漏加了必需的Trait - 注意：Trait 无法被动态 cast；你不能写
llvm::dyn_cast<zeroregions>(op)</zeroregions>—— 它不是接口类，只是编译期标签 - TableGen 中写法是直接列在
traits = [...]里，例如：[NoSideEffect, ZeroRegion]，生成的 C++ 代码会把它们作为mlir::Op<... traits...></...>的模板参数继承
OpInterface 怎么注册和调用，为什么不能用 Trait 替代
OpInterface 是真正的运行时多态机制，它允许你在不知道 Op 具体类型的前提下，安全地调用一组约定好的方法，比如 inferReturnTypes 或 backinfer。它的实现依赖 CRTP + dyn_cast 查表，开销比 Trait 略高，但换来的是扩展性。
- 使用前提：先在 TableGen 中用
DeclareOpInterfaceMethods<myinterface></myinterface>声明，再在 C++ 中实现MyInterface::Model<concreteop></concreteop>特化 - 调用方式必须用
llvm::dyn_cast<myinterface>(op)</myinterface>，返回空指针表示该 Op 未实现该接口 —— 这是安全的，不会 crash - 常见错误：忘记在
Op的build或verify中调用接口方法，导致 shape 推导失败却无报错；或误把接口方法写成 static，导致dyn_cast失败 - 性能影响：每次
dyn_cast都查一次全局接口映射表，高频路径（如 loop body 内）应缓存结果，避免反复 cast
Interface 和 Trait 在 Lowering Pass 中如何协作
在写方言 Lowering 时，Trait 和 OpInterface 往往配合使用：Trait 做快速守门，Interface 做精细操作。比如一个量化校验 Pass，先靠 QuantizableOpTrait 过滤出候选 Op，再用 QuantizationInterface::verify 检查具体量化参数是否合法。
- Lowering Target（
ConversionTarget）中，常用addDynamicallyLegalOp<myop>([](MyOp op) { return llvm::dyn_cast<quantizationinterface>(op); })</quantizationinterface></myop>，而不是硬写addLegalOp<myop>()</myop> - 不要试图用 Trait 实现跨方言通用逻辑：比如想统一处理所有支持 shape 推导的 Op，Trait 无法做到，必须用
InferTypeOpInterface - TableGen 里
Trait和Interface的声明语法相似，但语义完全不同 —— 前者出现在traits = [...]，后者出现在interfaces = [...]，写错位置会导致编译通过但运行时dyn_cast永远失败
最容易被忽略的一点是：Interface 的 C++ 实现类（Model）必须是纯虚函数的完整重写，哪怕只漏一个默认参数或 const 修饰符，都会导致 dyn_cast 返回 null，且编译器几乎不报错。建议在 verify 函数里加日志，确认接口是否真的被挂载成功。
