参数为const T&与const T<U>&的拷贝构造函数有何区别？

问题1：第三个构造函数是否属于拷贝构造函数的特化？ #

不属于。C++标准明确规定：拷贝构造函数必须是非模板成员函数。哪怕某个模板构造函数实例化后的签名和拷贝构造函数完全一致，它也不会被编译器识别为拷贝构造函数。你给出的第三个构造函数是模板函数，属于跨类型转换构造函数，和拷贝构造函数是完全独立的两类函数。

问题2：第二个拷贝构造函数还有被调用的场景吗？ #

有。当你用同类型的allocator实例拷贝构造新实例时，重载决议会优先匹配非模板的第二个拷贝构造函数，而不是更通用的模板转换构造函数。
比如下面的代码调用的就是第二个默认拷贝构造：

allocator<int> a1;
allocator<int> a2(a1); // 调用非模板的拷贝构造，不会匹配模板转换构造

问题3：第二个构造函数的=default修饰是必须的吗？ #

不是强制必须，但属于符合标准实现的最佳实践：

• 如果你不显式声明第二个拷贝构造函数，编译器也会自动生成一个语义完全一致的默认拷贝构造函数，效果和=default完全相同。
• 显式写=default主要是为了明确对齐C++标准对std::allocator的要求：它的拷贝构造必须是constexpr、noexcept、平凡无操作的，同时也能避免后续新增其他成员函数时，编译器抑制默认拷贝构造生成的问题。

问题4：编译器如何为第三个构造函数提供默认实现？ #

你给出的示例里第三个构造函数已经手动提供了空实现{}，不需要编译器生成默认实现。
std::allocator本身是无状态类型，所有allocator实例（不管模板参数是什么类型）都是等价的，所以跨类型转换构造不需要做任何操作，空函数体就已经满足标准要求。如果你没有手动给这个模板构造函数写实现，编译器不会自动为它生成默认实现，会报链接错误。

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