C++20 Concepts模板函数约束应用编译错误求助

你遇到的问题是因为错误地将Concept当作类型来使用，而没有正确用它约束模板类型参数。咱们一步步拆解问题，然后给出正确的写法：

问题根源 #

你原来的代码：

class MyClass { template<isTriviallyCopyable> void copy(const isTriviallyCopyable & data); };

存在两个关键错误：

1. 模板参数列表里只写了Concept名isTriviallyCopyable，但没有声明具体的模板参数（比如T）——Concept是用来约束类型的，不是类型本身，必须先有一个类型参数才能被约束。
2. 函数参数里直接用isTriviallyCopyable作为类型，这也是不合法的，Concept不能当作类型使用。

正确的实现方式 #

方式1：简洁的Concept约束语法（推荐） #

保留你自定义的Concept，然后在模板参数列表里声明类型参数并直接用Concept约束它：

#include <type_traits>

// 你的自定义Concept
template <typename T>
concept isTriviallyCopyable = std::is_trivially_copyable_v<T>;

class MyClass {
public:
    // 正确写法：声明模板参数T，并用isTriviallyCopyable约束它
    template<isTriviallyCopyable T>
    void copy(const T& data) {
        // 这里可以安全编写代码，T必然满足is_trivially_copyable要求
    }
};

方式2：使用requires子句（适合复杂约束场景） #

如果后续需要更复杂的组合约束，可以用requires子句明确写出约束条件：

class MyClass {
public:
    template<typename T>
    requires isTriviallyCopyable<T>
    void copy(const T& data) {
        // ...
    }
};

方式3：直接使用标准库的Concept #

C++20标准库在<concepts>头文件中已经提供了std::trivially_copyableConcept，你可以直接使用它，省去自己定义的步骤：

#include <concepts>

class MyClass {
public:
    template<std::trivially_copyable T>
    void copy(const T& data) {
        // ...
    }
};

额外优势 #

和你之前用static_assert的方式相比，使用Concept的好处是：

• 编译错误更友好：当调用copy时传入不满足约束的类型，编译器会直接提示违反了Concept约束，而不是进入函数体后才触发static_assert的错误，调试起来更高效。
• 约束更明确：在函数声明阶段就把类型要求暴露出来，代码可读性更强，其他开发者一眼就能知道这个函数的适用类型。

内容的提问来源于stack exchange，提问作者JuliusCaesar