Tại sao tôi phải tạo bản sao của nhà xây dựng và toán tử gán riêng và được triển khai trong C++?

Question

Lấy cảm hứng từ this question.

Thông thường lý do để làm cho nhà tạo bản sao và nhà điều hành gán private là make the class non-copyable để các đối tượng chỉ có thể được tạo và hủy, nhưng không được sao chép - phần lớn thời gian là vì sao chép chúng sẽ không có ý nghĩa. Trong những trường hợp như vậy, hàm tạo bản sao và toán tử gán đều được thực hiện privatevà không được triển khai - nếu lớp đó không thể sao chép được thì không ai nên sao chép.

Có trường hợp nào khi người tạo bản sao và nhà điều hành chuyển nhượng cần phải là private và thực hiện có ý nghĩa cùng một lúc?

Answer 1

Có hai trường hợp mà tôi suy nghĩ ngay lập tức:

1. friend s:

   Say rằng, như là một phần của thiết kế, bạn có hai lớp kết hợp cao, nơi bạn có thể sao chép các lớp khác (ví dụ như trong mô hình nhà máy hoặc một số kiểu như vậy), nhưng bạn không muốn để cả thế giới có thể để sao chép nó.

2. wrappers:

   Giả sử bạn muốn để có thể có điều kiện sao chép một số yếu tố, tùy thuộc vào một số hành vi nội bộ (ví dụ, tùy thuộc vào một số điều kiện đẳng cấp stateful) - cách sạch nhất, từ góc độ ngôn ngữ - là vẫn để tách bản sao chép thành chức năng riêng của nó. Điều này sẽ cho phép phân tách mối quan tâm tốt.

Answer 2

Tôi đoán là điều này có thể hữu ích cho một lớp đang giữ danh sách chính nó - sau đó nó có thể sao chép các phiên bản nội bộ. Điều này thực sự chỉ hữu ích cho một lớp có cả mục và vùng chứa:

class MyItems 
{ 
private: 
    /* Copy ctor and =operator */ 
    List list; 
public: 
    void AddItems(MyItems* items) 
    { 
     MyItems* added = new MyItems(items); 
     list.Add(added); 
    } 
}; 

Một suy nghĩ khác là cho phép nhân bản trong hoàn cảnh do lớp kiểm soát. Điều này có thể hữu ích khi sao chép có thể có ý nghĩa, nhưng chỉ về điều kiện hoặc điều khoản cụ thể:

class MyClass 
{ 
private: 
    /* Copy ctor and =operator */ 
public: 
    MyClass* clone() 
    { 
     if (canClone) 
     { 
      MyClass* cloned = new MyClass(this); 
      return cloned; 
     } 
     else 
     { 
      return NULL; 
     } 
    } 
}; 

Answer 3

1. Chúng tôi làm sao xây dựng và operator = chưa thực hiện vì vậy mà ngay một friend không thể có bất kỳ truy cập vào nó. Nếu bạn triển khai, điều đó có nghĩa là bạn muốn có một số friend để có quyền truy cập. Đây là một quyết định thiết kế.
2. Bạn muốn làm nhân bản rõ ràng; ví dụ: cho phép sao chép mà còn làm cho mã của nó "bẩn" tìm kiếm (giống như C++ phong cách đúc hoạt động, trong đó cho thấy dirt in your code)

ví dụ

class A { 
    A(const A& obj) { ... } 
    A& operator = (const A& obj) { ... } 
public: 
    A& clone(const A& obj) 
    { 
    *this = obj; 
    return *this; 
    } 
}; 

Chúng tôi đã đặt trình bao bọc này clone() để cho phép người dùng nhân bản, tuy nhiên nó cũng hiển thị chính xác những gì chính xác người đó đang làm.