c++11 - 派生赋值运算符和完美转发

Question

考虑这个最小的例子:

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
base move assignment

而我希望它是:

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

或者，换句话说，在移动赋值的情况下，bar 中 operator=() 的完美转发似乎并没有启动:而是调用了基本移动赋值运算符。

我用一个简单的成员函数尝试了相同的测试，在这种情况下，结果如我所料(即，bar 中完美转发的赋值总是在任何基本赋值之前调用)。此外，与我目前使用的 4.6 预发布版相比，GCC 4.5 的行为也符合我的预期。

这是特定于赋值运算符的预期行为还是最近的 GCC 错误？

Answer 1

一开始我答错了。我相信您得到的输出是正确的。 bar 中有一个移动赋值运算符的隐式生成，这就是您的第二个赋值中调用的内容。隐式移动赋值运算符比显式通用运算符更匹配。

还有一个隐式复制赋值运算符，但在这种情况下，通用赋值运算符更匹配，因为 c 不是 const。

阐述:

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

例如，类 X 的移动赋值运算符将具有以下形式之一:

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

(可以使用任何返回类型)。

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