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中完美转发的赋值）。另外，使用GCC 4.5而不是我目前正在使用的4.6预发行版，行为也如我所料。

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

Answer 1

我起初回答错误。我相信你得到的输出是正确的。在bar中隐式生成移动赋值运算符，这就是在第二个赋值中调用的内容。隐式移动赋值运算符比显式通用赋值运算符更好。

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

精化：

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

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

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

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

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

派生赋值运算符和完美转发

1 个答案: