C++中concepts/requires能否实现type_traits/static_assert做不到的模板参数约束

结论 #

仅从约束逻辑本身的可实现性而言，不存在concepts/requires能实现、但<type_traits>配合static_assert无法实现的场景。所有concepts可表达的编译期类型约束，都可以通过手动编写编译期类型萃取（自定义type_traits）+static_assert的方式完成等效的检查。

原因说明 #

concepts的约束本质上都是编译期布尔谓词判断，不管是基础的类型属性校验，还是requires表达式里的操作有效性、返回值类型校验，都可以拆解为等效的<type_traits>内置判断，或是手写SFINAE类型萃取实现：

• 对于内置类型属性判断：比如你示例中的浮点类型校验，std::floating_point concept本身就是基于std::is_floating_point_v实现的，两者的判断逻辑完全等价，换成static_assert写没有任何差异。
• 对于操作有效性校验：比如要求类型T支持两个实例相加、且返回值为T类型的concept：

  template<typename T>
  concept Addable = requires(T a, T b) {
      { a + b } -> std::same_as<T>;
  };
  

  用static_assert完全可以复刻完全一致的约束：

  template<typename T>
  struct AddableCheck {
      static_assert(std::is_same_v<decltype(std::declval<T>() + std::declval<T>()), T>, "T不支持相加返回T的操作");
  };
  

• 更复杂的嵌套约束、组合约束也都可以通过多个static_assert判断、或是组合多个type_traits谓词的方式实现等效校验。

两者的核心差异并不在约束能否实现，而在于：concepts语法更简洁，错误提示更清晰，且约束可以直接参与重载决议、特化匹配，这些是static_assert不具备的能力，但这部分差异你已经明确不需要讨论，仅从约束可实现性来说两者能力完全对等。

内容的提问来源于stack exchange，提问作者Adrian McCarthy