前些天菲尔兹奖一顿火热，都在关注 AI 辅助数学研究。 我看到 C++ 20 的语法，就觉得挺纠结的。 template <typename T> requires requires (T x) { x + x; } // `requires` 同时使用在 concept 的定义和使用上 T add(T a, T b) { return a + b; } 就是这个 requires requires 就很怪异。 假如让 ai 来参与设计语言，应该会很厉害吧。