具有右值引用参数的模板赋值运算符与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

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

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