が冗長テンプレートタイプ

Question

を削除私は現在のテンプレートに苦しんでいます：私は今、私が使用できる基本的な数学を行い、テンプレートクラスAを、持っている（フロートのために、複雑な数字を倍）、この

template <typename T> 
class A 
{ 
public: 
    void foo(std::vector<std::complex<T>>& result); 
}; 

のように見えますクラスA<double>, A<float>のように、私もA<std::complex<float>>とA<std::complex<double>>のようにそれを使用したいと思います。後者を使用する場合、私はここで私ができる、fooの定義はstd::complex<T>例のための特定のテンプレートを作成する方法はあり

void foo(std::vector<std::complex<std::complex<float>>>& result); 

が好き

void foo(std::vector<std::complex<float>>& result); 

ないように見えるしたいと思います「内部」型にアクセスしますか？またはこれは可能ではありません/悪い練習ですか？ この問題を解決する最も洗練された方法は何ですか？

Answer 1

（必要な場合、抽出物）別の方法は、検出するために型形質の作成を通過することができるフロートタイプ

template <typename T> 
struct getFloatType 
{ using type = T; }; 

template <typename T> 
struct getFloatType<std::complex<T>> 
{ using type = T; }; 

とAで使用（fT参照）

Answer 2

あなたは、例えば、std::complexの任意のインスタンス化のためpartial specializationを作ることができます

template <typename T> 
class A<std::complex<T>> 
{ 
public: 
    void foo(std::vector<std::complex<T>>& result); 
}; 

そしてA<std::complex<double>>ため、fooの署名はvoid foo(std::vector<std::complex<double>>& result);あろう。

これらの重複したコードを処理するには、基本クラスを作成して共通メンバをその中に移動し、プライマリテンプレートと部分特殊化を両方から派生させることができます。例えば次いで

class Base { 
public: 
    void bar(...); 
}; 

template <typename T> 
class A : public Base { 
    ... 
}; 

template <typename T> 
class A<std::complex<T>> : public Base { 
    ... 
};