Avviso "Oggetto temporaneo": si tratta di me o del compilatore?

Question

Il seguente frammento dà l'avvertimento:

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

.. sulla linea indicata.

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! 

compilatore è CodeGear C++ Builder 2007.

Stranamente, se il costruttore per il derivato è cancellato, l'avvertimento va via ... Sono io o il compilatore?

EDIT: L'unico modo che ho trovato per rimuovere l'avviso è quello di qualcosa di simile a questo:

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

Answer 1

prova semplice:

list1.push_back(new Derived()); 

ho paura c'è qualcosa di POD (con costruttori banali) vs non-POD in corso qui.

EDIT:

Dato che il codice viene compilato bene con gcc.3.4.2 (--pedantic) direi che è un capriccio del compilatore. Mi sto appoggiando alla spiegazione MarkB, cioè al compilatore che crea un temporaneo anche se non capisco perché sarebbe richiesto e poi mi lamento quando lo assegno allo const& ... ma sono ancora perplesso.

Answer 2

Dal list1 è un vettore di Base*, la funzione push_back nella lista sta per aspettarsi un parametro di tipo Base* const&, mentre il nuovo sta fornendo Derived*. Per passare per riferimento (come necessario in push_back) il compilatore richiede un oggetto reale del tipo di riferimento, in questo caso Base*. Esiste una conversione implicita disponibile da Derived* a Base* che il compilatore utilizza per creare un oggetto temporaneo di tipo Base* da passare a push_back e il compilatore ti avverte che sta creando questo temporaneo.

Il motivo per cui funziona quando si assegna a una variabile è che non è più un implicito temporaneo bisogno c'è:. Può convertire implicitamente la variabile denominata per Base* implicitamente e passare tale riferimento nella

penso che si può tacere questo avvertimento dicendo push_back trattare il puntatore come un Base*:

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

Answer 3

In una chiamata "pass per riferimento", se il tipo di argomento non corrisponde al "parametro formale", quindi il compilatore cercherà di convertire l'argomento in il tipo corretto L'argomento verrà considerato come un "parametro valore" se la conversione ha esito positivo. Il compilatore genera l'avviso "Temporary used for ..." in questo caso.