C++ 11大きな整数型を選択するためのテンプレートを書くには？

Question

コンパイル時にC++ 11では、2つのテンプレートパラメータを取るテンプレート関数で、どちらも符号なし整数型でなければなりません。ローカル変数に2つのテンプレートパラメータのいずれかの型を持たせたいビット。私はこれをより簡単にするために、新しいC++ 11個の機能のいずれかを利用することができます

template<bool, class T, class U> 
struct pick_first; 

template<class T, class U> 
struct pick_first<true, T, U> { 
    typedef T type; 
}; 

template<class T, class U> 
struct pick_first<false, T, U> { 
    typedef U type; 
}; 

template<class T, class U> 
struct pick_bigger { 
    typedef typename pick_first<(sizeof(T) >= sizeof(U)), T, U>::type type; 
}; 

// usage 
template<class uintX_t, class uintY_t> 
void foo() { 
    typename pick_bigger<uintX_t, uintY_t>::type mylocal = 0; 
    // insert doing stuff with mylocal here 
} 

：？C++ 03で私のような何かを書くかもしれませんか私はvariadicテンプレートを使用して複数の型のペア以上で動作させることができ、pick_firstを使用する代わりに、新しいint_leastX_t型とint_fastX_t型で動作させるために多くの特殊化を書くことができました。しかし、これに平易なアプローチがあるのであれば私は不思議です。おそらく何とかauto/constexpr/decltypeを活用していますか？

Answer 1

あなただけの両方のタイプを含むいくつかの式の結果を保持するのに適したタイプをしたいとそうでない場合は、

template<class T, class U> 
struct wider { 
    using type = typename std::conditional<sizeof(T) >= sizeof(U), T, U>::type; // I'm using the C++11 type alias feature 1) to educate people about them and 2) because I like them better than typedefs. 
}; 

を書くことができるようにあなたのpick_firstは、ただのstd ::条件C++ 11でありますそこでtypenameが欠落している

template<class uintX_t, class uintY_t> 
void foo() { 
    typename std::common_type<uintX_t, uintY_t>::type mylocal = 0; 
    // insert doing stuff with mylocal here 
} 

// or 
template<class uintX_t, class uintY_t> 
void foo(uintX_t x, uintY_t y) { 
    auto mylocal = x + y; 
} 

_{とpick_biggerの実装：必ずしも正確に2種類、その後std::common_typeの1、または多分autoを必要とし、最適なソリューションですtypedef typename pick_first<(sizeof(T) >= sizeof(U)), T, U>::type type;}

Answer 2

両方の型が符号なしなので、decltype(T1() + T2())とするだけです。