is_copy_constructible typetrait 给出了错误的答案

Question

在下面的代码中，is_copy_constructible_v 返回 true，但 MainClass 的复制构造函数被标记为已删除。

试图调用复制构造函数是一个编译错误。
那is_copy_constructible_v怎么看不到呢？

class BaseClass {};

class MainClass : public BaseClass {
public:
    MainClass(MainClass&) = delete;

    MainClass(const BaseClass& rhs)
    {
    }
};

int main()
{
    MainClass first{{}};

    //This line will not compile because MainClass::MainClass(MainClass&) is a deleted function
    //MainClass second{first};

    auto mainclass_is_constructible = std::is_copy_constructible_v<MainClass>;

    //This assert fails because is_copy_constructible_v returns true
    static_assert((std::is_copy_constructible_v<MainClass>) == 0);
}

这是通过检查给定类是否可复制/可移动的单元测试发现的。
它们可以正常工作，但在实际代码中添加了 MainClass(const BaseClass& rhs) 的等效项后就不行了。

如果我们有MainClass(const BaseClass& rhs, int value)，那么is_copy_constructible_v 将起作用。

如果我们也删除移动 ctor/assignment，给定 std::vector<MainClass> 会发生什么？向量会不会利用is_copy_constructible_v来检测如何操作最好，得到错误的答案？

非常感谢

Answer 1

MainClass 有一个 MainClass::MainClass(const BaseClass& rhs)，这使得从 const 左值构造 MainClass 成为可能，例如

const MainClass first{{}};

// This line will compile because MainClass::MainClass(const BaseClass& rhs) is usable
// a MainClass could be bound to const BaseClass&
MainClass second{first};

而std::is_copy_constructible 执行检查为：

提供一个等于std::is_constructible<T, const T&>::value的成员常量值。

请注意，它正在检查 T 是否可以从 const T& 构造，然后为 MainClass 生成 true。

如果将复制构造函数声明为：

MainClass(const MainClass&) = delete;

你会得到结果false。

给出std::vector<MainClass>会发生什么

它将使用MainClass::MainClass(const BaseClass& rhs)（用于push_back 或重新分配等）。如果不是您所期望的，您必须重新考虑设计。