manualmente distruttore chiama non viene valutato come riferimento variabile

Question

Una volta che la mia classe non ha distruttore definito, codice seguente dà warning C4189: 'f' : local variable is initialized but not referenced

(f->~Fred() non è riconosciuto come riferimento f)

È questo un bug, o è questo comportamento standard?

struct Fred 
{ 
    int a, b; 
    //~Fred(){} 
}; 

int main() 
{ 
    char memory[sizeof(Fred)]; 

    void * place = memory; 

    Fred* f = new(place)Fred(); 

    f->~Fred(); 
} 

Questo codice è naturalmente privo di senso (è campione di lavoro minima), ma ottengo questo errore in scenario reale quando si scrive piscina allocatore e di utilizzarlo come

template <typename T> 
void CallDestructor(T * t) 
{ 
    t->~T(); 
} 

Io utilizzare Visual Studio 2013 avvertimento livello 4 ho testato su alcuni compilatori on-line senza preavviso, ma non sono sicuro di quello che è il loro livello di avviso

Answer 1

questo è un bug, o si tratta di un comportamento normale?

Questo particolare avvertimento ("variabile locale viene inizializzata ma non fa riferimento") è qualcosa che non richiesto dalla norma. Per quanto riguarda la lingua, l'inizializzazione di una variabile locale e quindi la mancata referenziazione è perfettamente legale.

È un segno che il tuo codice potrebbe non fare ciò che intendevi fare, tuttavia, quindi il compilatore cerca di essere utile e ti avvisa di un costrutto discutibile. ("Hai dimenticato qualcosa qui?") Questo è completamente all'interno del dominio del compilatore, quindi non può essere un "comportamento standard" anche se hanno provato. ;-)

Sì, il compilatore dovrebbe realizzare che f->... costituisce un riferimento di f. Quindi l'avvertimento è un falso positiv. (Probabilmente perché l'intera faccenda è ottimizzata, essendo un no-op.) Tali cose accadono se si utilizzano livelli di avviso elevati.

Ma è un avviso , non un errore . Puoi tranquillamente ignorarlo o mascherarlo con #pragma warning (dato che stai lavorando con MSVC).