Specjalizacja szablonowa dla zakresu wartości

Question

Chcę napisać strukturę szablonu foo tak, aby foo<N>::value_type była najbliższą całkowitą liczbą całkowitą (zaokrąglanie w górę) do N. Na przykład foo<32>::value_type => uint32_t, foo<33>::value_type => uint64_t i foo<72>::value_type => uint64_t.

Aby to zrobić, potrzebuję eleganckiego sposobu dostarczania częściowych specjalizacji foo dla zakresu wartości, np. 1 <= N <= 8, aby powrócić do uint8_t i tak dalej, a więc na czwartym. Czy istnieje sposób na osiągnięcie tego celu bez konieczności specjalizacji wszystkiego od 0 do 64.

Answer 1

template<size_t N> struct select { typedef uint64_t result; }; 
template<> struct select<0> { typedef uint8_t result; }; 
template<> struct select<1> { typedef uint16_t result; }; 
template<> struct select<2> { typedef uint32_t result; }; 

template<size_t N> 
struct foo 
{ 
    enum{D = (N > 32 ? 3 : (N > 16 ? 2 : (N > 8 ? 1 : 0)))}; 

    typedef typename select<D>::result value_type; 

    value_type value; 
}; 

W c++11 można użyć std::conditional:

typedef 
    typename std::conditional<(N > 32), uint64_t, 
    typename std::conditional<(N > 16), uint32_t, 
    typename std::conditional<(N > 8), uint16_t, uint8_t> 
    ::type>::type>::type value_type; 

Możesz zdecydować, który z nich jest mniej czytelny.

Answer 2

Parametry szablonu muszą być konkretne, więc nie sądzę, że istnieje sposób na uniknięcie specjalizacji dla każdej wymaganej wartości.

Answer 3

@hansmaad odpowiedź jest miły odpowiedź, ale wolałbym użyć (wiecie co ?!) Boost:

boost::uint_t<N>::least // N: bits 

Najmniejszy, wbudowany, unsigned integralną typu z co najmniej n bitów . Parametr powinien być liczbą dodatnią. Błąd kompilacji jest wynikiem, jeśli parametr jest większy niż liczba bitów w największym typie całkowitym .