¿Cómo hacer una comparación inferior en la metaprogramación de plantillas?

Question

Me hicieron esta pregunta el lunes y, por mi vida, no sé cómo responder. Como no sé, ahora quiero averiguarlo mucho. La curiosidad está matando a este gato. Dado dos enteros, devuelve el menor en el momento de la compilación.

template<int M, int N> 
struct SmallerOfMandN{ 
    //and magic happenes here 
}; 

¿Tienes indicadores o cómo hacerlo? (Empezará a leer Boost MPL esta noche.)

Answer 1

que se llama el mínimo de dos números, y que no necesita la biblioteca de peso pesado mundial como mpl a hacer tal cosa:

template <int M, int N> 
struct compile_time_min 
{ 
    static const int smaller = M < N ? M : N; 
}; 

int main() 
{ 
    const int smaller = compile_time_min<10, 5>::smaller; 
} 

Por supuesto, si se se C++ 0x fácilmente se podría decir:

constexpr int compile_time_min(int M, int N) 
{ 
    return M < N ? M : N; 
} 

int main() 
{ 
    constexpr int smaller = compile_time_min(10, 5); 
}