“operator = 必须是非静态成员”是什么意思？ 意思是？

Question

我正在创建一个双链表，并且已经重载了operator=以使列表等于另一个：

template<class T>
void operator=(const list<T>& lst)
{
    clear();
    copy(lst);
    return;
}

但是当我尝试编译时出现此错误：

container_def.h(74) : error C2801: 'operator =' must be a non-static member

另外，如果有帮助的话，第74行是最后一行的定义，用“}”。

Answer 1

正如它所说：运算符重载必须是成员函数。 （在类内声明）

template<class T>
void list<T>::operator=(const list<T>& rhs)
{
    ...
}

另外，从 = 返回 LHS 可能是个好主意，这样你就可以链接它（如 a = b = c） - 所以让它
列表& 列表::operator=....

Answer 2

将该运算符放入您的类定义中。 它必须是一个成员，因为 operator= 很特殊，无论如何你都不会通过将其写为非成员来获得任何东西。 非成员运算符有两个重要的主要优点：

• 运算符调用右侧和左侧的隐式转换
• 无需了解类的内部结构。 非会员非好友即可实现功能。

对于operator=，两者都不可用。 分配给转换的临时结果没有意义，并且在大多数情况下 operator= 将需要访问内部。 此外，如果您不提供特殊的 operator=（所谓的复制赋值运算符），C++ 会自动提供它。 作为非成员可以重载 operator= 会带来额外的复杂性，显然没有实际收益，因此这是不允许的。

因此，请更改您的代码，使其看起来像这样（这假设 operator= 不是复制赋值运算符，而是从 list< /code> 到其他东西。这从你的问题中不清楚）：

class MyClass {
...
    template<class T>
    MyClass& operator=(const list<T>& lst)
    {
        clear();
        copy(lst);
        return *this;
    }
...
};

operator= 再次返回对其自身的引用是非常标准的。 我建议您坚持这种做法。 对于程序员来说，它看起来很熟悉，并且如果它突然返回 void ，可能会引起意外。

Answer 3

如果将运算符重载为成员函数，则应使用此模板：

class A {
  A& operator=(const A& other) {
    if (this != &other) {
      ...
    }
    return *this;
  }
}

需要注意的三件事：

1. 使用赋值运算符检查自赋值（如上所述）；
2. 参数应该是 const 引用； 并将
3. 操作结果作为非常量引用返回，其中返回 *this 以允许链接运算符。

您还可以重载类外部的运算符。 这与本示例无关，因为您无法使用赋值运算符来完成此操作，但值得注意的是，因为在许多情况下它优于成员函数。 典型的形式是：

class A {
  friend const A& operator+(const A& a, const A& b);
  ...
}
const A& operator+(const A& a, const A& b) {
  A& ret = ...
  return ret;
}

这个返回一个 const 引用，所以你不能这样做：

(a + b) = c

Answer 4

根据 C++ 标准，“二元运算符”：

“二元运算符应由具有一个参数的非静态成员函数或具有两个参数的非成员函数来实现”

它希望您在类中将其定义为成员，或使其成为静态方法（在这种情况下，它应该采用两个参数（对于 lval 和 rval）。