C++20的Concepts(概念)怎么使用_C++模板约束与类型安全新特性解析

在类模板中使用 Concepts

不仅可以用于函数模板，还可以用于类模板的参数约束。

template<typename T>
concept Printable = requires(T t) {
    std::cout << t;
};

template<Printable T>
class Container {
    T data;
public:
    void print() const {
        std::cout << data << '\n';
    }
};

这样，当你尝试用一个不可打印的类型实例化 `Container`，编译器会立即指出违反了 Printable 约束。

组合多个 Concepts

可以用逻辑运算符组合多个 concept，构建更复杂的约束。

template<typename T>
concept Number = Integral<T> || FloatingPoint<T>;

template<Number T>
T max(T a, T b) {
    return a > b ? a : b;
}

也可以使用 requires 中的多个条件：

template<typename T>
concept RandomAccessIterator = requires(T it) {
    *it;
    ++it;
    it += 1;
    it - it;
    requires std::same_as<decltype(*it), typename T::value_type&>;
};

优势与实际意义

• 清晰的错误信息：模板错误不再是一堆晦涩的实例化轨迹，而是“类型 X 不满足 Y concept”。
• 提高代码可读性：看到模板参数被某个 concept 修饰，立刻知道它需要什么能力。
• 支持重载选择：可以基于不同的 concept 实现函数重载。

例如：

<p>调用 `handle(5)` 自动匹配第一个版本，`handle(3.14)` 匹配第二个。</p>

基本上就这些。C++20 的 Concepts 让模板真正变得“安全又易用”，是现代 C++ 编程不可或缺的一环。