포인터가 아닌 객체를 알려진 파생 형식으로 다운 케하는 것이 안전합니까?

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

참조 및 포인터는 모두 다형성입니다.

당신은 참조로 시작 downcasting에 대한

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

을 선호 할 수 있습니다, 그것은 *static_cast<const Block*>(&obj1)에 해당합니다.

Answer 2

먼저 다운 캐스트 용 C 스타일 캐스트 (또는 모든 캐스팅)를 사용하지 마십시오. 모든 컴파일러 검사를 우회하기 때문에 매우 위험합니다.

그렇다면 참조 또는 포인터 다운 캐스팅시 슬라이스에 대해 걱정할 필요가 없습니다.

다형성 객체 (즉, 가상 메소드가있는 객체)의 경우 동적 유형 변환을 사용하여 컴파일 타임 + 런타임 검사를 제공 할 수 있습니다 (포인터를 잘못된 유형으로 잘못 전 달하거나 null을 반환 할 때 null을 반환 함).) 잘못된 유형 참조 :

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

당신이 static_cast를 사용할 수있는 비 다형성 객체의 경우.