LLVM은 동적 캐스트를 피하는 규칙에 대한 예외입니까?

Question

LLVM은 내장 된 RTTI보다 속도가 향상되고 vtable (dyn_cast)이없는 클래스에 동적으로 캐스팅 할 수 있도록 RTTI의 대안으로 채택되었습니다. 그러나 더 많은 클래스와 함께 사용할 수는 있지만 정확히 dynamic_cast<>이 사용 된 것과 똑같이 사용할 수 있습니다.

dyn_cast<> template documentation

LLVM은 평판 C++ 프로젝트는 그래서이 너무 많은 동적 캐스트는 또한 코드 냄새로 알려진 나쁜 디자인의 상징이라고 말하는 공통의 얼굴에 비행하는 것입니다. 확실히 더 나은 다이나믹 캐스트는 표준 디자인 인 dynamic_cast보다 디자인 용도를 향상시키는 데 아무런 도움이되지 않습니다. 그럼 누가 여기 있니? 다이나믹 캐스팅의 대규모 사용이 C++ 코드에서 좋은 설계 선택 인 경우가 있습니까? Google은 LLVM 트렁크 소스 코드에서 이러한 종류의 동적 캐스팅을 690 번 나타냅니다.

Uses of dyn_cast<> in LLVM trunk

Answer 1

대형 히어로 계층에서는 성능 히트가 dynamic_cast<>을 피할 수 있지만 그만큼 피할 수있는 것은 아닙니다. 더 나은 수행 여부,이 주장 때문에 dyn_cast<>을 사용하는 것이 더 이상 권장되지 않습니다.

한편, dynamic_cast<>이 작업에 가장 적합한 도구 일 때는 아무런 문제가 없습니다. 그것의 사용이 정당화되고 문제를 해결하는 가장 깨끗한 방법이라면, "일반적인 말"에 관계없이 항상 옳습니다.

나는 단지 인기가 많은 프로젝트를 명확하게 처리하지 않는다. 왜냐하면 단순히 dynamic_cast<>, goto 또는 그 밖의 다른 관용구를 사용하기 때문이다.

Answer 2

나는 그들이 천천히 때문에 다이나믹 캐스트는 나쁘지 않다 생각하지만, 그들은 당신의 코드가 너무 밀접하게 결합되어 있다는 것을 의미하기 때문이다.

Answer 3

저는 LLVM 문서에서 dyn_cast 및 isa의 구현을 살펴 보았습니다.

코드의 exmaple은 다음과 같습니다

테스트는 B로 전화를 가지고있다

struct bar { 
    bar() {} 
private: 
    bar(const bar &); 

}; 
struct foo { 
    void ext() const; 
    /* static bool classof(const bar *X) { 
    cerr << "Classof: " << X << "\n"; 
    return true; 
    }*/ 
}; 

template <> inline bool isa_impl<foo,bar>(const bar &Val) { 
    errs() << "Classof: " << &Val << "\n"; 
    return true; 
} 

:

if (!isa<foo>(B1)) return; 
if (!isa<foo>(B2)) return; 

내가 올바르게 isa 템플릿을 무슨 일이 일어나고 있는지 이해한다면 (이 dyn_cast에 의해 사용됨)은 바를 foo와 링크하기 위해 명시 적 전문화를 isa_impl으로 사용합니다. 주어진 예제에서는 isa<foo>(B1)이 true를 반환합니다!

어쨌든 이것은 dynamic_cast의 동작과 매우 다른 동작이므로 서로 비교할 수 없다고 생각합니다.

분명히, 나는 LLVM이 무엇을하고 있는지 잘못 이해하고있을 수 있으므로 코드를 이해하지 못했다면 알려 주시기 바랍니다!