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

Template assignment operator with rvalue reference argument behaves differently with vs2013 and gcc

本文关键字：vs2013 gcc 引用 参数 赋值运算符      更新时间：2023-10-16

为什么下面的代码

#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 编译时不打印任何内容。

正确的行为是什么？

编辑：模板赋值运算符重载之谜没有解决VS/gcc编译器的差异。

GCC 是正确的。您的类型具有隐式声明的移动分配运算符，该运算符比模板更匹配。

如果您导致隐式移动赋值被禁止，例如通过添加用户声明的析构函数，则将使用您的模板。

相关文章：