継承リストを持つC++テンプレート宣言

Question

C++でテンプレート化されたクラスを継承するクラスを宣言することは可能ですか？基本的には、宣言時に私のテンプレートクラスは常に別のクラスを継承するというヒントをコンパイラに伝えたいと思います。 は多分これが私のために問題である理由いくつかのコードが解消されます：

template<typename T> 
class GrandparentClass 
{ 
public: 
    T grandparentMember; 
}; 

//this needs to be only a declaration, since I do not want classes of ParentClass with random T 
template<typename T> 
class ParentClass : public GrandparentClass<T> 
{ 

}; 

// this does not work: 
//template<typename T> 
//class ParentClass : public GrandparentClass<T>; 

// this does not either, because then the child class cannot access the variable from the grandparent class 
//template<typename T> 
//class ParentClass; 

template<> 
class ParentClass<int> : public GrandparentClass<int> 
{ 
public: 
    ParentClass() 
    { 
     grandparentMember = 5; 
    } 
}; 

template <typename T> 
class ChildClass : public ParentClass<T> 
{ 
public: 
    void foo() 
    { 
     std::cout << grandparentMember << "\n"; 
    } 
}; 

また、私はC++ 11

EDIT使用することはできません。

：

を私はこの簡単な方法を見つけました

template<typename T> 
class ParentClass : public GrandparentClass<T> 
{ 
public: 
    ParentClass() { ParentClass::CompilerError(); }; 
}; 

クラス内でCompilerError（）メソッドを定義していないだけですべてが問題ありません。

Answer 1

クラス宣言は、ポインタや参照などの値以外の変数宣言に本当に便利です。ただし、クラスメンバーにアクセスしたり、インスタンス化することはできません。宣言されたクラスが他のクラスから継承していることを知っていたとしても、必ずしもその情報をどのようにも利用できるとは限りません。

このように、コンパイラが完全な定義を学ぶとクラスが継承する内容を知ることは、コンパイラにとって重要なことです。コメントで明確化した後

---

：あなたには、いくつかの種類のクラステンプレートのインスタンス化を防ぎたい場合は、その定義は、それを行うための場所です。クラス本体の中のシンプルなstatic_assertがそのトリックを行います。 Boost.StaticAssertまたはそれ以前のSFINAEのトリックは、プレC++ 11コードの仕事をします。

Answer 2

コンパイル時ではなく、リンク時のエラーを遅らせることができれば、parent.hのすべてのメンバー関数を宣言し、parent.cppの定義を提供し、あなたが望むクラス。

Parent.h

template<typename T> 
class ParentClass : public GrandparentClass<T> 
{ 
    ParentClass(); 
}; 

class ParentClass<int>; 
class ParentClass<long int>; // or whatever 

Parent.cpp

template <typename T> 
ParentClass::ParentClass() : grandparentMember(5) {}