C++容器中select_on_container_copy_construction的调用时机是什么？

1. 该方法的调用场景 #

std::allocator_traits<Allocator>::select_on_container_copy_construction 只有拷贝构造函数这一个调用场景，你现在的实现是对的，其他位置都不需要调用：

• 移动构造函数：直接取源对象的分配器即可，不需要调用该方法。初始化列表可以写为 allocator(std::move(other.allocator)) 或者直接allocator(other.allocator)，移动构造本质是接管源对象的已有内存，必须使用和源对象一致的分配器才能正确管理接管的内存。
• 拷贝赋值运算符：不需要调用该方法。你当前写的直接赋值分配器的逻辑不对，正确逻辑是先判断std::allocator_traits<Allocator>::propagate_on_container_copy_assignment的值：
  • 若该值为true，才将当前容器的分配器赋值为源容器的分配器
  • 若该值为false，保留当前容器原有的分配器
• 移动赋值、交换（swap）等其他场景，都只需要根据对应propagate_on_container_*特性判断是否赋值分配器，和该方法无关。

2. 调用判断规则 #

这个方法的设计目的唯一且明确：仅在拷贝构造新的分配器感知容器时，用于获取新容器要使用的分配器实例。
它的存在是为了支持带状态的自定义分配器：部分特殊分配器可能需要在拷贝容器时，返回一个和源容器分配器不同的实例使用，默认实现只是返回源分配器的拷贝。只要不是拷贝构造容器的场景，都不需要调用这个方法。

现有代码补充修正示例 #

// 移动构造
CustomContainer(CustomContainer&& other) noexcept
    : allocator(std::move(other.allocator))
    , data(other.data)
    , sz(other.sz)
{
    // 源对象置空
    other.data = nullptr;
    other.sz = 0;
}

// 拷贝赋值
CustomContainer& operator=(const CustomContainer& other)
{
    if (this == &other) return *this;

    // 先判断是否要传播分配器
    if constexpr (std::allocator_traits<Allocator>::propagate_on_container_copy_assignment::value) {
        if (allocator != other.allocator) {
            // 分配器不等，先释放当前所有内存
            clear();
        }
        allocator = other.allocator;
    }

    // 后续拷贝元素的逻辑...
    return *this;
}

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