C++11 派生赋值算子与完全转发

考虑这个最小的例子：

include <iostream>

struct foo
{
      foo &operator=(const foo &)
      {
              std::cout << "base copy assignment\n";
              return *this;
      }
      foo &operator=(foo &&)
      {
              std::cout << "base move assignment\n";
              return *this;
      }
};

struct bar: foo
{
      template <typename T>
      bar &operator=(T &&x)
      {
              std::cout << "derived generic assignment\n";
              foo::operator=(std::forward<T>(x));
              return *this;
      }
};

int main()
{
    bar b, c;
    b = c;
    b = bar{};
}

鉴于我希望它是：

derived generic assignment
base copy assignment
derived generic assignment
base move assignment

或者，换言之，在移动赋值的情况下，似乎bar中运算符=（）的完美转发没有起作用：取而代之的是调用基本移动赋值运算符

我用一个简单的成员函数尝试了相同的测试，在这种情况下，结果与我预期的一样（即，在任何基本赋值之前总是调用bar中的完美转发赋值）。另外，GCC4.5与我目前使用的4.6预发布版本不同，其行为也与我预期的一样

---

这是分配运算符的预期行为还是最近的GCC错误？

I起初回答不正确。我相信你得到的结果是正确的。在bar中隐式生成了一个移动赋值操作符，这就是在第二个赋值中调用的。隐式移动赋值运算符比显式泛型运算符更匹配

还有一个隐式复制赋值运算符，但在这种情况下，泛型赋值运算符更适合，因为

c

不是

const

阐述：

仅当用户声明复制赋值运算符、移动赋值运算符、复制构造函数、移动构造函数或析构函数时，才会禁止生成隐式移动赋值运算符。这些特殊成员都不能是模板。[class.copy]列举每个特殊成员的表格

例如，类

X

的移动赋值运算符将具有以下形式之一：

operator=(X&&);
operator=(const X&&);
operator=(volatile X&&);
operator=(const volatile X&&);

（可以使用任何返回类型）

---

bar中模板化的赋值运算符不符合特殊成员的资格。它既不是复制赋值运算符，也不是移动赋值运算符。

我认为定义赋值运算符会阻止隐式生成赋值运算符？你的评论很好。我详细阐述了我的回答，试图回应你的评论。我只是想添加精化作为一个注释，但格式问题促使我编辑答案。非常感谢您的解释和参考，我将答案标记为已接受。出于好奇，哪些构造函数被视为特殊成员函数？第12条（“特殊成员函数”）开头的句子说明默认、复制和移动构造函数是“特殊成员函数”，但12.1中的构造函数规范可能意味着所有构造函数都是“特殊的”。@James:[Special]/p1定义了“特殊成员函数”。

operator=(X&&);
operator=(const X&&);
operator=(volatile X&&);
operator=(const volatile X&&);