Ya que estas en C++, puedes usar la forma C++ de hacer las cosas: usando template
.
1. C++11, constexpr
:
Compila sin problemas con
g++ -Wall -Wextra -std=c++11 -pedantic
template< typename T > inline constexpr size_t Countof( const T (&) ) { return 0; }
template< typename T, size_t S > inline constexpr size_t Countof( const T (&)[S] ) { return S; }
2. C++98, sin constexpr
:
Lo único que cambia es, justamente, la eliminación de dicha palabra clave.
Compila sin problemas con
g++ -Wall -Wextra -std=c++98 -pedantic
template< typename T > inline size_t Countof( const T (&) ) { return 0; }
template< typename T, size_t S > inline size_t Countof( const T (&)[S] ) { return S; }
Código de prueba:
Válido para C++98 y superiores:
#include <iostream>
using namespace std;
template< typename T > inline size_t Countof( const T (&) ) { return 0; }
template< typename T, size_t S > inline size_t Countof( const T (&)[S] ) { return S; }
int main( void ) {
int v0;
int v1[1];
int v2[2];
int v3[ ] = { 1, 2, 3 };
cout << "Countof( v0 ): " << Countof( v0 ) << "\n";
cout << "Countof( v1 ): " << Countof( v1 ) << "\n";
cout << "Countof( v2 ): " << Countof( v2 ) << "\n";
cout << "Countof( v3 ): " << Countof( v3 ) << "\n";
return 0;
}
La salida es:
Countof( v0 ): 0
Countof( v1 ): 1
Countof( v2 ): 2
Countof( v3 ): 3
Como ves, distingue entre arreglos y no-arreglos. En el primer caso, devuelve el número de elementos (tanto si se indico al declarar la variable como si se omitió). En el segundo, devuelve 0
.
¿ Porqué 2 versiones ?
La primera template
no es estrictamente necesaria. Es para evitar errores si lo usas en variables que no sean arreglos. Hace uso de la característica SFINAE del lenguaje: cuando se intenta instanciar una plantilla y los parámetros no coinciden, no se genera un error, sino que sigue buscando otras versiones de la template
que si coincidan.
En nuestro código de prueba, si omitimos la primera versión de la platilla
// template< typename T > inline size_t Countof( const T (&) ) { return 0; }
Mi g++ escupe lo siguiente:
error: no matching function for call to ‘Countof(int&)’
cout << "Countof( v0 ): " << Countof( v0 ) << "\n";
^
note: candidate: template constexpr size_t Countof(const T (&)[S])
template< typename T, size_t S > inline constexpr size_t Countof( const T (&)[S] ) { return S; }
^~~~~~~
note: template argument deduction/substitution failed:
note: mismatched types ‘const T [S]’ and ‘int’
cout << "Countof( v0 ): " << Countof( v0 ) << "\n";
Sin embargo, con las 2 versiones, el compilador lo intenta con ambas, y, dependiendo del caso, lo conseguirá con una u otra. Esos intentos son los que nos permiten realizar la discriminación entre variables normales y arreglos.