Конструктор копирования с параметрами по умолчанию никогда не называется

Question

Почему вывод следующей программы только int3, а не 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); 
} 

Команда: clang++ test.cpp -O0

Компилятор: Apple лязг версия 3.0 (теги/Apple/лязг-211,12) (на основе LLVM 3.0svn)

Answer 1

Это был bug in clang, в котором есть since been fixed. Копирование-исключение было неправильно применено к вызову конструктора, потому что clang не проверял, сколько аргументов было предоставлено, прежде чем заключить, что это была конструкция копии.

Исправление будет в предстоящем выпуске clang 3.1.

Answer 2

Похоже, вы нашли компилятор причуду:)

Если вы изменили свою версию компилятора ничего, что не LLVM 3.0, выход Int3 & 4.

Печатается я NT3 & 4 на LLVM 3.0, так что, похоже, связано с тем, что B (3) представляет собой временный объект:

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

Скорее всего, РВО и NRVO съела свой код. Эти особые условия позволяют компилятору молча удалять копии объектов, которые в противном случае были бы соблюдены языком. Поскольку в результате не было сделано никакой копии, код никогда не печатает инструкцию в конструкторе копирования.