C++推論テンプレート引数

Question

Iは、次のクラスがあるとしますテンプレートパラメータが異なるマッピングを

template <class T, class U, class V> Foo 
{ 
    ... 
}; 

持っているので、私はTが何であるかに基づいて、他のテンプレート引数UとVを推定することができます。たとえば、Tがdoubleの場合、UとVは常にクラスD1とD2になり、Tがfloatの場合、UとVは他のクラスF1とF2になります。

これを念頭に置いて、私は1つのテンプレート引数だけを渡すことができ、コンパイラに他の2つのパラメータを推測させる方法がありますか？

私は単純な答えは、これらの他のクラスもテンプレート化してテンプレート引数Tをそれらに渡すことだと知っていますが、これらのクラスをテンプレート化することはできません（これらはツールによって自動生成されます）。

理想的には私はそうのようなのtypedefかに#defineを使用することができるだろう：

typedef Foo<double> Foo<double, D1, D2> 
typedef Foo<float> Foo<float, F1, F2> 

しかし、これらはコンパイルされません。私はテンプレートのメタプログラミングやテンプレートテンプレートのパラメータを使ってこの問題を解決する方法があるのだろうかと思っていますが、私はそれらの概念を頭に入れているようには思えません。誰にもアイデアはありますか？

Answer 1

Angewによって与えられた答えは、あなたに適切なアプローチを示しているが、UとVを推定することができないとがインスタンス化するクライアントによって提供されなければならない状況に対処する方法をお見せしません。このような場合を扱うために

、あなたはテンプレートのデフォルト引数を割り当てることができUとVパラメータ：

struct D1 { }; struct D2 { }; 
struct F1 { }; struct F2 { }; 

// Primary template 
template<typename T> 
struct deduce_from 
{ 
}; 

// Specialization for double: U -> D1, V -> D2 
template<> 
struct deduce_from<double> 
{ 
    typedef D1 U; 
    typedef D2 V; 
}; 

// Specialization for float: U -> F1, V -> F2 
template<> 
struct deduce_from<float> 
{ 
    typedef F1 U; 
    typedef F2 V; 
}; 

// Give defaults to U and V: if deduce_from is not specialized for 
// the supplied T, and U or V are not explicitly provided, a compilation 
// error will occur 
template< 
    typename T, 
    typename U = typename deduce_from<T>::U, 
    typename V = typename deduce_from<T>::V 
    > 
struct Foo 
{ 
    typedef U typeU; 
    typedef V typeV; 
}; 

そしてここでは、上記溶液の正しさをテストするための簡単なプログラムです：

#include <type_traits> 

int main() 
{ 
    static_assert(std::is_same<Foo<double>::typeU, D1>::value, "Error!"); 
    static_assert(std::is_same<Foo<double>::typeV, D2>::value, "Error!"); 
    static_assert(std::is_same<Foo<float>::typeU, F1>::value, "Error!"); 
    static_assert(std::is_same<Foo<float>::typeV, F2>::value, "Error!"); 

    // Uncommenting this will give you an ERROR! 
    // No deduced types for U and V when T is int 
    /* static_assert(
     std::is_same<Foo<int>::typeU, void>::value, "Error!" 
     ); */ 
    static_assert(
     std::is_same<Foo<int, bool, char>::typeU, bool>::value, "Error!" 
     ); // OK 
    static_assert(
     std::is_same<Foo<int, bool, char>::typeV, char>::value, "Error!" 
     ); // OK 
} 

Answer 2

あなたはこのように、UとVを取り除くことができます：deduce_fromは控除のプロセスをカプセル化し

template <typename T> 
struct Foo 
{ 
    typedef typename deduce_from<T>::U U; 
    typedef typename deduce_from<T>::V V; 
}; 

。