C++ Concepts 是编译期约束机制，非运行时接口；它对模板参数施加可检查的语义要求，提升泛型代码的安全性、可读性与诊断能力，不改变类型系统、无运行时开销。
C++ 的 Concepts 不是接口，也不是 Java/C# 那种 interface；它不定义运行时契约，也不引入新类型或虚函数表。它的本质是编译期的**约束机制**，用于对模板参数施加可检查的语义要求，让泛型代码更安全、更易读、更易诊断。
Concepts 是编译期约束，不是运行时抽象
Interface（如 Java 中的 interface）规定对象“能做什么”，靠继承和动态分发在运行时实现多态。C++ Concepts 不生成任何运行时开销，也不改变类型系统——它只在模板实例化时检查：传入的类型是否满足指定的表达式、嵌套类型、可调用性等条件。
- 一个 Sortable concept 可能要求
T支持operator<且返回bool，但不强制T实现某个基类或接口 - 即使两个类型都满足 Sortable，它们之间也无需任何继承关系或共同基类
- 错误发生在编译早期，报错信息直接指向约束失败点（比如 “
MyTypedoes not satisfy Sortable becauseoperator<is deleted”），而非晦涩的模板展开堆栈
Interface 强调“是什么”，Concepts 描述“能怎样用”
Interface 定义的是类型的“身份”：一个类 implements Comparable，就表明它属于 Comparable 这个契约集合，可被统一处理（如 Collections.sort）。Concepts 不赋予身份，只回答“这个类型能否作为当前模板的实参被合法使用”。
- 你可以为
int、std::string、自定义Point分别定义满足 EqualityComparable 的方式，无需改写它们的定义，也不需统一继承 - 同一个类型可在不同场景下满足不同 concepts（如
vector<T>满足 Container、Range、SizedRange），这是基于用法的正交刻画 - 没有“实现 interface”的语法动作，只有“满足 concept”的逻辑事实
编程范式定位完全不同
Interface 是面向对象（OOP）范式的核心设施，支撑多态、封装与继承三要素中的“接口多态”。Concepts 则是泛型编程（GP）范式的现代化演进，与 Haskell 的 type classes、Rust 的 traits 更接近——它让 C++ 模板从“写起来自由、错起来痛苦”走向“写得清晰、错得明白”。
立即学习“C++免费学习笔记（深入）”；
- OOP 关注“谁来做”（对象职责 + 运行时分派），GP 关注“怎么做通用”（算法抽象 + 编译期适配）
- Interface 常配合工厂、策略等设计模式使用；Concepts 常配合
requires、concepts定义、约束模板函数/类，甚至参与函数重载决议（concept-based overloading） - 二者可共存：你完全可以用 interface 组织运行时多态逻辑，同时用 concepts 约束泛型算法接受的容器类型
实际效果对比一句话总结
Interface 让不同对象在运行时“假装成同一种东西”；Concepts 让不同类型在编译期“被确认可以一起工作”。前者靠虚函数表调度，后者靠 SFINAE/约束检查裁决——它们解决的不是同一类问题，也不存在替代关系，而是分属不同抽象层级的协作工具。
