クラスインスタンスなしのC++テンプレートのクラスを確認する

Question

テンプレートパラメータがいくつかのクラスのインスタンスであるかどうかによっていくつかのコードを生成するテンプレートを書く必要があります。テンプレートはすべてのクラスに対して生成できますが、クラスが他のクラスのサブクラスである場合にのみ、コードを実行する必要があります。

問題は、実装する必要がある関数はクラスのインスタンスを受け取らないため、既知の唯一のものはクラス名です。だから、それはいくつかの説明を追加するオブジェクト

template<T> 
class A 
{ 
    void somefunction(void) 
    { 
    if (T instanceof Foo) then ... 
    else ... 
    } 
} 

のインスタンスを要求としてのdynamic_castでこれを達成することは不可能である

class X: public Foo {}; 
class Y {}; 

class A<X> {} // special logic is generated 
class A<Y> {} // special logic is NOT generated 

Answer 1

あなたはテンプレートの特殊化を使用するか、後押し:: is_base_ofを独自の特色を書くboost traits library から、あるいは、もちろん、しかし、あなたはまだテンプレートをマスターしていないため、いけないことができます。特殊化を使用し

、あなたは

template<T> 
class A 
{ 
    void somefunction() { 
    // generic version 
    } 
}; 
template<> 
class A <Foo> 
{ 
    void somefunction() { 
    // foo version 
    } 
}; 

いつものように、私はVandevoorde/Josuttis氏 "C++テンプレート：完全ガイド" をお勧めしてみましょうことができます。多くのうち一つだけmemberfunctionは特殊なする必要があるため、あなたがコードの膨張を恐れる場合

、あなたはまだその機能を外部委託することができます

template <typename T> struct somefunction_helper { 
    static void thatfunction() { 
     // generic form 
    } 
}; 
template <> struct somefunction_helper<Foo> { 
    static void thatfunction() { 
     // Foo form 
    } 
}; 

template<T> 
class A 
{ 
    void somefunction() { 
    somefunction_helper<T>::thatfunction(); 
    } 
}; 

Answer 2

どちらかAを専門またはいくつかの無料の機能にsomeFunction()メンバ関数テンプレートの作業を委任Tを（完全に）専門にするテンプレート。

Answer 3

これは、テンプレートの特殊化のためのものです。彼らは書くのがより難しいですが、それはあなたがそれらで何をするかです。例：

template<T> class A 
{ 
    void somefunction(void) { 
     ...//default for any object type. 
    } 
}; 

template<> class A<Foo> 
{ 
    void somefunction(void) { 
     ...//specific to the type Foo. 
    } 
}; 

はい、余分な作業が必要です。あなたが望むようにこれを行うためのいくつかのテンプレートメタプログラミング方法がありますが、他の誰かがそれらを説明しなければなりません。

Answer 4

編集＃2 - 作業例を参照してください。これはテンプレートの特殊化（コンパイル時に発生する）の実行時に相当し、RTTIを有効にする必要があることに注意してください。

#include <iostream> 
#include <typeinfo> 
using namespace std; 

class Foo {}; 
class X: public Foo {}; 
class Y {}; 

template<typename T> class A { 
public: 
    void somefunction() 
    { 
    if (typeid(T) == typeid(X)) { 
     cout << "X specific logic happening" << endl; 
    } 
    else { 
     cout << "Default behavior" << endl; 
    } 
    } 
}; 

int main() { 
    A<X> ax; 
    A<Y> ay; 
    ax.somefunction(); // prints "X specific logic happening" 
    ay.somefunction(); // prints "Default behavior" 
} 

---

typeidは、テンプレートパラメータのタイプを抽出するためにテンプレートを使用することができる - 以下に記載のように：から撮影

// expre_typeid_Operator_3.cpp 
// compile with: /c 
#include <typeinfo> 
template < typename T > 
T max(T arg1, T arg2) { 
    cout << typeid(T).name() << "s compared." << endl; 
    return (arg1 > arg2 ? arg1 : arg2); 
} 

：http://msdn.microsoft.com/en-us/library/fyf39xec(v=vs.80).aspx

注値ことname()は実装定義です。

Answer 5

テンプレートパラメータがしか導出されますので、専門は動作しませんので、 Fooから、別の答えが言ったことを使用します。それは既にC++ 0xのの部分をサポートしている場合is_base_of、ブーストまたは標準ライブラリのいずれかから：

#include <type_traits> // C++0x 

class Foo{}; 

template<class T> 
class A{ 
    void specialOnFoo(){ 
    // dispatch the call 
    specialOnFoo(std::is_base_of<T, Foo>::type()); 
    } 

    void specialOnFoo(std::true_type){ 
    // handle Foo case 
    } 

    void specialOnFoo(std::false_type){ 
    // non-Foo case 
    } 
};