减少operator=和复制构造函数之间的代码重复

Question

我有一个需要非默认复制构造函数和赋值运算符的类（它包含指针列表）。有没有通用的方法来减少复制构造函数和赋值运算符之间的代码重复？

Answer 1

没有编写适用于所有情况的自定义复制构造函数和赋值运算符的“通用方法”。但有一个习语称为“复制和交换”：

 class myclass
 {
    ...
 public:
    myclass(myclass const&);

    void swap(myclass & with);

    myclass& operator=(myclass copy) {
        this->swap(copy);
        return *this;
    }

    ...
};

它在许多（但不是所有）情况下都很有用。有时你可以做得更好。如果向量或字符串足够大，则可以进行更好的分配，重用分配的存储空间。

Answer 2

将公共代码分解为私有成员函数。一个简单的（相当人为的）例子：

#include <iostream>

class Test
{
public:
  Test(const char* n)
  {
    name = new char[20];
    strcpy(name, n);
  }

  ~Test()
  {
    delete[] name;
  }

  // Copy constructor
  Test(const Test& t)
  {
    std::cout << "In copy constructor.\n";
    MakeDeepCopy(t);
  }

  // Assignment operator
  const Test& operator=(const Test& t)
  {
    std::cout << "In assignment operator.\n";
    MakeDeepCopy(t);
  }

  const char* get_name() const { return name; }

private:
  // Common function where the actual copying happens.
  void MakeDeepCopy(const Test& t)
  {        
    strcpy(name, t.name);
  }

private:
  char* name;
};

int
main()
{
  Test t("vijay");
  Test t2(t); // Calls copy constructor.
  Test t3(""); 
  t3 = t2; // Calls the assignment operator.

  std::cout << t.get_name() << ", " << t2.get_name() << ", " << t3.get_name() << '\n';

  return 0;
}

Answer 3

My &My::operator = (My temp)  // thanks, sellibitze
{
    swap (*this, temp);
    return *this;
}

并实现专门的 std::swap> （我的&，我的&）。

Answer 4

正如很多发帖者已经指出的那样，让operator=创建一个新的
使用复制构造函数创建对象，然后使用交换是不必在operator=中复制代码的常用技术。

也就是说，我想指出这种技术的一些优点和缺点，以帮助您决定它是否合适。

Pro - 异常安全

如果您的对象有可能导致抛出的资源需求，并且假设交换不会抛出，则此技术提供了异常安全的强有力保证（要么被分配的对象已采用另一个对象的值，要么它是不变）。

缺点 - 资源占用

这种技术的一个问题是它需要在旧对象被释放之前创建一个完整的新对象。如果您的对象需要大量资源，这可能是一个问题。