复制构造函数、赋值运算符重载

Question

现在我不需要重载赋值参数或编写复制构造函数 （至少，我似乎从来不用，因为我从来没有遇到过问题）

据我所知，当我想在初始化后将一个对象及其值复制到另一个对象时，必须重载赋值运算符（与 CopyConstructor 相同，但在初始化时）。

Object a;
Object b;

// do something with a
b = a; //for this line, the Assignment Parameter must be overloaded (nearly never do such things)
Object c = a; // needs a Copy constructor 

但如果我这样写：

Object a;
Object* b;

b = &a; //I think I won't need one here since b actually points to Object a
Object* c = a; // I think same here

但是，如果我将一个对象复制到它自己的类/父类之外，我该怎么办。

class MyOtherClass{Object obj..........}

void MyOtherClass::SetObject(Object obj)
{
  this->obj = obj; // Assignment operator overloading needed in class Object?
}

我必须重载 Object 类中的赋值运算符吗？ 如果我执行以下操作会怎样：

void MyOtherClass::SetObject(Object &obj)
{
  this->obj = obj; // Assignment operator overloading needed in class Object?
}

最后一个问题，这是否也包括Enums？（我认为是的）

void MyOtherClass::SetObject(ENumClass Eobj)
.
.

Answer 1

关于是否实现赋值运算符的问题，答案是——视情况而定。

请记住，如果您自己不提供一个默认赋值运算符（在 C++11 中，如果您没有显式禁用默认运算符），编译器将生成它自己的默认赋值运算符。默认运算符使用自己的赋值运算符对每个单独的类成员进行赋值。

只要您的班级成员本身是赋值安全的，那么默认运算符就足够了，您不需要提供自己的运算符。当您需要执行自定义操作时，您只需提供自己的操作符，例如深复制动态分配的成员、调试日志记录、输入验证等。

Answer 2

为什么你使用一个单独的方法 SetObject() 复制 operator=() 语义？

为了正确地将基类分配给派生类，您可以通过这种方式在派生对象中重载 operator=()

DerivedObj& DerivedObj::operator=(const BaseObj& rhs){
    // call parent operator= in functional form
    BaseObj::operator=(rhs);
    return *this;
}

当然你应该实现

BaseObj& BaseObj::operator=(const BaseObj& rhs)

但是，如果您需要将基类分配给派生类，我不会说这是一个好的设计

Answer 3

编写一个从基类型赋值的赋值运算符是合法的，编写一个从相同类型的具体对象赋值的赋值运算符也是合法的。然而，即使两者都是合法的，通常最好的设计是从相同类型的对象或从其他具体类型（这种赋值实际上有意义）而不是从通用类型实现赋值。

话虽如此，它确实因应用程序而异。更具体一点，请考虑：

                     Shape
        /             |                \
      Triangle      Quadrilateral      Circle

... 在 Circle 中有一个可以从任何 Shape 进行赋值的赋值运算符可能没有意义。这种方法甚至会做什么？这些不同的实现没有任何共同之处。

现在，或者，考虑：

                     Point2D
                     /     \
          CartesianCoord   PolarCoord

... 在这样的应用程序中，提供一个接受通用 Point2D 的赋值运算符以促进两种类型之间的转换可能是有意义的。在这种情况下，所有实现都表示相同的信息，并且可以在表示之间进行非破坏性转换。因此，在这种情况下，允许进行更一般的转换是有意义的。

所以，真的，这一切都与概念上的意义有关。如果您可以以不破坏信息的方式向对象分配/从对象分配，那是理智的；如果您的作业具有破坏性，则可能是糟糕的设计。

对于参数，通常使用“const T&”（其中“T”是您要分配的类型）或“T&&”在破坏性分配的情况下。赋值的返回类型应该是对与当前对象相同类型的对象的引用。换句话说：

class CartesianCoord : public Point2D {
 public:
   // ...
   CartesianCoord& operator=(const Point2D&);
};

或者

class CartesianCoord : public Point2D {
 public:
   // ...
   CartesianCoord& operator=(const Point2D&);
   CartesianCoord& operator=(CartesianCoord&&); // fast destructive assignment
};

或者

class CartesianCoord : public Point2D {
 public:
   // ...
   CartesianCoord& operator=(const CartesianCoord&);  // if conversion disallowed
   CartesianCoord& operator=(CartesianCoord&&); // fast destructive assignment
};