Cómo consultar un constexpr std :: tuple en tiempo de compilación?

Question

En C++ 0x, se puede crear una constexpr std :: tuple, p. Ej. como

#include <tuple> 
constexpr int i = 10; 
constexpr float f = 2.4f; 
constexpr double d = -10.4; 
constexpr std::tuple<int, float, double> tup(i, f, d); 

One también puede consultar una std :: tuple en el tiempo de ejecución, p. a través de

int i2 = std::get<0>(tup); 

Pero no es posible consultar en tiempo de compilación, por ejemplo,

constexpr int i2 = std::get<0>(tup); 

arrojará un error de compilación (al menos con la última g ++ instantánea 2011-02-19).

¿Hay alguna otra manera de consultar un constexpr std :: tuple en tiempo de compilación?

Y si no, ¿hay alguna razón conceptual por la que no se debe consultar?

(Soy consciente de evitar el uso de std :: tupla, por ejemplo, mediante el uso de impulso :: MPL o impulsar :: fusión en su lugar, pero de alguna manera suena mal en no utilizar la clase tupla en la nueva norma .. .).

Por cierto, ¿alguien sabe por qué

constexpr std::tuple<int, float, double> tup(i, f, d); 

compila bien, pero

constexpr std::tuple<int, float, double> tup(10, 2.4f, -10.4); 

no

?

¡Muchas gracias de antemano! - lars

Answer 1

std::get no está marcado constexpr, por lo que no se puede utilizar para recuperar los valores de una tuple en un contexto constexpr, incluso si esa tupla es en sí constexpr.

Desafortunadamente, la implementación de std::tuple es opaca, por lo que tampoco puede escribir sus propios accesos.

Answer 2

Todavía no he trabajado con C++ 0x, pero me parece que std :: get() es una función, en lugar de expresión que el compilador puede interpretar directamente. Como tal, no tiene ningún significado excepto en tiempo de ejecución, después de que la función misma ha sido compilada.