C++调用移动赋值运算符时operator=出现重载歧义如何解决

问题1：右操作数类型为什么是std::remove_reference<Example&>::type #

std::move的核心作用是将输入参数强制转换为右值引用，其底层实现逻辑可简化为：

template<typename T>
typename std::remove_reference<T>::type&& move(T&& t) noexcept {
    return static_cast<typename std::remove_reference<T>::type&&>(t);
}

你调用std::move(ex5)时，ex5是左值，模板参数T被推导为Example&，std::remove_reference<Example&>::type就是去掉引用修饰后的原始类型Example，std::move最终返回Example&&类型的右值引用。编译器报错信息只是完整展开了类型推导的过程，这个类型本质就是可移动的Example右值。

问题2：代码问题及修复方案 #

报错核心原因 #

你同时定义了两个赋值运算符重载：

1. 移动赋值运算符：Example& operator=(Example&& anExample) noexcept
2. Copy&swap赋值运算符：Example& operator=(Example anExample)

当传入右值std::move(ex5)时，两个重载的匹配优先级完全相同：

• 右值Example&&可以直接绑定到移动赋值的Example&&参数，属于精确匹配
• 右值Example&&也可以通过移动构造初始化按值传递的Example形参，也属于精确匹配
  编译器无法判断优先调用哪个重载，因此报二义性错误。

修复方案 #

Copy&swap惯用法的核心优势就是不需要单独编写拷贝赋值、移动赋值两个重载：按值传递的形参会自动根据实参类型选择构造方式：

• 实参为左值时：形参通过拷贝构造生成，执行拷贝赋值逻辑
• 实参为右值时：形参通过移动构造生成，执行移动赋值逻辑
  效率和单独编写移动赋值完全一致，还能避免内存泄漏、自赋值等问题。

因此你只需要删除单独定义的移动赋值运算符即可解决二义性问题，自动适配左值、右值赋值场景。

额外问题修复 #

你现有的移动赋值运算符存在内存泄漏bug：赋值时没有释放当前对象原有intPtr指向的堆内存，直接覆盖指针会导致旧内存泄漏，删除该错误实现后使用Copy&swap版本可以自动规避这个问题。

其他优化建议 #

• 修正Copy&swap赋值运算符的打印信息：现有打印内容是Copy assignment op called，但右值赋值时实际执行的是移动逻辑，可以改为Copy&swap assignment op called更准确。
• 补充空指针安全校验：友元operator<<中直接解引用intPtr，如果对象是已经被移动过的空状态，会触发未定义行为，建议先判断intPtr非空再解引用。
• 可以给Copy&swap赋值运算符加上noexcept修饰：你的移动构造、指针swap操作都是无异常的，标记后可以让容器操作时优先选择该赋值运算符，提升性能。

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