C++ 11 sposób na napisanie szablonu do wybrania większej liczby całkowitej?

Question

Podczas kompilacji w C++ 11 w funkcji szablonu, która pobiera 2 parametry szablonu, z których oba muszą być typu liczb całkowitych bez znaku, chciałbym mieć zmienną lokalną mieć typ, który z dwóch parametrów szablonu ma więcej bity. W C++ 03 mógłbym napisać coś takiego:

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 
} 

mogę wykorzystać dowolny z nowych funkcji C++ 11, aby to prostsze? Wiem, że mogłem używać szablonów variadic, aby działały z więcej niż parami typów i zamiast używać pick_first, mogłem napisać wiele specjalizacji, aby działały z nowymi typami int_leastX_t i int_fastX_t. Ale jestem ciekawy, czy istnieje po prostu lepsze podejście do tego. Może w jakiś sposób wykorzystując auto/constexpr/decltype?

Answer 1

Twój pick_first jest tylko std :: warunkowe w C++ 11, więc można napisać

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. 
}; 

Jeśli chcesz po prostu typ odpowiedni dla gospodarstwa wynik pewnej ekspresji z udziałem obu typów i nie zrobić koniecznie dokładnie jeden z dwóch typów następnie std::common_type, a może auto, jest najlepszym rozwiązaniem:

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; 
} 

_{a realizacja pick_bigger brakuje typename tam: typedef typename pick_first<(sizeof(T) >= sizeof(U)), T, U>::type type;}

Answer 2

ponieważ oba typy są niepodpisane, po prostu wykonaj decltype(T1() + T2()).