Confusión sobre expresiones constantes
Este es un tipo de seguimiento paraeste tema y se ocupa de una pequeña parte de ella. Al igual que con el tema anterior, consideremos que nuestro compilador tieneconstexpr
funciones parastd::initializer_list
ystd::array
. Ahora, vamos directamente al punto.
#include <array>
#include <initializer_list>
int main()
{
constexpr std::array<int, 3> a = {{ 1, 2, 3 }};
constexpr int a0 = a[0];
constexpr int a1 = a[1];
constexpr int a2 = a[2];
constexpr std::initializer_list<int> b = { a0, a1, a2 };
return 0;
}
#include <array>
#include <initializer_list>
int main()
{
constexpr std::array<int, 3> a = {{ 1, 2, 3 }};
constexpr std::initializer_list<int> b = { a[0], a[1], a[2] };
return 0;
}
Se bloquea con este error:
error: 'const std::initializer_list<int>{((const int*)(&<anonymous>)), 3u}' is not a constant expression
Aunque leí algunos artículos sobreconstexpr
y expresiones constantes mientras tanto, este comportamiento todavía no tiene ningún sentido para mí. ¿Cómo es que el primer ejemplo se considera una expresión constante válida y no la segunda? Agradecería cualquier explicación para poder descansar en paz después.
NOTA: Lo precisaré de inmediato, Clang no podrá compilar el primer fragmento ya que no implementa elconstexpr
Adiciones a la biblioteca que están previstas para C ++ 14. Utilicé GCC 4.7.
EDITAR: Ok, aquí viene el gran ejemplo para mostrar qué se rechaza y qué no:
#include <array>
#include <initializer_list>
constexpr int foo = 42;
constexpr int bar() { return foo; }
struct eggs { int a, b; };
int main()
{
constexpr std::array<int, 3> a = {{ 1, 2, 3 }};
constexpr int a0 = a[0];
constexpr int a1 = a[1];
constexpr int a2 = a[2];
// From Xeo and Andy tests
constexpr std::array<int, 1> a = { bar() }; // OK
constexpr std::array<int, 3> b = {{ a[0], a[1], a[2] }}; // OK
std::initializer_list<int> b = { a[0], a[1], a[2] }; // OK
constexpr std::initializer_list<int> b = { a0, a1, a2 }; // OK
constexpr std::initializer_list<int> b = { foo }; // OK
constexpr std::initializer_list<int> c = { bar() }; // ERROR
constexpr std::initializer_list<int> b = { a[0], a[1], a[2] }; // ERROR
// From Matheus Izvekov and Daniel Krügler
constexpr eggs good = { 1, 2 }; // OK
constexpr std::initializer_list<eggs> bad = { { 1, 2 }, { 3, 4 } }; // ERROR
constexpr std::initializer_list<eggs> bad2 = { good, good }; // ERROR
return 0;
}