Sao chép hàm tạo với tham số mặc định không bao giờ được gọi là

Question

Tại sao đầu ra của chương trình sau chỉ int3 và không phải là int3&4?

#include <iostream> 

class B 
{ 
public: 
    explicit B(int i) { std::cout<<"int"<<i; } 
    B(const B& rhs, int i = 0) { std::cout<<"&"<<i; } 
}; 

int main(int, char**) 
{ 
    B b(B(3), 4); 
} 

Command: clang++ test.cpp -O0

Compiler: Apple phiên bản kêu vang 3.0 (thẻ/Apple/kêu vang-211,12) (dựa trên LLVM 3.0svn)

Answer 1

Đây là một bug in clang, có since been fixed. Copy-elision đã được áp dụng không đúng cho lời gọi hàm tạo, bởi vì clang không kiểm tra xem có bao nhiêu đối số được cung cấp trước khi kết luận rằng nó là một bản sao xây dựng.

Bản sửa lỗi sẽ nằm trong bản phát hành sắp tới 3.1.

Answer 2

Hình như bạn có thể đã tìm thấy một đứa biên dịch:)

Nếu bạn thay đổi phiên bản trình biên dịch của bạn để bất cứ điều gì đó không phải là LLVM 3.0, đầu ra là int3 & 4.

in này i NT3 & 4 trên LLVM 3.0, vì vậy có vẻ như có liên quan đến thực tế là B (3) là một đối tượng tạm thời:

class B 
{ 
public: 
    explicit B(int i) 
    { 
     std::cout<<"int"<<i; 
    } 
    B(const B& rhs, int i = 0) 
    { 
     std::cout<<"&"<<i; 
    } 
}; 

int main(int, char**) 
{ 
    B a(3); 
    B b(a, 4); 
} 

Answer 3

Nhiều khả năng, RVO và NRVO ăn mã của bạn. Những điều kiện đặc biệt này cho phép trình biên dịch âm thầm loại bỏ các bản sao đối tượng mà nếu không sẽ được thực thi bởi ngôn ngữ. Vì không có bản sao nào được tạo ra, nên mã không bao giờ in câu lệnh trong hàm tạo bản sao.