Il distruttore C++ chiama un operatore di cancellazione?

Question

Perché il mio compilatore MSVC12 non è così?

#include <new> 

class thing 
{ 
public: 
    thing() {} 
    ~thing() {} 
    static void operator delete(void* ptr) = delete; 
}; 

int main() 
{ 
    int g; 
    void* p = &g; 
    thing* t1 = new(p) thing(); 
    t1->~thing(); 

    return 0; 
} 

L'errore che ottengo è stranamente sulla coppia di main() di chiusura:

errore 2 Errore C2280: 'vuoto cosa :: operator delete (void *)': il tentativo di fare riferimento a una funzione eliminata

Se commento la chiamata al distruttore esplicito, l'errore scompare, il che implica che la chiamata distruttiva esplicita sta tentando di chiamare l'operatore delete (void *). Questo non ha senso intuitivo. Come puoi probabilmente vedere dal codice qui, ho già gestito la mia memoria, e non voglio che nessuno chiami l'eliminazione su cosa mai.

Answer 1

Questo è sicuramente un errore poiché sostituendo semplicemente la chiamata virtuale al distruttore con uno non virtuale: t1->thing::~thing() funziona. Ma ovviamente in questo caso non c'è nessuna eredità implicata e quindi nessuna differenza tra le due forme.

Si può provare e inviare il bug tramite the Microsoft Connect site for VS

Answer 2

Il consenso in questa discussione è che questo è un bug del compilatore unica per MSVC++. Ho segnalato questo a Microsoft qui:

https://connect.microsoft.com/VisualStudio/Feedback/Details/2511044

UPDATE: MS riferisce che il problema è stato risolto e sarà disponibile nel prossimo aggiornamento VS.