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

不？

提前多多感谢！ - lars

Answer 1

std::get未标记为constexpr，因此您无法使用它来检索tuple上下文中constexpr的值，即使该元组本身为constexpr { 1}}。

不幸的是，std::tuple的实现是不透明的，因此您也无法编写自己的访问者。

Answer 2

现在，std :: get <>是constexpr函数。如果我使用的是gcc c ++ 11或更高版本，则以下代码会为我编译。

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

此外，您可以在编译时使用make_index_sequence（c ++ 14或更高版本）生成一个数字列表，并访问该元组。

constexpr auto size = std::tuple_size<decltype(tup)>::value;
for_sequence(std::make_index_sequence<size>{}, [&](auto i){
        constexpr auto property = std::get<i>(tup);
        std::cout<<property<<std::endl;
});

template <typename T, T... S, typename F>
constexpr void for_sequence(std::integer_sequence<T, S...>, F&& f) {
    using unpack_t = int[];
    (void)unpack_t{(static_cast<void>(f(std::integral_constant<T, S>{})), 0)..., 0};
}

Answer 3

我还没有使用C ++ 0x，但在我看来，std :: get（）是一个函数，而不是编译器可以直接解释的表达式。因此，除了在运行时，在编译函数本身之后，它没有任何意义。

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

3 个答案: