具有右值引用参数的模板赋值运算符与 vs2013 和 gcc 的行为不同

Posted 2023-02-25

【中文标题】具有右值引用参数的模板赋值运算符与 vs2013 和 gcc 的行为不同

【英文标题】：Template assignment operator with rvalue reference argument behaves differently with vs2013 and gcc

【发布时间】：2015-05-13 05:16:51

【问题描述】：

为什么下面的代码

#include <iostream>

struct A 
    template<typename T>
    A &operator=(T &&rhs) 
        std::cout << "A::operator= called" << std::endl;
        return *this;
    
;

int main() 
    A a1;
    a1 = A();
    return 0;

使用 Visual Studio Express 2013 打印 A::operator= called，但使用 gcc-4.9.1 编译时不打印任何内容。

正确的行为是什么？

编辑：Template assignment operator overloading mystery 没有解决 VS/gcc 编译器的差异。

【问题讨论】：

Template assignment operator overloading mystery的可能重复

这是 Visual Studio 中的 known bug。它不会隐式生成 move-constructor 和 move-assignment-operator。

【参考方案1】：

GCC 是正确的。你的类型有一个隐式声明的移动赋值运算符，它比模板更好的匹配。

如果您导致隐式移动分配被抑制，例如通过添加用户声明的析构函数，您的模板将被使用。