giá trị đối tượng mặc định trong chức năng với đối số mặc định giá trị

Question

Cho đến nay tôi biết rằng nếu bạn muốn vượt qua một giá trị mặc định cho một cuộc tranh cãi với một chức năng đó là một đối tượng, bạn làm điều đó như thế này:

void function(MyObject obj = MyObject()){ 
    ... 
} 

Tuy nhiên , Tôi đã đi xung quanh với một số cú pháp thú vị gần đây, mà confuses tôi. Điều gì sẽ xảy ra khi chúng ta gọi hàm như thế này?

void function(MyObject obj = 0){ 
    ... 
} 

Lưu ý, chúng tôi đang truyền một đối tượng chứ không phải con trỏ. Đoạn mã trên biên dịch tốt, không có lỗi hoặc cảnh báo. Và điều này luôn luôn kêu gọi các nhà xây dựng với một đối số - MyObject được định nghĩa như thế này:

class MyObject{ 
public: 
    MyObject(double n){std::cout << "Argumented\n";} 
    MyObject(){std::cout << "Default\n";} 
}; 

Ngoài ra, nơi được hành vi này ghi nhận (vì tôi đã tìm kiếm và không thể tìm thấy nó)?

Answer 1

Tham số mặc định là MyObject được xây dựng ngầm từ 0, bằng cách gọi hàm tạo MyObject(double). constructor này cho phép bạn nhanh chóng ngầm MyObjects như thế này:

MyObject o1 = 0; 
MyObject o2 = 420/10.; 

Nếu hành vi này không có ý định, sau đó làm cho các nhà xây dựng explicit. Điều này cũng sẽ đòi hỏi một sự thay đổi thông số function 's mặc định:

explicit MyObject(double n); 

và

void function(MyObject obj = MyObject(0)); 

Answer 2

MyObject như có một cái gọi là implicit converting constructor từ kép. Như 0 là okay cho gấp đôi, hiệu ứng bạn thấy giống như bạn đã làm MyObject (0.0).

Answer 3

Với điều kiện là biểu thức sau đây:

MyObject obj = 0; 

biên dịch và có một giá trị kiểu MyObject, sau đó một cuộc gọi chức năng tham gia một MyObject sẽ có thể làm việc trong cùng một cách.

Hãy tưởng tượng chức năng này chữ ký:

void function(MyObject obj){ 
    ... 
} 

Và mã gọi sau đây:

MyObject obj = 0; 
function(obj); 

này tương đương với mã này gọi thứ hai:

function(MyObject obj = 0); 

Bởi vì giá trị của MyObject obj = 0; bằng MyObject đã được xây dựng ed trong dòng mã đó.

Bạn chỉ cần tiến một bước và cung cấp giá trị tham số mặc định bằng cách tận dụng cùng một quy tắc.