constructor de copia con parámetros por defecto nunca se llama

Question

¿Por qué es la salida del siguiente programa simplemente int3 y no 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); 
} 

Comando: clang++ test.cpp -O0

Compilador: Apple versión 3.0 sonido metálico (etiquetas/de Apple/ruido metálico-211.12) (basado en LLVM 3.0svn)

Answer 1

Este fue un bug in clang, que tiene since been fixed. Copy-elision se estaba aplicando incorrectamente a la llamada del constructor, porque clang no estaba verificando cuántos argumentos se proporcionaron antes de concluir que se trataba de una copia.

La solución estará en la próxima versión de clang 3.1.

Answer 2

Parece que podría haber encontrado un capricho del compilador:)

Si cambia de versión del compilador para cualquier cosa que no es LLVM 3.0, la salida se int3 & 4.

Esta impresora i nt3 & 4 en LLVM 3.0, por lo que parece estar relacionado con el hecho de que B (3) es un objeto temporal:

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

Lo más probable es RVO y NRVO comieron su código. Estas condiciones especiales le permiten al compilador eliminar silenciosamente las copias de objetos que de otro modo serían impuestas por el lenguaje. Como nunca se realizó una copia como resultado, el código nunca imprime la declaración en el constructor de copia.