Usando gcc (HEAD 7.0.0 201612) me encontré con la sorpresa de que esto funciona:
constexpr long value(const char *definition)
{
if (definition && *definition)
{
return *definition + value(definition + 1);
}
return *definition;
}
int main()
{
long l{};
std::cin >> l;
switch (l)
{
case value("AAAA"): f1(); break;
case value("BBBB"): f2(); break;
default: error(); break;
}
return 0;
}
Los literales de cadena "AAAA"
y "BBBB"
son tratados como valores en tiempo de compilación y las llamadas a value
devuelven los valores 260
y 264
respectivamente.
La función constexpr value
es usada en un contexto en que sólo se aceptan valores conocidos en tiempo de compilación: en la cláusula case
de un switch
, así que estaba esperando que el compilador se quejase con un mensaje de error parecido a "las cadenas de caracteres no son expresiones constantes". De hecho es lo que sucede si se llama value
con un valor no conocido en tiempo de compilación:
int main(int argc, char **argv)
{
long l{};
std::cin >> l;
switch (l)
{
case value("AAAA"): f1(); break;
case value("BBBB"): f2(); break;
case value(*argv): error(); break; // Error de compilacion!
default: error(); break;
}
return 0;
}
Una característica de las funciones constexpr
es que pueden ser evaluadas tanto en tiempo de compilación como en tiempo de ejecución, su evaluación es en tiempo de compilación si son llamadas con parámetros conocidos en tiempo de compilación, y este es el motivo por el que las llamadas value("AAAA")
y value("BBBB")
funcionan en la cláusula case
mientras que value(*argv)
muestra el siguiente error:
In function 'int main(int, char**)': error: 'argv' is not a constant expression case value(*argv): error(); break; ^
El contenido de *argv
no es conocido en tiempo de compilación así que se evalúa value
en tiempo de ejecución, provocando el fallo porque la cláusula case
requiere valores conocidos en tiempo de compilación.
Sabiendo que value
se evalúa en tiempo de compilación, quise pasar al siguiente nivel añadiendo un if constexpr
a la función value
:
constexpr long value(const char *definition)
{
if constexpr (definition && *definition)
{
return *definition + value(definition + 1);
}
return *definition;
}
Pero al hacerlo, el compilador se queja:
In function 'constexpr long int value(const char*)': error: 'definition' is not a constant expression if constexpr (definition && *definition) ^
Aparentemente el puntero definition
no es evaluable en tiempo de compilación en el if constexpr
pero usando un if
tradicional toda la función value
¡sí que se evalúa en tiempo de compilación!.
No entiendo esta diferencia de comportamiento.
vale( )
comostatic
? o, en su defecto, ¿ meterla en unnamespace
anónimo ? ¿ acepta entonces elif constexr
?if constexpr
es una característica de C++17 así que sólo está disponible en versiones experimentales de compiladores. Puedes comprobar si tu gcc soportaif constexpr
si se cumple la siguiente macro:__cpp_if_constexpr >= 201606
.value( )
comostatic
o en unnamespace
anonimo y probar si admite elif constexpr
? No puedo comprobar una cosa en mi equipo.