Advertencia de "objeto temporal": ¿soy yo o el compilador?

Question

El siguiente fragmento da la advertencia:

[C++ Warning] foo.cpp(70): W8030 Temporary used for parameter '_Val' in call to 'std::vector<Base *,std::allocator<Base *> >::push_back(Base * const &)' 

.. en la línea indicada.

class Base 
{ 
}; 

class Derived: public Base 
{ 
public: 
Derived() // << warning disappears if constructor is removed! 
{ 
}; 
}; 

std::vector<Base*> list1; 
list1.push_back(new Base); 
list1.push_back(new Derived); // << Warning on this line! 

compilador es Codegear C++ Builder 2007.

Curiosamente, si el constructor para Derivado se elimina, la advertencia desaparece ... ¿Soy yo o el compilador?

EDIT: La única forma que he encontrado para eliminar la advertencia es que algo similar a esto:

Derived * d; 
list1.push_back(d = new Derived); // << No warning now... 

Answer 1

intento simple:

list1.push_back(new Derived()); 

Me temo que hay algo acerca de POD (con constructores triviales) vs no-POD pasando aquí.

EDITAR:

Dado que el código se compila bien con gcc.3.4.2 (--pedantic) Me gustaría decir que es un capricho compilador. Me estoy inclinando hacia la explicación MarkB, es decir, el compilador crea un temporal aunque no entiendo por qué sería necesario y luego me quejo cuando lo asigno al const& ... pero todavía estoy perplejo.

Answer 2

Desde list1 es un vector de Base*, la función push_back de la lista se va a esperar un parámetro de tipo Base* const&, mientras que su nueva está proporcionando Derived*. Para pasar por referencia (según sea necesario en push_back) el compilador necesita un objeto real del tipo de referencia, en este caso Base*. Hay una conversión implícita disponible de Derived* a Base* que el compilador usa para crear un objeto temporal de tipo Base* para pasar al push_back, y el compilador le advierte que está creando este temporal.

La razón funciona cuando se asigna a una variable es que ya no hay una implícita temporal necesaria es:. Se puede convertir implícitamente la variable llamada a Base* implícita y pasar esa referencia en

Creo que se puede silenciar esta advertencia diciendo push_back para tratar el puntero como un Base*:

list1.push_back(static_cast<Base*>(new Derived));

Answer 3

En una llamada "el paso por referencia", si el tipo de argumento no coincide con el "parámetro formal", entonces el compilador intentará convertir el argumento a el tipo correcto El argumento se considerará como un 'parámetro de valor' si la conversión es exitosa. El compilador genera la advertencia "Temporal utilizado para ..." en este caso.