Tôi có thể gọi một nhà xây dựng bản sao một cách rõ ràng không?

Question

Tôi hơi bối rối về cơ chế của người tạo bản sao. Nếu tôi sai:

Nếu phương thức lấy tham chiếu đến đối tượng dưới dạng tham số và lớp xác định construtor sao chép, thì lớp sử dụng hàm tạo để tạo bản sao của chính nó và được chuyển đến hàm thay vì tham chiếu đến đối tượng gốc?

Bên cạnh đó, người ta có thể gọi

Object * obj = new Object(&anotherObject); 

để tạo ra một bản sao của anotherObject?

Answer 1

Không, nếu một chức năng phải mất một tài liệu tham khảo:

void f1(Object & o); // call by reference 

thì không có bản sao được thực hiện. Nếu hàm có giá trị:

void f2(Object o); // call by value 

thì bản sao được tạo bởi trình biên dịch bằng cách sử dụng hàm tạo bản sao.

Và vâng, khi bạn nói:

Object * obj = new Object(anotherObject); // not &anotherObject 

constructor sao chép được sử dụng một cách rõ ràng (giả sử anotherObject là kiểu Object.) Không có gì kỳ diệu về việc sử dụng new đây, tuy nhiên là - trong trường hợp này:

Object obj2(anotherObject); 

trình tạo bản sao cũng được sử dụng.

Answer 2

Nếu phương pháp lấy tham chiếu đến một đối tượng dưới dạng thông số, thì trình tạo bản sao sẽ không được gọi. Nếu đó là trường hợp, sau đó một cuộc gọi đến các nhà xây dựng bản sao chính nó sẽ có kết quả trong một vòng lặp vô hạn (vì nó có một tham chiếu như là một đối số).

Dòng đó không phải là cách hợp lệ để gọi hàm tạo bản sao. Nó mong đợi một tham chiếu như một đối số, không phải là một con trỏ.

Answer 3

Không có trong cả hai trường hợp. Trong trường hợp đầu tiên, tham chiếu tới chính đối tượng đó được truyền và bản sao không được tạo ra. Trong trường hợp thứ hai, bạn chuyển một con trỏ tới hàm tạo của object do đó không có bản sao nào được tạo. Vì vậy, đối tượng nên có một constructor (không phải là một nhà xây dựng bản sao) mà là một cái gì đó giống như object(anotherClass*)

Answer 4

Sao chép constructor được gọi là chỉ khi đi qua bởi giá trị, không bằng cách tham khảo. Bằng cách tham chiếu không cần sao chép (đây là một phần của tham chiếu nào là dành cho!) Nên không có hàm tạo bản sao nào được gọi.

Answer 5

Thực tế là bạn đang thực hiện cuộc gọi phương thức không quan trọng ở đây. Tham số khởi tạo tham chiếu trong khi gọi hàm không khác với khởi tạo tham chiếu độc lập và được điều chỉnh bởi cùng một quy tắc.

Quy tắc khởi tạo tham chiếu hơi phức tạp một chút, nhưng dòng dưới cùng là nếu trình khởi tạo là một giá trị (đối số trong cuộc gọi phương thức trong trường hợp của bạn) và loại tham chiếu giống như loại initializer (tức là kiểu tham số cũng giống như kiểu đối số), thì tham chiếu sẽ bị ràng buộc trực tiếp. I E. không có bản sao nào được tạo.

Object a; // class type 
Object &r = a; // no copying 
const Object &cr = a; // no copying 

Nếu yêu cầu này không được đáp ứng (ví dụ: nếu trình khởi tạo là giá trị), thì tất cả đều phụ thuộc. Trong một số trường hợp, việc sao chép có thể và sẽ diễn ra. Ví dụ

const Object &tr = Object(); 

có thể được giải thích bởi trình biên dịch như

const Object &tr = Object(Object(Object(Object()))); 

với thực hiện phụ thuộc vào số hữu hạn các copyings. Tất nhiên, vì lý do hiệu quả, các trình biên dịch thường cố gắng không tạo các bản sao không cần thiết, ngay cả khi chúng được phép sao chép.

Một ví dụ điển hình thường khuấy động cuộc tranh luận về tính hợp lệ của các hành vi sao chép các trình biên dịch là khởi tạo tài liệu tham khảo trong các biểu thức như sau một

Object a; 
const Object &r = <some condition> ? a : Object(); 

Một người quen thuộc với ngữ nghĩa C++ tài liệu tham khảo sẽ hiểu rằng biểu thức như ở trên có thể là lý do đằng sau sự cho phép chuẩn để thực hiện sao chép thừa trong quá trình khởi tạo tham chiếu.

Answer 6

có sử dụng vị trí mới như vậy:

Object dstObject; 
new(&dstObject) Object(&anotherObject);