厳密なエイリアシング規則でこれはいいですか？

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はオブジェクトのアドレスを保存するためにのみ使用され、アドレスはオブジェクトの真のタイプに逆参照されます。

したがって、関係のないタイプに逆参照されない限り、厳密なエイリアシングルールでも問題ありませんか？

Answer 1

厳密なエイリアシングは、ポインタ/参照によってオブジェクトにアクセスしようとしている場合にのみ適用されます。 void*でオブジェクトにアクセスしようとしていないので、厳密なエイリアシング規則は適用されません。ここで保護するルールは、という名前のルールで、ポインタを任意のタイプに変換してvoid*に戻すことができます。あなたがそれを元に戻すタイプは、正確には以前のタイプです）。

同様に、同じタイプのポインタはエイリアスできます。したがってtとstatic_cast<T*>の結果はエイリアスすることが許可されているため、両方とも厳格なエイリアシングに違反しません。