5

我今天偶然发现了我不明白的代码。请考虑以下示例：

#include <iostream>
#include <string>

class A
{
public:
    template <class Type>
    Type& operator=(Type&& theOther)
    {
        text = std::forward<Type>(theOther).text;

        return *this;
    }

private:
    std::string text;
};

class B
{
public:
    B& operator=(B&& theOther)
    {
        text = std::forward<B>(theOther).text;

        return *this;
    }

private:
    std::string text;
};

int main()
{
    A a1;
    A a2;
    a2 = a1;

    B b1;
    B b2;
    b2 = b1;

    return 0;
}

编译时，MinGW-w64/g++ 10.2 声明：

..\src\Main.cpp: In function 'int main()':
..\src\Main.cpp:41:7: error: use of deleted function 'B& B::operator=(const B&)'
   41 |  b2 = b1;
      |       ^~
..\src\Main.cpp:19:7: note: 'B& B::operator=(const B&)' is implicitly declared as deleted because 'B' declares a move constructor or move assignment operator
   19 | class B
      |       ^
mingw32-make: *** [Makefile:419: Main.o] Error 1

我完全理解错误信息。但我不明白为什么我没有得到与 class 相同的信息A。模板化的移动赋值运算符不也是移动赋值运算符吗？那么为什么没有删除复制赋值运算符呢？这是写得很好的代码吗？

4

2 回答 2

8

模板化的移动赋值运算符不也是移动赋值运算符吗？

不，它不被视为移动赋值运算符。

（强调我的）

类 T 的移动赋值运算符是一个非模板非静态成员函数，其名称operator=只接受一个类型为T&&、const T&&、volatile T&&或的参数const volatile T&&。

结果，A仍然有隐式声明的复制/移动赋值运算符。

顺便说一句：您的模板赋值运算符采用转发引用，它可以接受左值和右值。在a2 = a1;中，它在重载决议中胜过生成的复制赋值运算符并被调用。

于 2021-10-28T09:07:23.093 回答
5

作为对@songyuanyao 基于标准的回答的补充：这些语言规则是诸如 MISRA/AUTOSAR（安全关键 C++ 开发的语言指南）等指南具有“避免开发人员混淆”规则的常见原因，例如：

（来自AUTOSAR C++14 指南）

规则 A14-5-1（必需、实施、自动化）

模板构造函数不应参与封闭类类型的单个参数的重载决议。

基本原理

模板构造函数永远不是复制或移动构造函数，因此即使模板构造函数看起来相似并且可能容易混淆，也不会阻止复制或移动构造函数的隐式定义。同时，复制或移动操作不一定只使用复制或移动构造函数，而是通过正常的重载解析过程找到最佳匹配函数来使用。在以下情况下，这可能会导致混淆：

  • 未选择看起来像复制/移动构造函数的模板构造函数
  • 对于复制/移动操作，因为编译器已生成隐式复制/移动构造函数，并且模板构造函数优先于复制/移动构造函数，因为模板构造函数更匹配

为了避免这些令人困惑的情况，模板构造函数不应参与封闭类类型的单个参数的重载解析，以避免为复制/移动操作选择模板构造函数。它还清楚地表明构造函数不是复制/移动构造函数，并且它不会阻止复制/移动构造函数的隐式生成。

规则 M14-5-3（必需、实施、自动化）

当模板赋值运算符的参数是泛型参数时，应声明复制赋值运算符。

也就是说，对于开发人员来说，模板复制/移动 ctor/赋值运算符不抑制（/不“激活”规则 5）隐式生成的运算符可能会令人惊讶。您通常需要使用 SFINAE 来确保模板化的 ctor/assignment 操作不会像复制/移动 ctor/assignment 一样通过允许重载对封闭类的单个参数处于活动状态。

于 2021-10-28T09:18:00.737 回答