C++ 추상 기본 클래스가있는 서브 클래스 템플릿 특수화

Question

순수 추상 기본 클래스가 있다고 가정 해 보겠습니다. 클래스 템플릿은이 인터페이스를 구현하며 특수화되어 있습니다. 자, 내 문제는이 전문화는 전문 분야의 하위 클래스를 처리 할 수 ​​있어야한다는 것입니다. 그래서 enable_if를 시도했지만 하위 클래스가 추상적으로 끝납니다 ... 어떻게하면이 문제를 해결할 수 있습니까?

// This example doesn't work because a subclass of A does not satisfy the 
// specialization for B<T>::foo() 
class A { 
public: 
    virtual void foo() = 0; 
}; 

template <class T> 
class B : public A { 
    ... 
public: 
    ... 
    void foo(); 
    ... 
}; 

void B::foo() { 
    ... 
} 

template <> 
void B<A>::foo() { 
    ... 
} 

class C : A { 
    ... 
public: 
    ... 
    void foo(); 
    ... 
}; 

int main() { 
    B<C> bar; // I was like "this is gonna work!! :) :D" 
    bar.foo(); // But this calls B::foo() instead of B<A>::foo()... :'(*sob* 
} 

그리고 또 다른 예 :이 문제를 해결하는 방법에 대한

// This example doesn't work because B ends up being abstract 
class A { 
public: 
    virtual void foo() = 0; 
}; 

template <class T> 
class B : public A { 
    ... 
public: 
    ... 
    template <class U=T> 
    typename std::enable_if<!std::is_base_of<U, A>::value, void>::type 
    foo() { 
     ... 
    } 

    template <class U=T> 
    typename std::enable_if<std::is_base_of<U, A>::value, void>::type 
    foo() { 
     ... 
    } 
}; 

class C : A { 
    ... 
public: 
    ... 
    void foo(); 
    ... 
}; 

int main() { 
       // I got excited thinking this would work \(^.^)/ 
    B<C> bar; // and then it didn't because B is abstract /(-_-)\ ... 
    bar.foo(); 
} 

어떤 아이디어 예에 의해

? 감사합니다.

Answer 1

B<C> 및 B<A>은 고유 한 유형이므로 첫 번째 경우는 절대로 작동하지 않습니다.

이 true 인 모든 클래스 T에 대해 템플릿을 전문적으로 지정하려는 것입니다. 이를 위해, 부분 특수화와 기본 템플릿 매개 변수를 사용 :

A는 T의 기본입니다

template <class T, bool = std::is_base_of<A, T>::value> 
class B : public A { 
public: 
    void foo() override { std::cout << "A is not base of T!" << std::endl; } 
}; 


template <class T> 
class B<T, true> : public A { 
public: 
    void foo() override { std::cout << "A is base of T!" << std::endl; } 
}; 

에서, bool 매개 변수 때문에 부분 특수화를 사용 true입니다. 그렇지 않으면 기본 템플리트가 사용됩니다. A이 T의 액세스 할 수없는 기본 경우에도 당신은 또한 is_convertible<T*, A*> 검사를 추가 할 수 있도록 is_base_of이 true가 반환

는

참고.

Demo.