typeidチェックが有効な後reinterpret_castを使用していますか？

Question

基本クラスへのポインタが何らかのタイプ（typeidを使用）であることを最初に確認した場合、パフォーマンスを節約するためにreinterpret_castを実行するのが有効ですか？

どこかに

class Base { 
    virtual ~Base() {} 
}; 
class A : Base {}; 
class B : Base {}; 
... 
class Z : Base {}; 

以降：私はそれが必要だと思うよう

void fn(Base & msg) { 
    const auto & tid = typeid(msg); 
    if (tid == typeid(A)) { 
     A * ptr = reinterpret_cast<A*>(&msg); 
    } else if (tid == typeid(B)) { 
     B * ptr = reinterpret_cast<B*>(&msg); 
    } ... 
    ... 
    } else if (tid == typeid(Z)) { 
     Z * ptr = reinterpret_cast<Z*>(&msg); 
    } 
} 

は、私の知る限り、このコードは正常に動作します。しかし、もし私が運が良かったり、実際にはっきりと定義された使用法であるのならば、私は不思議です。この方法でreinterpret_castを使用してください。

通常の多型を使用する前に、私はクラスを変更することができないため、そのように構築する必要があります。

Answer 1

いいえ、この動作はまだ正式には未定義です。

このようにしてreinterpret_castを使用すると、厳密なエイリアシング規則が破棄されます。

パフォーマンスがの場合、実際にはが問題になる場合は、virtualクラスを完全に避けたいと思うかもしれません。

Answer 2

Bathshebaの回答と同じように、未定義の動作があります。正しく子クラスへのポインタをオフセットしますしかし

、あなたは仮想継承を持っていない場合、あなたはstatic_castを使用することができ、：ここ

void fn(Base & msg) { 
    const auto & tid = typeid(msg); 
    if (tid == typeid(A)) { 
     A * ptr = static_cast<A*>(&msg); 
    } else if (tid == typeid(B)) { 
     B * ptr = static_cast<B*>(&msg); 
    } else if (tid == typeid(Z)) { 
     Z * ptr = static_cast<Z*>(&msg); 
    } 
}