复制构造函数，赋值运算符，new

Question

我对复制构造函数和赋值运算符有一些疑问。我知道当我定义一个构造函数时，编译器不会合成默认构造函数。我怀疑是否可以只定义复制构造函数。我会说不，因为如果我定义了复制构造函数，则默认构造函数不会被合成，所以我无法初始化对象，因为我需要该类的对象，而我没有。我不知道这是否正确。我的第二个疑问是关于包含指针的类的类似值的实现。到目前为止，我看到的每个代码都在复制和赋值运算符中使用了 new 运算符。例如：

#include <string>
#include <vector>
#include "book.hh"

class Student
{
    std::string name;
    unsigned int id;
    unsigned int age;
    char gender;
    std::vector<Book> * books;

 /*Copy-constructor*/
    Student (const Student & other)
    {
        name = other.name;
        id = other.id;
        age = other.age;
        gender = other.gender;
        books = new std::vector<Book> (*other.books);
    }

 /*Assignment operator*/
    Student & operator = (const Student & other)
    {
        if (this != &other)
        {
            name = other.name;
            id = other.id;
            age = other.age;
            gender = other.gender;
            delete books;
            books = new std::vector<book> (*other.books);
        }
        return *this;
    }
 }

文档说应该实现一个构造函数。构造函数呢？在这种情况下，如何在没有构造函数（不是复制构造函数）的情况下实例化一个类？ Morover，我不明白为什么它在复制构造函数和赋值运算符中使用 new 。例如，我会在赋值运算符正文中执行 *books = *(other.books);这也是正确的吗？

Answer 1

查看The Rule of Three，它指出您通常应该定义一个复制构造函数、一个赋值运算符和一个析构函数（如果需要）。如果您有理由定义其中之一，那么您几乎肯定有理由定义其他内容。您正在管理动态内存，这意味着您可能应该在构造函数中对其进行初始化。

你的复制和赋值操作符必须做new std::vector<Book> (*other.books);，因为如果他们只复制指针，比如books = other.books;，你最终会得到两个Students共享同一个Books，这（通常）是一个配方为灾难。

（旁注：copy-and-swap idiom 可以省去一些麻烦。）

最后，确保您的析构函数deletes 分配了任何内存。正如@Ted Lyngmo 所指出的，在这种特定情况下，使用普通的std::vector 而不是指向一个的指针将消除定义任何特殊成员函数的需要。