std::vector拷贝构造使用哪种分配器？自定义分配器构造合法性疑问

1. 为什么你没有遇到编译报错 #

你给出的代码本身是不符合C++标准的非良构代码，未触发编译错误的唯一原因是：类模板的成员函数是按需实例化的，只要你没有实际调用过接收std::vector<T>（即默认分配器版本）的第二个构造函数，编译器不会对该函数做语义检查，自然不会抛出类型不匹配的错误。

你可以尝试执行以下实例化代码，必然触发编译错误：

std::vector<int> default_alloc_vec;
MyClass<int> obj(default_alloc_vec); // 此处会报错：无法将std::vector<int, std::allocator<int>>引用绑定到std::vector<int, MyAllocator<int>>类型的对象

std::vector<T, Alloc1>和std::vector<T, Alloc2>是完全独立的两个类型，只要Alloc1和Alloc2不是同一个类型，二者之间不存在任何隐式转换规则，不管成员是引用类型还是值类型，都不可能直接绑定或构造。

2. 第二个构造函数能否达到预期效果 #

完全不能：

• 如果成员是引用类型：根本无法通过编译，不同分配器的vector是不同类型，左值引用无法绑定到不兼容的类型。
• 如果你强行修改为值类型，且通过迭代器范围构造实现转换：会触发全量元素的深拷贝，完全违背你避免拷贝、性能优先的设计初衷。

3. std::vector拷贝构造的分配器选择规则 #

C++标准明确规定了vector拷贝构造的分配器选择逻辑：

• 普通拷贝构造函数：会调用std::allocator_traits<Alloc>::select_on_container_copy_construction()传入源容器的分配器，用返回的新分配器实例来为新容器分配内存，默认实现就是返回源分配器的拷贝。
• 如果你使用带显式分配器参数的构造函数，才会使用你传入的分配器来分配内存。

你不需要写两个重载构造函数，直接把分配器作为MyClass的模板参数即可，零开销兼容所有分配器类型：

template<typename T, typename Alloc>
class MyClass {
    std::vector<T, Alloc> &data;
public:
    MyClass(std::vector<T, Alloc> &data) : data(data) {}
};

// 使用时自动推导即可，不需要手动写模板参数
std::vector<int, MyAllocator<int>> my_alloc_vec;
MyClass obj1(my_alloc_vec); // 自动推导Alloc为MyAllocator<int>，零拷贝引用

std::vector<int> default_vec;
MyClass obj2(default_vec); // 自动推导Alloc为std::allocator<int>，同样零拷贝

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