这个名字比较突兀。是不是改成OpPattern更顺一些？

这个名字得考虑一下，这个变量其实表示初始的传入给Graph的数据，后续会按照这个结构来构造Pattern，可以理解为Pattern的初始参数。改为PatternInitializer是不是好点？

可以，尽可能名副其实就行

static_assert(false, "Please specialize!");
做静态断言。下同。

这个地方不能改为 static_assert ，否则会直接编译错误，这个部分应该是运行到这里才挂，而不是编译直接挂。

我试了一下，如果是

static_assert(std::is_same_v<T, FrontendStage > || std::is_same_v<T, BackendStage >, "Please specialization!");

应该是没问题的。
但是这么做了，就有错误依赖的嫌疑。

这个地方不能改为 static_assert ，否则会直接编译错误，这个部分应该是运行到这里才挂，而不是编译直接挂。

https://stackoverflow.com/questions/52137187/static-assert-in-template-specialization-fails-even-if-it-is-not-instantiated 这里也有相同的错误。

我实验了一下，下边这种做法好像可以：

这种定义会导致编译错误非常杂乱。换一下。

template <typename T>
using StmtPatternBase = ...;
template <typename T>
struct StmtPattern final : public StmtPatternBase {
  using StmtPatternBase::StmtPatternBase;
  const StmtPatternBase& variant() const {
    return static_cast<const StmtPatternBase&>(*this);
  }
};

注意，这么做了之后，std::visit的第二个参数不能直接填stmt_pattern，而应该填stmt_pattern.variant()；

这个问题影响面有点大，我后续修复一下哈～

【建议，可以不改】在cc里模板实例化不是一个良好的编码习惯。不过没有太多其他Stage，这么做无关紧要。