第十三章 拷贝控制

练习13.1

拷贝构造函数是什么?什么时候使用它?

解:

如果一个构造函数的第一个参数是自身类类型的引用,且任何额外参数都有默认值,则此构造函数是拷贝构造函数。当使用拷贝初始化时,我们会用到拷贝构造函数。

练习13.2

解释为什么下面的声明是非法的:

  1. Sales_data::Sales_data(Sales_data rhs);

解:

参数类型应该是引用类型。

练习13.3

当我们拷贝一个StrBlob时,会发生什么?拷贝一个StrBlobPtr呢?

解:

当我们拷贝StrBlob时,会使 shared_ptr 的引用计数加1。当我们拷贝 StrBlobPtr 时,引用计数不会变化。

练习13.4

假定 Point 是一个类类型,它有一个public的拷贝构造函数,指出下面程序片段中哪些地方使用了拷贝构造函数:

  1. Point global;
  2. Point foo_bar(Point arg) // 1
  3. {
  4. Point local = arg, *heap = new Point(global); // 2: Point local = arg, 3: Point *heap = new Point(global)
  5. *heap = local;
  6. Point pa[4] = { local, *heap }; // 4, 5
  7. return *heap; // 6
  8. }

解:

上面有6处地方使用了拷贝构造函数。

练习13.5

给定下面的类框架,编写一个拷贝构造函数,拷贝所有成员。你的构造函数应该动态分配一个新的string,并将对象拷贝到ps所指向的位置,而不是拷贝ps本身:

  1. class HasPtr {
  2. public:
  3. HasPtr(const std::string& s = std::string()):
  4. ps(new std::string(s)), i(0) { }
  5. private:
  6. std::string *ps;
  7. int i;
  8. }

解:

  1. #include <string>
  2. class HasPtr {
  3. public:
  4. HasPtr(const std::string &s = std::string()) : ps(new std::string(s)), i(0) { }
  5. HasPtr(const HasPtr& hp) : ps(new std::string(*hp.ps)), i(hp.i) { }
  6. private:
  7. std::string *ps;
  8. int i;
  9. };

练习13.6

拷贝赋值运算符是什么?什么时候使用它?合成拷贝赋值运算符完成什么工作?什么时候会生成合成拷贝赋值运算符?

解:

拷贝赋值运算符是一个名为 operator= 的函数。当赋值运算发生时就会用到它。合成拷贝赋值运算符可以用来禁止该类型对象的赋值。如果一个类未定义自己的拷贝赋值运算符,编译器会为它生成一个合成拷贝赋值运算符。

练习13.7

当我们将一个 StrBlob 赋值给另一个 StrBlob 时,会发生什么?赋值 StrBlobPtr 呢?

解:

会发生浅层复制。

练习13.8

为13.1.1节练习13.5中的 HasPtr 类编写赋值运算符。类似拷贝构造函数,你的赋值运算符应该将对象拷贝到ps指向的位置。

解:

  1. #include <string>
  2. class HasPtr {
  3. public:
  4. HasPtr(const std::string &s = std::string()) : ps(new std::string(s)), i(0) { }
  5. HasPtr(const HasPtr &hp) : ps(new std::string(*hp.ps)), i(hp.i) { }
  6. HasPtr& operator=(const HasPtr &rhs_hp) {
  7. if(this != &rhs_hp){
  8. std::string *temp_ps = new std::string(*rhs_hp.ps);
  9. delete ps;
  10. ps = temp_ps;
  11. i = rhs_hp.i;
  12. }
  13. return *this;
  14. }
  15. private:
  16. std::string *ps;
  17. int i;
  18. };

练习13.9

析构函数是什么?合成析构函数完成什么工作?什么时候会生成合成析构函数?

解:

析构函数是类的一个成员函数,名字由波浪号接类名构成。它没有返回值,也不接受参数。合成析构函数可被用来阻止该类型的对象被销毁。当一个类未定义自己的析构函数时,编译器会为它生成一个合成析构函数。

练习13.10

当一个 StrBlob 对象销毁时会发生什么?一个 StrBlobPtr 对象销毁时呢?

解:

当一个 StrBlob 对象被销毁时,shared_ptr 的引用计数会减少。当 StrBlobPtr 对象被销毁时,不影响引用计数。

练习13.11

为前面练习中的 HasPtr 类添加一个析构函数。

解:

  1. #include <string>
  2. class HasPtr {
  3. public:
  4. HasPtr(const std::string &s = std::string()) : ps(new std::string(s)), i(0) { }
  5. HasPtr(const HasPtr &hp) : ps(new std::string(*hp.ps)), i(hp.i) { }
  6. HasPtr& operator=(const HasPtr &hp) {
  7. std::string *new_ps = new std::string(*hp.ps);
  8. delete ps;
  9. ps = new_ps;
  10. i = hp.i;
  11. return *this;
  12. }
  13. ~HasPtr() {
  14. delete ps;
  15. }
  16. private:
  17. std::string *ps;
  18. int i;
  19. };

练习13.12

在下面的代码片段中会发生几次析构函数调用?

  1. bool fcn(const Sales_data *trans, Sales_data accum)
  2. {
  3. Sales_data item1(*trans), item2(accum);
  4. return item1.isbn() != item2.isbn();
  5. }

解:

三次,分别是 accumitem1item2

练习13.13

理解拷贝控制成员和构造函数的一个好方法的定义一个简单的类,为该类定义这些成员,每个成员都打印出自己的名字:

  1. struct X {
  2. X() {std::cout << "X()" << std::endl;}
  3. X(const X&) {std::cout << "X(const X&)" << std::endl;}
  4. }

X 添加拷贝赋值运算符和析构函数,并编写一个程序以不同的方式使用 X 的对象:将它们作为非引用参数传递;动态分配它们;将它们存放于容器中;诸如此类。观察程序的输出,直到你确认理解了什么时候会使用拷贝控制成员,以及为什么会使用它们。当你观察程序输出时,记住编译器可以略过对拷贝构造函数的调用。

解:

  1. #include <iostream>
  2. #include <vector>
  3. #include <initializer_list>
  4. struct X {
  5. X() { std::cout << "X()" << std::endl; }
  6. X(const X&) { std::cout << "X(const X&)" << std::endl; }
  7. X& operator=(const X&) { std::cout << "X& operator=(const X&)" << std::endl; return *this; }
  8. ~X() { std::cout << "~X()" << std::endl; }
  9. };
  10. void f(const X &rx, X x)
  11. {
  12. std::vector<X> vec;
  13. vec.reserve(2);
  14. vec.push_back(rx);
  15. vec.push_back(x);
  16. }
  17. int main()
  18. {
  19. X *px = new X;
  20. f(*px, *px);
  21. delete px;
  22. return 0;
  23. }

练习13.14

假定 numbered 是一个类,它有一个默认构造函数,能为每个对象生成一个唯一的序号,保存在名为 mysn 的数据成员中。假定 numbered 使用合成的拷贝控制成员,并给定如下函数:

  1. void f (numbered s) { cout << s.mysn < endl; }

则下面代码输出什么内容?

  1. numbered a, b = a, c = b;
  2. f(a); f(b); f(c);

解:

输出3个完全一样的数。

练习13.15

假定numbered 定义了一个拷贝构造函数,能生成一个新的序列号。这会改变上一题中调用的输出结果吗?如果会改变,为什么?新的输出结果是什么?

解:

会输出3个不同的数。并且这3个数并不是a、b、c当中的数。

练习13.16

如果 f 中的参数是 const numbered&,将会怎样?这会改变输出结果吗?如果会改变,为什么?新的输出结果是什么?

解:

会输出 a、b、c的数。

练习13.17

分别编写前三题中所描述的 numberedf,验证你是否正确预测了输出结果。

解:

13.14:

  1. #include <iostream>
  2. class numbered
  3. {
  4. public:
  5. numbered()
  6. {
  7. mysn = unique++;
  8. }
  9. int mysn;
  10. static int unique;
  11. };
  12. int numbered::unique = 10;
  13. void f(numbered s)
  14. {
  15. std::cout << s.mysn << std::endl;
  16. }
  17. int main()
  18. {
  19. numbered a, b = a, c = b;
  20. f(a);
  21. f(b);
  22. f(c);
  23. }

13.15:

  1. #include <iostream>
  2. class numbered {
  3. public:
  4. numbered() {
  5. mysn = unique++;
  6. }
  7. numbered(const numbered& n)
  8. {
  9. mysn = unique++;
  10. }
  11. int mysn;
  12. static int unique;
  13. };
  14. int numbered::unique = 10;
  15. void f(numbered s) {
  16. std::cout << s.mysn << std::endl;
  17. }
  18. int main()
  19. {
  20. numbered a, b = a, c = b;
  21. f(a);
  22. f(b);
  23. f(c);
  24. }

13.16:

  1. #include <iostream>
  2. class numbered
  3. {
  4. public:
  5. numbered()
  6. {
  7. mysn = unique++;
  8. }
  9. numbered(const numbered& n)
  10. {
  11. mysn = unique++;
  12. }
  13. int mysn;
  14. static int unique;
  15. };
  16. int numbered::unique = 10;
  17. void f(const numbered& s)
  18. {
  19. std::cout << s.mysn << std::endl;
  20. }
  21. int main()
  22. {
  23. numbered a, b = a, c = b;
  24. f(a);
  25. f(b);
  26. f(c);
  27. }

练习13.18

定义一个 Employee 类,它包含雇员的姓名和唯一的雇员证号。为这个类定义默认构造函数,以及接受一个表示雇员姓名的 string 的构造函数。每个构造函数应该通过递增一个 static 数据成员来生成一个唯一的证号。

解:

  1. #include <string>
  2. using std::string;
  3. class Employee
  4. {
  5. public:
  6. Employee();
  7. Employee(const string& name);
  8. const int id() const { return id_; }
  9. private:
  10. string name_;
  11. int id_;
  12. static int s_increment;
  13. };
  14. int Employee::s_increment = 0;
  15. Employee::Employee()
  16. {
  17. id_ = s_increment++;
  18. }
  19. Employee::Employee(const string& name)
  20. {
  21. id_ = s_increment++;
  22. name_ = name;
  23. }

练习13.19

你的 Employee 类需要定义它自己的拷贝控制成员吗?如果需要,为什么?如果不需要,为什么?实现你认为 Employee 需要的拷贝控制成员。

解:

可以显式地阻止拷贝。

  1. #include <string>
  2. using std::string;
  3. class Employee {
  4. public:
  5. Employee();
  6. Employee(const string &name);
  7. Employee(const Employee&) = delete;
  8. Employee& operator=(const Employee&) = delete;
  9. const int id() const { return id_; }
  10. private:
  11. string name_;
  12. int id_;
  13. static int s_increment;
  14. };

练习13.20

解释当我们拷贝、赋值或销毁 TextQueryQueryResult 类对象时会发生什么?

解:

成员会被复制。

练习13.21

你认为 TextQueryQueryResult 类需要定义它们自己版本的拷贝控制成员吗?如果需要,为什么?实现你认为这两个类需要的拷贝控制操作。

解:

合成的版本满足所有的需求。因此不需要自定义拷贝控制成员。

练习13.22

假定我们希望 HasPtr 的行为像一个值。即,对于对象所指向的 string 成员,每个对象都有一份自己的拷贝。我们将在下一节介绍拷贝控制成员的定义。但是,你已经学习了定义这些成员所需的所有知识。在继续学习下一节之前,为 HasPtr 编写拷贝构造函数和拷贝赋值运算符。

解:

  1. #include <string>
  2. class HasPtr {
  3. public:
  4. HasPtr(const std::string &s = std::string()) : ps(new std::string(s)), i(0) { }
  5. HasPtr(const HasPtr &hp) : ps(new std::string(*hp.ps)), i(hp.i) { }
  6. HasPtr& operator=(const HasPtr &hp) {
  7. auto new_p = new std::string(*hp.ps);
  8. delete ps;
  9. ps = new_p;
  10. i = hp.i;
  11. return *this;
  12. }
  13. ~HasPtr() {
  14. delete ps;
  15. }
  16. private:
  17. std::string *ps;
  18. int i;
  19. };

练习13.23

比较上一节练习中你编写的拷贝控制成员和这一节中的代码。确定你理解了你的代码和我们的代码之间的差异。

解:

查看13.22代码。

练习13.24

如果本节的 HasPtr 版本未定义析构函数,将会发生什么?如果未定义拷贝构造函数,将会发生什么?

解:

如果未定义析构函数,将会发生内存泄漏。如果未定义拷贝构造函数,将会拷贝指针的值,指向同一个地址。

练习13.25

假定希望定义 StrBlob 的类值版本,而且希望继续使用 shared_ptr,这样我们的 StrBlobPtr 类就仍能使用指向vectorweak_ptr 了。你修改后的类将需要一个拷贝的构造函数和一个拷贝赋值运算符,但不需要析构函数。解释拷贝构造函数和拷贝赋值运算符必须要做什么。解释为什么不需要析构函数。

解:

拷贝构造函数和拷贝赋值运算符要重新动态分配内存。因为 StrBlob 使用的是智能指针,当引用计数为0时会自动释放对象,因此不需要析构函数。

练习13.26

对上一题中描述的 strBlob 类,编写你自己的版本。

解:

头文件:

  1. #include <vector>
  2. #include <string>
  3. #include <initializer_list>
  4. #include <memory>
  5. #include <exception>
  6. using std::vector; using std::string;
  7. class ConstStrBlobPtr;
  8. class StrBlob {
  9. public:
  10. using size_type = vector<string>::size_type;
  11. friend class ConstStrBlobPtr;
  12. ConstStrBlobPtr begin() const;
  13. ConstStrBlobPtr end() const;
  14. StrBlob():data(std::make_shared<vector<string>>()) { }
  15. StrBlob(std::initializer_list<string> il):data(std::make_shared<vector<string>>(il)) { }
  16. // copy constructor
  17. StrBlob(const StrBlob& sb) : data(std::make_shared<vector<string>>(*sb.data)) { }
  18. // copy-assignment operators
  19. StrBlob& operator=(const StrBlob& sb);
  20. size_type size() const { return data->size(); }
  21. bool empty() const { return data->empty(); }
  22. void push_back(const string &t) { data->push_back(t); }
  23. void pop_back() {
  24. check(0, "pop_back on empty StrBlob");
  25. data->pop_back();
  26. }
  27. string& front() {
  28. check(0, "front on empty StrBlob");
  29. return data->front();
  30. }
  31. string& back() {
  32. check(0, "back on empty StrBlob");
  33. return data->back();
  34. }
  35. const string& front() const {
  36. check(0, "front on empty StrBlob");
  37. return data->front();
  38. }
  39. const string& back() const {
  40. check(0, "back on empty StrBlob");
  41. return data->back();
  42. }
  43. private:
  44. void check(size_type i, const string &msg) const {
  45. if (i >= data->size()) throw std::out_of_range(msg);
  46. }
  47. private:
  48. std::shared_ptr<vector<string>> data;
  49. };
  50. class ConstStrBlobPtr {
  51. public:
  52. ConstStrBlobPtr():curr(0) { }
  53. ConstStrBlobPtr(const StrBlob &a, size_t sz = 0):wptr(a.data), curr(sz) { } // should add const
  54. bool operator!=(ConstStrBlobPtr& p) { return p.curr != curr; }
  55. const string& deref() const { // return value should add const
  56. auto p = check(curr, "dereference past end");
  57. return (*p)[curr];
  58. }
  59. ConstStrBlobPtr& incr() {
  60. check(curr, "increment past end of StrBlobPtr");
  61. ++curr;
  62. return *this;
  63. }
  64. private:
  65. std::shared_ptr<vector<string>> check(size_t i, const string &msg) const {
  66. auto ret = wptr.lock();
  67. if (!ret) throw std::runtime_error("unbound StrBlobPtr");
  68. if (i >= ret->size()) throw std::out_of_range(msg);
  69. return ret;
  70. }
  71. std::weak_ptr<vector<string>> wptr;
  72. size_t curr;
  73. };

主函数:

  1. #include "ex_13_26.h"
  2. ConstStrBlobPtr StrBlob::begin() const // should add const
  3. {
  4. return ConstStrBlobPtr(*this);
  5. }
  6. ConstStrBlobPtr StrBlob::end() const // should add const
  7. {
  8. return ConstStrBlobPtr(*this, data->size());
  9. }
  10. StrBlob& StrBlob::operator=(const StrBlob& sb)
  11. {
  12. data = std::make_shared<vector<string>>(*sb.data);
  13. return *this;
  14. }
  15. int main()
  16. {
  17. return 0;
  18. }

练习13.27

定义你自己的使用引用计数版本的 HasPtr

解:

  1. #include <string>
  2. class HasPtr {
  3. public:
  4. HasPtr(const std::string &s = std::string()) : ps(new std::string(s)), i(0), use(new size_t(1)) { }
  5. HasPtr(const HasPtr &hp) : ps(hp.ps), i(hp.i), use(hp.use) { ++*use; }
  6. HasPtr& operator=(const HasPtr &rhs) {
  7. ++*rhs.use;
  8. if (--*use == 0) {
  9. delete ps;
  10. delete use;
  11. }
  12. ps = rhs.ps;
  13. i = rhs.i;
  14. use = rhs.use;
  15. return *this;
  16. }
  17. ~HasPtr() {
  18. if (--*use == 0) {
  19. delete ps;
  20. delete use;
  21. }
  22. }
  23. private:
  24. std::string *ps;
  25. int i;
  26. size_t *use;
  27. };

练习13.28

给定下面的类,为其实现一个默认构造函数和必要的拷贝控制成员。

  1. (a)
  2. class TreeNode {
  3. pravite:
  4. std::string value;
  5. int count;
  6. TreeNode *left;
  7. TreeNode *right;
  8. };
  9. (b)
  10. class BinStrTree{
  11. pravite:
  12. TreeNode *root;
  13. };

解:

头文件:

  1. #include <string>
  2. using std::string;
  3. class TreeNode {
  4. public:
  5. TreeNode() : value(string()), count(new int(1)), left(nullptr), right(nullptr) { }
  6. TreeNode(const TreeNode &rhs) : value(rhs.value), count(rhs.count), left(rhs.left), right(rhs.right) { ++*count; }
  7. TreeNode& operator=(const TreeNode &rhs);
  8. ~TreeNode() {
  9. if (--*count == 0) {
  10. delete left;
  11. delete right;
  12. delete count;
  13. }
  14. }
  15. private:
  16. std::string value;
  17. int *count;
  18. TreeNode *left;
  19. TreeNode *right;
  20. };
  21. class BinStrTree {
  22. public:
  23. BinStrTree() : root(new TreeNode()) { }
  24. BinStrTree(const BinStrTree &bst) : root(new TreeNode(*bst.root)) { }
  25. BinStrTree& operator=(const BinStrTree &bst);
  26. ~BinStrTree() { delete root; }
  27. private:
  28. TreeNode *root;
  29. };

实现和主函数:

  1. #include "ex_13_28.h"
  2. TreeNode& TreeNode::operator=(const TreeNode &rhs)
  3. {
  4. ++*rhs.count;
  5. if (--*count == 0) {
  6. delete left;
  7. delete right;
  8. delete count;
  9. }
  10. value = rhs.value;
  11. left = rhs.left;
  12. right = rhs.right;
  13. count = rhs.count;
  14. return *this;
  15. }
  16. BinStrTree& BinStrTree::operator=(const BinStrTree &bst)
  17. {
  18. TreeNode *new_root = new TreeNode(*bst.root);
  19. delete root;
  20. root = new_root;
  21. return *this;
  22. }
  23. int main()
  24. {
  25. return 0;
  26. }

练习13.29

解释 swap(HasPtr&, HasPtr&)中对 swap 的调用不会导致递归循环。

解:

这其实是3个不同的函数,参数类型不一样,所以不会导致递归循环。

练习13.30

为你的类值版本的 HasPtr 编写 swap 函数,并测试它。为你的 swap 函数添加一个打印语句,指出函数什么时候执行。

解:

  1. #include <string>
  2. #include <iostream>
  3. class HasPtr {
  4. public:
  5. friend void swap(HasPtr&, HasPtr&);
  6. HasPtr(const std::string &s = std::string()) : ps(new std::string(s)), i(0) { }
  7. HasPtr(const HasPtr &hp) : ps(new std::string(*hp.ps)), i(hp.i) { }
  8. HasPtr& operator=(const HasPtr &hp) {
  9. auto new_p = new std::string(*hp.ps);
  10. delete ps;
  11. ps = new_p;
  12. i = hp.i;
  13. return *this;
  14. }
  15. ~HasPtr() {
  16. delete ps;
  17. }
  18. void show() { std::cout << *ps << std::endl; }
  19. private:
  20. std::string *ps;
  21. int i;
  22. };
  23. inline
  24. void swap(HasPtr& lhs, HasPtr& rhs)
  25. {
  26. using std::swap;
  27. swap(lhs.ps, rhs.ps);
  28. swap(lhs.i, rhs.i);
  29. std::cout << "call swap(HasPtr& lhs, HasPtr& rhs)" << std::endl;
  30. }

练习13.31

为你的 HasPtr 类定义一个 < 运算符,并定义一个 HasPtrvector。为这个 vector 添加一些元素,并对它执行 sort。注意何时会调用 swap

解:

  1. #include <string>
  2. #include <iostream>
  3. class HasPtr
  4. {
  5. public:
  6. friend void swap(HasPtr&, HasPtr&);
  7. friend bool operator<(const HasPtr &lhs, const HasPtr &rhs);
  8. HasPtr(const std::string &s = std::string())
  9. : ps(new std::string(s)), i(0)
  10. { }
  11. HasPtr(const HasPtr &hp)
  12. : ps(new std::string(*hp.ps)), i(hp.i)
  13. { }
  14. HasPtr& operator=(HasPtr tmp)
  15. {
  16. this->swap(tmp);
  17. return *this;
  18. }
  19. ~HasPtr()
  20. {
  21. delete ps;
  22. }
  23. void swap(HasPtr &rhs)
  24. {
  25. using std::swap;
  26. swap(ps, rhs.ps);
  27. swap(i, rhs.i);
  28. std::cout << "call swap(HasPtr &rhs)" << std::endl;
  29. }
  30. void show() const
  31. {
  32. std::cout << *ps << std::endl;
  33. }
  34. private:
  35. std::string *ps;
  36. int i;
  37. };
  38. void swap(HasPtr& lhs, HasPtr& rhs)
  39. {
  40. lhs.swap(rhs);
  41. }
  42. bool operator<(const HasPtr &lhs, const HasPtr &rhs)
  43. {
  44. return *lhs.ps < *rhs.ps;
  45. }

练习13.32

类指针的 HasPtr 版本会从 swap 函数收益吗?如果会,得到了什么益处?如果不是,为什么?

解:

不会。类值的版本利用swap交换指针不用进行内存分配,因此得到了性能上的提升。类指针的版本本来就不用进行内存分配,所以不会得到性能提升。

练习13.33

为什么Message的成员saveremove的参数是一个 Folder&?为什么我们不能将参数定义为 Folder 或是 const Folder

解:

因为 saveremove 操作需要更新指定 Folder

练习13.34

编写本节所描述的 Message

解:

头文件:

  1. #include <string>
  2. #include <set>
  3. class Folder;
  4. class Message {
  5. friend void swap(Message &, Message &);
  6. friend class Folder;
  7. public:
  8. explicit Message(const std::string &str = ""):contents(str) { }
  9. Message(const Message&);
  10. Message& operator=(const Message&);
  11. ~Message();
  12. void save(Folder&);
  13. void remove(Folder&);
  14. void print_debug();
  15. private:
  16. std::string contents;
  17. std::set<Folder*> folders;
  18. void add_to_Folders(const Message&);
  19. void remove_from_Folders();
  20. void addFldr(Folder *f) { folders.insert(f); }
  21. void remFldr(Folder *f) { folders.erase(f); }
  22. };
  23. void swap(Message&, Message&);
  24. class Folder {
  25. friend void swap(Folder &, Folder &);
  26. friend class Message;
  27. public:
  28. Folder() = default;
  29. Folder(const Folder &);
  30. Folder& operator=(const Folder &);
  31. ~Folder();
  32. void print_debug();
  33. private:
  34. std::set<Message*> msgs;
  35. void add_to_Message(const Folder&);
  36. void remove_from_Message();
  37. void addMsg(Message *m) { msgs.insert(m); }
  38. void remMsg(Message *m) { msgs.erase(m); }
  39. };
  40. void swap(Folder &, Folder &);

实现和主函数:

  1. #include "ex13_34_36_37.h"
  2. #include <iostream>
  3. void swap(Message &lhs, Message &rhs)
  4. {
  5. using std::swap;
  6. lhs.remove_from_Folders(); // Use existing member function to avoid duplicate code.
  7. rhs.remove_from_Folders(); // Use existing member function to avoid duplicate code.
  8. swap(lhs.folders, rhs.folders);
  9. swap(lhs.contents, rhs.contents);
  10. lhs.add_to_Folders(lhs); // Use existing member function to avoid duplicate code.
  11. rhs.add_to_Folders(rhs); // Use existing member function to avoid duplicate code.
  12. }
  13. // Message Implementation
  14. void Message::save(Folder &f)
  15. {
  16. addFldr(&f); // Use existing member function to avoid duplicate code.
  17. f.addMsg(this);
  18. }
  19. void Message::remove(Folder &f)
  20. {
  21. remFldr(&f); // Use existing member function to avoid duplicate code.
  22. f.remMsg(this);
  23. }
  24. void Message::add_to_Folders(const Message &m)
  25. {
  26. for (auto f : m.folders)
  27. f->addMsg(this);
  28. }
  29. Message::Message(const Message &m)
  30. : contents(m.contents), folders(m.folders)
  31. {
  32. add_to_Folders(m);
  33. }
  34. void Message::remove_from_Folders()
  35. {
  36. for (auto f : folders)
  37. f->remMsg(this);
  38. // The book added one line here: folders.clear(); but I think it is redundant and more importantly, it will cause a bug:
  39. // - In Message::operator=, in the case of self-assignment, it first calls remove_from_Folders() and its folders.clear()
  40. // clears the data member of lhs(rhs), and there is no way we can assign it back to lhs.
  41. // Refer to: http://stackoverflow.com/questions/29308115/protection-again-self-assignment
  42. // - Why is it redundant? As its analogous function Message::add_to_Folders(), Message::remove_from_Folders() should ONLY
  43. // take care of the bookkeeping in Folders but not touch the Message's own data members - makes it much clearer and easier
  44. // to use. As you can see in the 2 places where we call Message::remove_from_Folders(): in Message::operator=, folders.clear()
  45. // introduces a bug as illustrated above; in the destructor ~Message(), the member "folders" will be destroyed anyways, why do
  46. // we need to clear it first?
  47. }
  48. Message::~Message()
  49. {
  50. remove_from_Folders();
  51. }
  52. Message &Message::operator=(const Message &rhs)
  53. {
  54. remove_from_Folders();
  55. contents = rhs.contents;
  56. folders = rhs.folders;
  57. add_to_Folders(rhs);
  58. return *this;
  59. }
  60. void Message::print_debug()
  61. {
  62. std::cout << contents << std::endl;
  63. }
  64. // Folder Implementation
  65. void swap(Folder &lhs, Folder &rhs)
  66. {
  67. using std::swap;
  68. lhs.remove_from_Message();
  69. rhs.remove_from_Message();
  70. swap(lhs.msgs, rhs.msgs);
  71. lhs.add_to_Message(lhs);
  72. rhs.add_to_Message(rhs);
  73. }
  74. void Folder::add_to_Message(const Folder &f)
  75. {
  76. for (auto m : f.msgs)
  77. m->addFldr(this);
  78. }
  79. Folder::Folder(const Folder &f)
  80. : msgs(f.msgs)
  81. {
  82. add_to_Message(f);
  83. }
  84. void Folder::remove_from_Message()
  85. {
  86. for (auto m : msgs)
  87. m->remFldr(this);
  88. }
  89. Folder::~Folder()
  90. {
  91. remove_from_Message();
  92. }
  93. Folder &Folder::operator=(const Folder &rhs)
  94. {
  95. remove_from_Message();
  96. msgs = rhs.msgs;
  97. add_to_Message(rhs);
  98. return *this;
  99. }
  100. void Folder::print_debug()
  101. {
  102. for (auto m : msgs)
  103. std::cout << m->contents << " ";
  104. std::cout << std::endl;
  105. }
  106. int main()
  107. {
  108. return 0;
  109. }

练习13.35

如果Message 使用合成的拷贝控制成员,将会发生什么?

在赋值后一些已存在的 Folders 将会与 Message 不同步。

练习13.36

设计并实现对应的 Folder 类。此类应该保存一个指向 Folder 中包含 Messageset

解:

参考13.34。

练习13.37

Message 类添加成员,实现向 folders 添加和删除一个给定的 Folder*。这两个成员类似Folder 类的 addMsgremMsg 操作。

解:

参考13.34。

练习13.38

我们并未使用拷贝交换方式来设计 Message 的赋值运算符。你认为其原因是什么?

对于动态分配内存的例子来说,拷贝交换方式是一种简洁的设计。而这里的 Message 类并不需要动态分配内存,用拷贝交换方式只会增加实现的复杂度。

练习13.39

编写你自己版本的 StrVec,包括自己版本的 reservecapacityresize

解:

头文件:

  1. #include <memory>
  2. #include <string>
  3. // 类vector类内存分配策略的简化实现
  4. class StrVec
  5. {
  6. public:
  7. StrVec() : elements(nullptr), first_free(nullptr), cap(nullptr) { }
  8. StrVec(const StrVec&); // 拷贝构造函数
  9. StrVec& operator=(const StrVec&); // 拷贝赋值运算符
  10. ~StrVec(); // 析构函数
  11. void push_back(const std::string&); // 添加元素时拷贝元素
  12. size_t size() const { return first_free - elements; }
  13. size_t capacity() const { return cap - elements; }
  14. std::string *begin() const { return elements; }
  15. std::string *end() const { return first_free; }
  16. void reserve(size_t new_cap);
  17. void resize(size_t count);
  18. void resize(size_t count, const std::string&);
  19. private:
  20. // 工具函数,被拷贝构造函数、赋值运算符和析构函数所使用
  21. std::pair<std::string*, std::string*> alloc_n_copy(const std::string*, const std::string*);
  22. // 销毁元素并释放内存
  23. void free();
  24. // 工具函数,被添加元素的函数使用
  25. void chk_n_alloc() { if (size() == capacity()) reallocate(); }
  26. //获得更多内存并拷贝已有元素
  27. void reallocate();
  28. void alloc_n_move(size_t new_cap);
  29. private:
  30. std::string *elements; // 指向数组首元素的指针
  31. std::string *first_free; // 指向数组第一个空闲元素的指针
  32. std::string *cap; // 指向数组第一个空闲元素的指针
  33. std::allocator<std::string> alloc; // 分配元素
  34. };

实现和主函数:

  1. #include "ex_13_39.h"
  2. void StrVec::push_back(const std::string &s)
  3. {
  4. chk_n_alloc();
  5. alloc.construct(first_free++, s);
  6. }
  7. // 分配足够的内存来保存给定范围的元素,并将这些元素拷贝到新分配的内存中
  8. std::pair<std::string*, std::string*>
  9. StrVec::alloc_n_copy(const std::string *b, const std::string *e)
  10. {
  11. // 分配空间保存给定范围中的元素
  12. auto data = alloc.allocate(e - b);
  13. // 初始化并返回一个pair,该pair由data和uninitialized_copy的返回值构成
  14. return{ data, std::uninitialized_copy(b, e, data) };
  15. }
  16. void StrVec::free()
  17. {
  18. // 不能传递给deallocate一个空指针,如果elements为0,函数什么也不做
  19. if (elements) {
  20. // 逆序销毁元素
  21. for (auto p = first_free; p != elements;)
  22. alloc.destroy(--p);
  23. alloc.deallocate(elements, cap - elements);
  24. }
  25. }
  26. StrVec::StrVec(const StrVec &rhs)
  27. {
  28. // 调用alloc_n_copy分配空间以容纳与rhs中一样多的元素
  29. auto newdata = alloc_n_copy(rhs.begin(), rhs.end());
  30. elements = newdata.first;
  31. first_free = cap = newdata.second;
  32. }
  33. StrVec::~StrVec()
  34. {
  35. free();
  36. }
  37. StrVec& StrVec::operator = (const StrVec &rhs)
  38. {
  39. // 调用alloc_n_copy分配空间以容纳与rhs中一样多的元素
  40. auto data = alloc_n_copy(rhs.begin(), rhs.end());
  41. free();
  42. elements = data.first;
  43. first_free = cap = data.second;
  44. return *this;
  45. }
  46. void StrVec::alloc_n_move(size_t new_cap)
  47. {
  48. auto newdata = alloc.allocate(new_cap);
  49. auto dest = newdata;
  50. auto elem = elements;
  51. for (size_t i = 0; i != size(); ++i)
  52. alloc.construct(dest++, std::move(*elem++));
  53. free();
  54. elements = newdata;
  55. first_free = dest;
  56. cap = elements + new_cap;
  57. }
  58. void StrVec::reallocate()
  59. {
  60. auto newcapacity = size() ? 2 * size() : 1;
  61. alloc_n_move(newcapacity);
  62. }
  63. void StrVec::reserve(size_t new_cap)
  64. {
  65. if (new_cap <= capacity()) return;
  66. alloc_n_move(new_cap);
  67. }
  68. void StrVec::resize(size_t count)
  69. {
  70. resize(count, std::string());
  71. }
  72. void StrVec::resize(size_t count, const std::string &s)
  73. {
  74. if (count > size()) {
  75. if (count > capacity()) reserve(count * 2);
  76. for (size_t i = size(); i != count; ++i)
  77. alloc.construct(first_free++, s);
  78. }
  79. else if (count < size()) {
  80. while (first_free != elements + count)
  81. alloc.destroy(--first_free);
  82. }
  83. }
  84. int main()
  85. {
  86. return 0;
  87. }

练习13.40

为你的 StrVec 类添加一个构造函数,它接受一个 initializer_list<string> 参数。

解:

头文件:

  1. StrVec(std::initializer_list<std::string>);

实现:

  1. void StrVec::range_initialize(const std::string *first, const std::string *last)
  2. {
  3. auto newdata = alloc_n_copy(first, last);
  4. elements = newdata.first;
  5. first_free = cap = newdata.second;
  6. }
  7. StrVec::StrVec(std::initializer_list<std::string> il)
  8. {
  9. range_initialize(il.begin(), il.end());
  10. }

练习13.41

push_back 中,我们为什么在 construct 调用中使用后置递增运算?如果使用前置递增运算的话,会发生什么?

解:

会出现 unconstructed

练习13.42

在你的 TextQueryQueryResult 类中用你的 StrVec 类代替vector<string>,以此来测试你的 StrVec 类。

解:

练习13.43

重写 free 成员,用 for_eachlambda 来代替 for 循环 destroy 元素。你更倾向于哪种实现,为什么?

解:

重写

  1. for_each(elements, first_free, [this](std::string &rhs){ alloc.destroy(&rhs); });

更倾向于函数式写法。

练习13.44

编写标准库 string 类的简化版本,命名为 String。你的类应该至少有一个默认构造函数和一个接受 C 风格字符串指针参数的构造函数。使用 allocator 为你的 String类分配所需内存。

解:

头文件:

  1. #include <memory>
  2. class String
  3. {
  4. public:
  5. String() : String("") { }
  6. String(const char *);
  7. String(const String&);
  8. String& operator=(const String&);
  9. ~String();
  10. const char *c_str() const { return elements; }
  11. size_t size() const { return end - elements; }
  12. size_t length() const { return end - elements - 1; }
  13. private:
  14. std::pair<char*, char*> alloc_n_copy(const char*, const char*);
  15. void range_initializer(const char*, const char*);
  16. void free();
  17. private:
  18. char *elements;
  19. char *end;
  20. std::allocator<char> alloc;
  21. };

实现:

  1. #include "ex_13_44_47.h"
  2. #include <algorithm>
  3. #include <iostream>
  4. std::pair<char*, char*>
  5. String::alloc_n_copy(const char *b, const char *e)
  6. {
  7. auto str = alloc.allocate(e - b);
  8. return{ str, std::uninitialized_copy(b, e, str) };
  9. }
  10. void String::range_initializer(const char *first, const char *last)
  11. {
  12. auto newstr = alloc_n_copy(first, last);
  13. elements = newstr.first;
  14. end = newstr.second;
  15. }
  16. String::String(const char *s)
  17. {
  18. char *sl = const_cast<char*>(s);
  19. while (*sl)
  20. ++sl;
  21. range_initializer(s, ++sl);
  22. }
  23. String::String(const String& rhs)
  24. {
  25. range_initializer(rhs.elements, rhs.end);
  26. std::cout << "copy constructor" << std::endl;
  27. }
  28. void String::free()
  29. {
  30. if (elements) {
  31. std::for_each(elements, end, [this](char &c){ alloc.destroy(&c); });
  32. alloc.deallocate(elements, end - elements);
  33. }
  34. }
  35. String::~String()
  36. {
  37. free();
  38. }
  39. String& String::operator = (const String &rhs)
  40. {
  41. auto newstr = alloc_n_copy(rhs.elements, rhs.end);
  42. free();
  43. elements = newstr.first;
  44. end = newstr.second;
  45. std::cout << "copy-assignment" << std::endl;
  46. return *this;
  47. }

测试:

  1. #include "ex13_44_47.h"
  2. #include <vector>
  3. #include <iostream>
  4. // Test reference to http://coolshell.cn/articles/10478.html
  5. void foo(String x)
  6. {
  7. std::cout << x.c_str() << std::endl;
  8. }
  9. void bar(const String& x)
  10. {
  11. std::cout << x.c_str() << std::endl;
  12. }
  13. String baz()
  14. {
  15. String ret("world");
  16. return ret;
  17. }
  18. int main()
  19. {
  20. char text[] = "world";
  21. String s0;
  22. String s1("hello");
  23. String s2(s0);
  24. String s3 = s1;
  25. String s4(text);
  26. s2 = s1;
  27. foo(s1);
  28. bar(s1);
  29. foo("temporary");
  30. bar("temporary");
  31. String s5 = baz();
  32. std::vector<String> svec;
  33. svec.reserve(8);
  34. svec.push_back(s0);
  35. svec.push_back(s1);
  36. svec.push_back(s2);
  37. svec.push_back(s3);
  38. svec.push_back(s4);
  39. svec.push_back(s5);
  40. svec.push_back(baz());
  41. svec.push_back("good job");
  42. for (const auto &s : svec) {
  43. std::cout << s.c_str() << std::endl;
  44. }
  45. }

参考:A trivial String class that designed for write-on-paper in an interview

练习13.45

解释左值引用和右值引用的区别?

解:

定义:

  • 常规引用被称为左值引用
  • 绑定到右值的引用被称为右值引用。

练习13.46

什么类型的引用可以绑定到下面的初始化器上?

  1. int f();
  2. vector<int> vi(100);
  3. int? r1 = f();
  4. int? r2 = vi[0];
  5. int? r3 = r1;
  6. int? r4 = vi[0] * f();

解:

  1. int f();
  2. vector<int> vi(100);
  3. int&& r1 = f();
  4. int& r2 = vi[0];
  5. int& r3 = r1;
  6. int&& r4 = vi[0] * f();

练习13.47

对你在练习13.44中定义的 String类,为它的拷贝构造函数和拷贝赋值运算符添加一条语句,在每次函数执行时打印一条信息。

解:

参考13.44。

练习13.48

定义一个vector<String> 并在其上多次调用 push_back。运行你的程序,并观察 String 被拷贝了多少次。

解:

  1. #include "ex_13_44_47.h"
  2. #include <vector>
  3. #include <iostream>
  4. // Test reference to http://coolshell.cn/articles/10478.html
  5. void foo(String x)
  6. {
  7. std::cout << x.c_str() << std::endl;
  8. }
  9. void bar(const String& x)
  10. {
  11. std::cout << x.c_str() << std::endl;
  12. }
  13. String baz()
  14. {
  15. String ret("world");
  16. return ret;
  17. }
  18. int main()
  19. {
  20. char text[] = "world";
  21. String s0;
  22. String s1("hello");
  23. String s2(s0);
  24. String s3 = s1;
  25. String s4(text);
  26. s2 = s1;
  27. foo(s1);
  28. bar(s1);
  29. foo("temporary");
  30. bar("temporary");
  31. String s5 = baz();
  32. std::vector<String> svec;
  33. svec.reserve(8);
  34. svec.push_back(s0);
  35. svec.push_back(s1);
  36. svec.push_back(s2);
  37. svec.push_back(s3);
  38. svec.push_back(s4);
  39. svec.push_back(s5);
  40. svec.push_back(baz());
  41. svec.push_back("good job");
  42. for (const auto &s : svec) {
  43. std::cout << s.c_str() << std::endl;
  44. }
  45. }

练习13.49

为你的 StrVecStringMessage 类添加一个移动构造函数和一个移动赋值运算符。

解:

练习13.50

在你的 String 类的移动操作中添加打印语句,并重新运行13.6.1节的练习13.48中的程序,它使用了一个vector<String>,观察什么时候会避免拷贝。

解:

  1. String baz()
  2. {
  3. String ret("world");
  4. return ret; // first avoided
  5. }
  6. String s5 = baz(); // second avoided

练习13.51

虽然 unique_ptr 不能拷贝,但我们在12.1.5节中编写了一个 clone 函数,它以值的方式返回一个 unique_ptr。解释为什么函数是合法的,以及为什么它能正确工作。

解:

在这里是移动的操作而不是拷贝操作,因此是合法的。

练习13.52

详细解释第478页中的 HasPtr 对象的赋值发生了什么?特别是,一步一步描述 hphp2 以及 HasPtr 的赋值运算符中的参数 rhs 的值发生了什么变化。

解:

左值被拷贝,右值被移动。

练习13.53

从底层效率的角度看,HasPtr 的赋值运算符并不理想,解释为什么?为 HasPtr 实现一个拷贝赋值运算符和一个移动赋值运算符,并比较你的新的移动赋值运算符中执行的操作和拷贝并交换版本中的执行的操作。

解:

参考:https://stackoverflow.com/questions/21010371/why-is-it-not-efficient-to-use-a-single-assignment-operator-handling-both-copy-a

练习13.54

如果我们为 HasPtr 定义了移动赋值运算符,但未改变拷贝并交换运算符,会发生什么?编写代码验证你的答案。

解:

  1. error: ambiguous overload for 'operator=' (operand types are 'HasPtr' and 'std::remove_reference<HasPtr&>::type { aka HasPtr }')
  2. hp1 = std::move(*pH);
  3. ^

练习13.55

为你的 StrBlob 添加一个右值引用版本的 push_back

解:

  1. void push_back(string &&s) { data->push_back(std::move(s)); }

练习13.56

如果 sorted 定义如下,会发生什么?

  1. Foo Foo::sorted() const & {
  2. Foo ret(*this);
  3. return ret.sorted();
  4. }

解:

会产生递归并且最终溢出。

练习13.57

如果 sorted定义如下,会发生什么:

  1. Foo Foo::sorted() const & { return Foo(*this).sorted(); }

解:

没问题。会调用移动版本。

练习13.58

编写新版本的 Foo 类,其 sorted 函数中有打印语句,测试这个类,来验证你对前两题的答案是否正确。

解:

  1. #include <vector>
  2. #include <iostream>
  3. #include <algorithm>
  4. using std::vector; using std::sort;
  5. class Foo {
  6. public:
  7. Foo sorted() &&;
  8. Foo sorted() const &;
  9. private:
  10. vector<int> data;
  11. };
  12. Foo Foo::sorted() && {
  13. sort(data.begin(), data.end());
  14. std::cout << "&&" << std::endl; // debug
  15. return *this;
  16. }
  17. Foo Foo::sorted() const & {
  18. // Foo ret(*this);
  19. // sort(ret.data.begin(), ret.data.end());
  20. // return ret;
  21. std::cout << "const &" << std::endl; // debug
  22. // Foo ret(*this);
  23. // ret.sorted(); // Exercise 13.56
  24. // return ret;
  25. return Foo(*this).sorted(); // Exercise 13.57
  26. }
  27. int main()
  28. {
  29. Foo().sorted(); // call "&&"
  30. Foo f;
  31. f.sorted(); // call "const &"
  32. }