c++ - 如何在编译时查询 constexpr std::tuple？

Question

在 C++0x 中，可以创建一个 constexpr std::tuple，例如喜欢

#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);

也可以在运行时查询 std::tuple，例如通过

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

但不能在编译时查询，例如，

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

会抛出编译错误(至少在最新的 g++ 中) 快照 2011-02-19)。

还有其他方法可以在编译时查询 constexpr std::tuple 吗？

如果没有，是否存在不应该查询它的概念性原因？

(我知道避免使用 std::tuple，例如，通过使用 boost::mpl 或 boost::fusion 代替，但不知何故，不使用元组类听起来是错误的 在新标准中...)。

顺便问一下，有谁知道原因

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

编译正常，但是

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

不是吗？

提前非常感谢! - 拉尔斯

Answer 1

std::get 未标记为 constexpr，因此您不能使用它从 中的 tuple 中检索值constexpr 上下文，即使该元组本身就是 constexpr。

不幸的是，std::tuple 的实现是不透明的，所以你也不能编写自己的访问器。