Tratando de especializarse en función de la validez del tamaño de la matriz: // base template template<int p, typename T = void> struct absolute { operator int () const { return 0; } }; // positive case template template<int p> struct absolute<p, typename