满足std::copy_constructible概念的类需定义哪些构造函数？

嘿，我来帮你把这个问题掰扯明白～你想要的是一个既能满足std::copy_constructible概念，又能像std::any那样接受任意可拷贝构造类型来构造的类对吧？先看看你写的这段代码：

#include <concepts>

struct B {
    B(std::copy_constructible auto);
};
static_assert(std::copy_constructible<B>);

这段代码里的static_assert肯定会失败，核心原因在于：你只定义了一个模板构造函数，但std::copy_constructible对类的要求里，明确需要有一个非模板的拷贝构造函数——要么是编译器自动生成的默认版本，要么是你自己显式定义的。

为啥模板构造函数不行呢？这里有个重载解析的坑：当你尝试用一个B对象去拷贝构造另一个B对象时，模板构造函数会被实例化为B(const B&)吗？虽然看起来可以，但编译器会优先匹配非模板的拷贝构造函数；可如果你的类里没有这个非模板版本，就算模板能被实例化，std::copy_constructible的检查逻辑也不认——它要求的是专门针对自身类型的拷贝构造，而不是模板实例化出来的“凑数”版本。

那正确的做法是什么？你得让类同时拥有这两类构造函数，还要避免它们互相干扰：

必须满足的构造/赋值函数 #

要通过std::copy_constructible的检查，你的类必须具备：

• 公有的拷贝构造函数：也就是B(const B&)，可以是编译器自动生成的默认版本，也可以是你自己显式定义的
• 公有的拷贝赋值运算符：B& operator=(const B&)，同样可以用默认生成的版本
• （额外提一句：类得是可析构的，这个编译器一般会自动帮你生成，不用太操心）

兼容任意可拷贝类型的构造逻辑 #

要像std::any那样接受任意可拷贝构造的类型，你可以保留模板构造函数，但得加个约束，让它别在拷贝构造B对象的时候出来抢风头：

#include <concepts>
#include <type_traits>

struct B {
    // 模板构造函数：接受任意可拷贝构造类型，但排除自身类型
    template<std::copy_constructible T>
    B(T&& val) requires (!std::same_as<std::remove_cvref_t<T>, B>) {
        // 这里可以实现你的存储逻辑，比如像std::any那样保存val的副本
    }

    // 显式声明默认拷贝构造函数，确保拷贝B对象时优先匹配它
    B(const B&) = default;
    // 显式声明默认拷贝赋值运算符
    B& operator=(const B&) = default;

    // 可选：默认生成移动构造和移动赋值，让类的行为更完整
    B(B&&) = default;
    B& operator=(B&&) = default;
};

static_assert(std::copy_constructible<B>); // 现在这个断言就能通过啦

加了requires (!std::same_as<std::remove_cvref_t<T>, B>)之后，模板构造函数就不会处理B类型的参数，拷贝构造B对象时就会乖乖调用默认的拷贝构造函数，完美满足std::copy_constructible的要求。

备注：内容来源于stack exchange，提问作者Fedor