布尔常量

精选推荐

最新动态

C++如何使用std::is_same进行类型判断？（SFINAE基础）

2026年2月27日

直接用 std::is_same<t int>::value</t> 是最常见写法，但它本身不触发 SFINAE —— 如果 T 是个非法类型（比如未定义的类），编译器会直接报硬错误，而不是静默丢弃重载。想让它参与 SFINAE，必须把它塞进依赖上下文里，比如作为模板参数默认值或返回类型的一部分。

C++怎么使用概念（Concepts）_C++20约束模板【规范】

2026年2月23日

Concepts 不是运行时检查，也不是接口定义；它是编译期对模板参数的语义约束。你写 std::sortable，编译器不会去跑排序算法验证，而是检查类型是否提供必需的操作（比如 operator、可迭代、可交换等）。它替代的是过去靠 SFINAE 或 <code>static_assert 堆出来的模糊报错，让错误信息从“no type named ‘iterator’ in ‘int’”变成“int does not satisfy sortable”。