コンストラクタテンプレート

Question

私はいくつかのコンストラクタを持つクラスを持っています。 argvを介してmain（）に渡されるパラメータによれば、私は異なるコンストラクタを切り替える必要があります。次の単純化された例は、「obj」がclassに変更され、 obj1-> intおよびobj2-> doubleです。しかし、enumを使って次のコードを実行するためには、何を変更する必要がありますか？

#include<iostream> 

using namespace std; 

enum obj{obj1,obj2}; 

template <obj T> 
class A 
{ 
public: 
    A(T); 

private: 
    T t_; 
}; 

template<obj T> 
A<T>::A(T) 
{} 

template<> 
A<obj1>::A(obj1 t):t_(t) {cout<<"case 1"<< endl;} 

template<> 
A<obj2>::A(obj2 t):t_(t) {cout<<"case 2"<< endl;} 

int main() 
{ 
    obj test=obj1; 
    A<obj> a(test); 
    return 1; 
} 

ありがとうございました！

編集：型/値に関してコードが間違っていることは明らかですが、どのようなメカニズムがコンストラクタの切り替えに似ていますか？

Answer 1

私は次のようにあなたがすることを意図するものであると思う：

#include<iostream> 

enum obj{obj1,obj2}; 

template<obj> 
class A 
{ 
public: 
    A(); 

private: 
    obj t_; 
}; 

template<obj x> 
A<x>::A() : t_(x){} 

template<> 
A<obj1>::A() : t_(obj1){ std::cout << "obj1\n"; } 

template<> 
A<obj2>::A() : t_(obj2){ std::cout << "obj1\n"; } 

int main() 
{ 
    const obj x = obj1; // can only be used as the template argument below because it's a compile time constant 
    A<x> a; 

    return 0; 
} 

しかし、あなたが一定のコンパイル時に「スイッチ」にしたい場合にのみ動作し、あなたがいないように聞こえます。実行時条件（if,など）を使用する必要があります。

Answer 2

値ではなくタイプに特化する必要があります。コンパイル時に値が分かっている場合は、boost::mpl::int_を使用します。あなたが（あなたの場合のように）しなければ、普通の古いifと一緒に生きなければならないでしょう。あなたは問題が間違って近づいている

enum E 
{ 
    A, 
    B 
}; 

template<E e> 
struct A 
{ 
}; 

template<> 
struct A<E::A> 
{ 
}; 

template<> 
struct A<E::B> 
{ 
}; 

int main() 
{ 
    A<E::B> ab; 
} 

Answer 3

あなたはこのような何かをしなければなりません。テンプレートはコンパイル時にインスタンス化されるため、実行時に存在する値に基づいて特殊化を選択することはできません。コード内の他の間違いを除いて、この解決法は機能しません。

この種の問題（パラメータに基づいて異なるオブジェクトを作成する）に対する共通の解決策は、abstract factory patternです。これは、条件付き構築ロジックをファクトリクラスに移動し、仮想メソッドを使用して呼び出し側に異なるコードを書く必要を避けることを意味します（本質的に多態性を利用します）。

Answer 4

：