重载赋值运算符

Question

我们可以将赋值运算符重载为普通函数，但不能将赋值运算符重载为友元函数。为什么？

Answer 1

因为 C++ 标准如此规定，第 13.5.3/1 条：

赋值运算符应为
由非静态成员实现
函数只有一个参数。
因为复制赋值运算符
隐式声明了operator=
类（如果用户未声明）
(12.8)，基类作业
运算符始终被副本隐藏
派生的赋值运算符
类。

这就是您真正需要知道的全部。友元函数不是成员函数，因此不能用于重载赋值运算符。

Answer 2

如果你想写：

MyClassObject = MyFriendObject;

然后，您需要实现一个构造函数，它将对友元类的 const 引用作为参数。

Answer 3

友元函数重载和成员函数重载的区别在于，调用对象必须是成员函数重载中的第一个操作数，而友元函数重载没有限制。这就是该标准背后的原因。同样，其他一些需要第一个操作数作为调用函数的运算符必须使用成员函数进行重载（例如：=、[]、->、 和 ( )） 。

Answer 4

您不能在类之外使用“自由函数”“扩展”赋值运算符，但您可以设计类以使其允许这样做：

Data.h

class Data {
public:
    Data& operator=(const Data& lhs) { /*...*/; return *this; }
    template <typename T> Data& operator=(const T& lhs) {
        return assign(*this, lhs); // Magic right here...
    }
private:
    // ...
};

Point.h

class Point {
public:
    float x,y;
    Point& operator=(const Point& lhs) { x = lhs.x, y = lhs.y; return *this; }
    template <typename T> Point& operator=(const T& lhs) {
        return assign(*this, lhs); // Magic right here...
    }
};

Assignment.h

Data& assign(const Data& lhs, const Point& rhs) {
    lhs["x"] = rhs.x;
    lhs["y"] = rhs.y;
    return lhs;
}

Point& assign(const Point& lhs, const Data& rhs) {
    rhs.query("x", lhs.x) || rhs.query(0, lhs.x);
    rhs.query("y", lhs.y) || rhs.query(1, lhs.y);
    return lhs;
}