C++에서 템플릿 어설 션?

Question

이

assertsInheritsFrom<A, B> 

는 경우에만,

class A : public B { ... } // struct A is okay too 

감사를 컴파일

assertInheritsFrom<A, B> 

있도록 템플릿을 정의 할 수있는 방법입니다!

Answer 1

Alexandrescu의 책에서이 섹션 Detecting convertibility and inheritance at compile time을 읽을 수 있습니다.

편집 : 같은 한 가지 더 링크 : 태환 성 및 상속을 검출 http://www.ddj.com/cpp/184403750 봐

Answer 2

정적 결합은 Boost.TypeTraits에서 is_base_of<Base,Derived>와 주장 :

BOOST_STATIC_ASSERT(boost::is_base_of<B, A>::value); 

는 다음과 같이 보일 수 있습니다 (정수형, 개인 기본 클래스 및 모호성의 관리 복용하지 않음) 원래 구현 :

template<class B, class D> 
struct is_base_of { 
    static yes test(const B&); // will be chosen if B is base of D 
    static no test(...);  // will be chosen otherwise 
    static const D& helper(); 
    static const bool value = 
     sizeof(test(helper())) == sizeof(yes); 
    // true if test(const B&) was chosen 
}; 

을

Answer 3

또한 비얀 스트로브 스트 룹의 C++ FAQ에서이 항목을 읽어보십시오

: Why can't I define constraints for my template parameters? (대답은, 당신이 할 수있는 것을하고 그는 Derived_from 제약을 구현하는 방법의 예를 제공합니다.