Specializzazione modello per un intervallo di valori

Question

Desidero scrivere una struttura modello foo tale che foo<N>::value_type sia il numero intero più vicino (arrotondando per eccesso) a N. Ad esempio foo<32>::value_type => uint32_t, foo<33>::value_type => uint64_t e foo<72>::value_type => uint64_t.

Per fare ciò, ho bisogno di un mezzo elegante per fornire specializzazioni parziali di foo per un intervallo di valori, ad esempio 1 <= N <= 8 per restituire uint8_t e così via e così quarto. C'è un mezzo per raggiungere questo obiettivo senza dover specializzare tutto da 0 a 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; 
}; 

In c++11 è possibile utilizzare 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; 

È possibile decidere quale è meno leggibile.

Answer 2

I parametri del modello devono essere concreti, quindi non credo ci sia modo di evitare la specializzazione per ogni valore richiesto.

Answer 3

@hansmaad risposta è una risposta bello, ma preferirei usare (indovinate un po '?!) Boost:

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

Il,, tipo integrale più piccolo built-in non firmato con almeno N bit . Il parametro deve essere un numero positivo. Un errore in fase di compilazione risulta se il parametro è maggiore del numero di bit nel tipo intero maggiore .