为何std::is_copy_assignable_v对std::unordered_map始终返回true？

核心原因：is_copy_assignable只检查函数声明，不检查实例化可行性 #

std::is_copy_assignable_v<T>的本质是检测赋值表达式在未求值语境中是否语法合法，而非实际执行或实例化函数体时是否能通过编译。对于std::unordered_map这类模板类，这两者存在关键差异：

1. std::unordered_map的拷贝赋值函数声明始终存在 #

标准库中std::unordered_map的拷贝赋值函数是类模板的非模板成员，其声明（简化版）如下：

template <class Key, class T, class Hash, class Pred, class Alloc>
class unordered_map {
public:
    unordered_map& operator=(const unordered_map&); // 始终存在的声明
};

无论模板参数T是否可拷贝，这个函数声明都是合法的。std::is_copy_assignable_v检测到该声明存在，就会返回true，不会去检查函数体的实现细节。

2. 拷贝赋值的实例化失败发生在声明之后 #

只有当编译器尝试实例化拷贝赋值函数的定义时，才会递归检查元素类型的可拷贝性：

• std::unordered_map的元素是std::pair<const Key, T>，而std::pair的拷贝赋值函数会依赖T的拷贝赋值能力
• std::unique_ptr明确删除了拷贝赋值函数（operator=(const unique_ptr&) = delete;），导致std::pair的拷贝赋值也被隐式删除
• 最终std::unordered_map的拷贝赋值函数实例化失败，但这一步是在is_copy_assignable检测完成之后才发生的，属于编译期错误而非SFINAE语境下的失败

3. 代码验证 #

下面的代码可以复现你遇到的现象：

#include <unordered_map>
#include <memory>
#include <type_traits>

int main() {
    // 检测结果为true，因为函数声明存在
    static_assert(std::is_copy_assignable_v<std::unordered_map<int, std::unique_ptr<int>>>);

    // 实际编译失败：unique_ptr的拷贝赋值被删除，导致pair和unordered_map的拷贝赋值无法实例化
    std::unordered_map<int, std::unique_ptr<int>> a, b;
    a = b; // 编译错误
}

4. 如何正确检测实际可拷贝性？ #

如果需要检测std::unordered_map是否真的能执行拷贝赋值，需要让编译器在未求值语境中尝试触发函数体的实例化。可以自定义一个更严格的 trait：

#include <type_traits>

template <class T, class = void>
struct is_actually_copy_assignable : std::false_type {};

template <class T>
struct is_actually_copy_assignable<T, std::void_t<decltype(std::declval<T&>() = std::declval<const T&>())>> : std::true_type {};

template <class T>
constexpr bool is_actually_copy_assignable_v = is_actually_copy_assignable<T>::value;

// 此时检测会返回false，符合实际行为
static_assert(!is_actually_copy_assignable_v<std::unordered_map<int, std::unique_ptr<int>>>);

这个自定义trait会尝试在未求值语境中生成赋值表达式，迫使编译器检查函数体实例化的可行性，从而得到准确结果。

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