Ist das mit der strengen Aliasing-Regel in Ordnung?

Question

struct Test { 
    void doAction() {} 
}; 

// Create and save into a void* 
void *ptr = new Test; 

// Real use through a Test* 
Test *t = static_cast<Test *>(ptr); 
t->doAction(); 

// Delete 
delete static_cast<Test *>(ptr); 

ptr wird nur zum Speichern der Adresse des Objekts verwendet, und die Adresse wird nur zum wahren Typ des Objekts dereferenziert.

Also, es sei denn, es ist auf einen nicht verwandten Typ dereferenziert, ist es ok mit der strengen Aliasing-Regel?

Answer 1

Striktes Aliasing wird nur angewendet, wenn Sie versuchen, über einen Zeiger/Verweis auf das Objekt zuzugreifen. Sie versuchen nicht, über eine void* auf das Objekt zuzugreifen, so dass die strenge Aliasing-Regel nicht einmal gilt (die Regel, die Sie hier schützt, ist die Regel static_cast, die es ermöglicht, einen Zeiger auf einen beliebigen Typ zu void* und zurück, so zu konvertieren Solange der Typ, den Sie zurückgeworfen haben, ist genau der Typ, den es vorher war).

In ähnlicher Weise dürfen Zeiger auf denselben Typ einen Aliasnamen haben. So dürfen t und das Ergebnis static_cast<T*> alias werden und damit beide strengen Aliasing nicht verletzen.