c++ - 如何从 boost::hana::tuple_t 中检索类型？

Question

我已经使用 hana:tuple_t 来存储和检索类型列表:

auto Types = hana::tuple_t<int, double>;
auto first_t = Types[hana::int_c<0>];
static_assert(std::is_same_v<decltype(first_t)::type, int>); // line 3

上面的代码可以正常工作，但是当我试图用它的实际表达式替换变量 first_t 时:

static_assert(std::is_same_v<decltype(Types[hana::int_c<0>])::type, int>); //line 4

编译错误:

template argument 1 is invalid
     static_assert(std::is_same_v<decltype(Types[hana::int_c<0>])::type, int>);
 error: decltype evaluates to ‘const boost::hana::type_impl<int>::_&’, which is not a class or enumeration type

上面代码的第3行和第4行是等价的，为什么第4行编译报错:

Answer 1

decltype(Types[hana::int_c<0>])是 const引用boost::hana::type_impl<int>::_并且您无法通过查询引用 来获取 ::type来自引用d类型。

first_t仅用 auto 声明，然后删除引用和常量。如果你想保留它(在不同的情况下)，你可以声明它 auto & first_t = ... .

static_assert(std::is_same_v<decltype(first_t), boost::hana::type_impl<int>::_>);

您可以使用 std::decay_t摆脱引用。

static_assert(std::is_same_v<
    std::decay_t<decltype(Types[hana::int_c<0>])>::type, int>);