C++20 Concepts是否可完全替代enable_if等旧约束方式？

算力阿峰

2026-7-21

C++20 Concepts 是否完全取代 enable_if/void_t？

对于仅面向C++20及更高标准的新项目，Concepts与requires子句在绝大多数实际开发场景中可以完全替代enable_if、void_t这类旧约束方式。比如你提到的std::bit_cast，MSVC用enable_if_t实现的「类型大小相同、平凡可复制」约束，和libcxx用requires子句写的逻辑完全等价，这类常规类型约束场景的转换毫无障碍。

有没有旧构造无法被Concepts替代的场景？

几乎没有，但存在几个非常边缘的极端情况：

依赖SFINAE副作用的hack写法：有些旧代码会利用enable_if触发SFINAE的过程，在表达式里执行编译期计算，甚至故意依赖未声明的名字来触发重载隐藏。这种写法本身就不符合规范的元编程思路，Concepts的设计目标是明确约束而非支持这类hack，所以很难直接对应，但这类场景在正经开发中几乎不会出现。
老旧元编程库的兼容衔接：如果项目需要和C17及之前的元编程库混合使用，可能需要临时用enable_if衔接接口，但纯C20新项目不存在这个问题。
早期C++20编译器的兼容问题：部分非常早期的C++20编译器对Concepts的支持有bug，可能需要用enable_if临时绕开，但现在主流编译器（GCC 10+、Clang 11+、MSVC 2022+）对Concepts的支持已经非常完善，这个问题基本可以忽略。