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

Question

为什么会出现下面的代码

#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 编译器差异。

Answer 1

海湾合作委员会是正确的。您的类型有一个隐式声明的移动赋值运算符，它比模板更匹配。

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