C++ 模板专题 - 参数约束

一：概述：

        除了使用SFINAE对模板参数进行约束之外，还可以使用概念（Concepts）来对模板参数进行约束，确保传入的类似满足特定条件。概念（Concepts）是C++20中引入的，概念是用于指定类型要求的一种机制。它们可以帮助你编写更清晰的代码，通过限制模板参数类型来提高类型安全性和可读性。requires 关键字用于定义这些类型要求，是C++20中为概念（Concepts）引入的关键字。

二：例子

#include <concepts>
#include <iostream>

// 定义一个概念，要求类型 T 必须支持加法操作
template<typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as<T>; // 要求 a + b 的结果类型与 T 相同
};

// 使用 Addable 概念约束模板参数
template<Addable T>
T add(T a, T b) {
    return a + b;
}

int main() {
    std::cout << add(3, 4) << '\n'; // 输出 7
    // std::cout << add("Hello", "World"); // 这将导致编译错误，因为字符串不支持加法
}

#include <iostream>
#include <vector>

template <typename>
struct Other;

template <>
struct Other<std::vector<int>> {};

template<typename T> 
concept TypeRequirement = requires {
    typename T::value_type; 
    typename Other<T>;     
};

int main() {

    std::cout << '\n';

    TypeRequirement auto myVec= std::vector<int>{1, 2, 3};

    std::cout << '\n';

}