为何拷贝构造函数已删除时std::is_copy_constructible_v仍返回true

1. 为什么is_copy_constructible_v<MainClass>返回true #

首先明确std::is_copy_constructible_v<T>的底层判断逻辑：等价于std::is_constructible_v<T, const T&>，也就是判断能不能用const T&类型的参数构造出T类型的对象，你显式删除的拷贝构造和类型特性的判断参数不匹配是核心原因：

• 你删除的是MainClass(MainClass&) = delete，这个构造函数只接收非常量左值引用类型的MainClass参数，const MainClass&类型的参数不会匹配到这个被删除的函数
• 你定义的MainClass(const BaseClass& rhs)可以接收const MainClass&类型的参数：因为MainClass继承自BaseClass，const MainClass&可以隐式转换为const BaseClass&，重载决议会选中这个构造函数，所以is_constructible_v<MainClass, const MainClass&>返回true，最终is_copy_constructible_v就返回true

而你写的MainClass second{first};报错是因为first是非常量的MainClass对象，类型为MainClass&，重载决议时会优先匹配参数完全一致的MainClass(MainClass&)，这个函数被删除，因此编译失败，和类型特性的判断逻辑不冲突。

2. 为什么构造函数加个int参数就恢复正常 #

当你把构造函数改为MainClass(const BaseClass& rhs, int value)后，它需要两个参数，而is_copy_constructible_v判断的是仅传入一个const T&参数的场景，没有匹配的构造函数，自然就返回false，符合你的预期。

3. std::vector<MainClass>会不会出现问题 #

会出现不可预期的编译错误：
std::vector的扩容、插入、移动等操作，内部会依赖is_copy_constructible_v等类型特性做调度：如果判断为可拷贝构造，就会尝试调用拷贝构造函数复制元素。
但这时候会出现分裂的表现：

• 如果vector内部操作传递的是const MainClass&类型的元素，会匹配到MainClass(const BaseClass&)构造函数，编译运行都正常
• 如果vector内部操作传递的是非常量的MainClass&，会优先匹配到被删除的MainClass(MainClass&)，直接编译报错
  不同STL实现对vector内部参数的处理逻辑不同，会导致同一份代码在不同编译环境下表现不一致，排查成本非常高。

修复方案 #

如果你确实要禁用MainClass的拷贝构造，直接显式删除常量版本的拷贝构造即可：

MainClass(const MainClass&) = delete;

此时不管是常量还是非常量的MainClass参数，重载决议都会优先匹配这个被删除的拷贝构造函数，is_copy_constructible_v<MainClass>会正确返回false，vector的相关操作也会统一报错，不会出现分裂的表现。

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