オブジェクト（ポインタではない）を既知の派生型にダウンキャストしても安全ですか？

Question

は

class Block : Object {/*Filler*/} 

とobj1とobj2がBlockオブジェクトであることを保証されてい

result Compare(const Osp::Base::Object &obj1, const Osp::Base::Object &obj2, int &cmp) const { 
    cmp = ((const Block)obj1).NumSuperBlocks() - ((const Block)obj2).NumSuperBlocks(); 
} 

をスライスする危険性があるだろうか？

私が使用することを誘惑しています：

cmp = ((const Block*)&obj1)->NumSuperBlocks() - ((const Block*)&obj2)->NumSuperBlocks(); 

のが、読んでSOの元を使用するように私が誘惑していたオブジェクト・スライシングタグの簡単な説明です。しかし、私は本当に厄介な静かなスライスを望んでいません。

Answer 1

参照およびポインタは両方とも多型です。

あなたが参照して始まるダウンキャストのため

static_cast<const Block&>(obj1).NumSuperBlocks() 

を好むこと、それは*static_cast<const Block*>(&obj1)に相当します。

Answer 2

まず、ダウンキャスト用のCスタイルキャスト（またはキャストキャスト）は使用しないでください。すべてのコンパイラチェックを回避するので、非常に危険です。

つまり、リファレンスやポインタをダウンキャストしているときにスライスすることについて心配する必要はありません。

多相オブジェクト（つまり仮想メソッドを持つオブジェクト）では、コンパイル時に+ランタイムチェックを行う動的キャストを使用できます（ポインタを間違った型にダウンキャストするとnullを返します）。間違ったタイプを参照）：あなたがstatic_castを使用することができます非多型オブジェクトの場合

Block & block = dynamic_cast<Block&>(obj); 

。