访问 tuple_t 的类型

Question

我有这个代码：

auto myTuple = hana::tuple_t<int, char*, long>;
std::cout << boost::typeindex::type_id<decltype(myTuple[1_c])>().pretty_name() << std::endl;

这输出：

boost::hana::type_impl<char*>::_

我想访问 'char*' 类型，但如果我这样做：

std::cout << boost::typeindex::type_id<decltype(myTuple[1_c])::type>().pretty_name() << std::endl;

它输出：

error: 'decltype(myTuple[1_c])' (aka 'boost::hana::type_impl<char *>::_ &') is not a class, namespace, or scoped enumeration
std::cout << boost::typeindex::type_id<decltype(myTuple[1_c])::type>().pretty_name() << std::endl

因为是引用，如果我这样做：

std::cout << boost::typeindex::type_id<decltype(boost::hana::traits::remove_reference(myTuple[1_c]))::type>().pretty_name() << std::endl;

然后输出'char*'.

这是访问 tuple_t 类型的方法吗？一定有不那么繁琐的方法。

Answer 1

这确实很棘手。 Hana 在 hana::type 上提供了一个一元加运算符，它将任何引用限定的 hana::type 衰减为右值。所以基本上，

#include <boost/hana.hpp>
namespace hana = boost::hana;
using namespace hana::literals;

auto myTuple = hana::tuple_t<int, char*, long>;
using T = decltype(+myTuple[1_c])::type;
//                 ^~~~~ notice unary plus here

另请注意，您可能对使用 <boost/hana/experimental/printable.hpp> 中的 hana::experimental::print 感兴趣。这是一个实验性的（因此不稳定的）特性，但我可以向你保证它最终会以一种或另一种形式进入库：

#include <boost/hana.hpp>
#include <boost/hana/experimental/printable.hpp>
#include <iostream>
namespace hana = boost::hana;

int main() {
    auto myTuple = hana::tuple_t<int, char*, long>;
    std::cout << hana::experimental::print(myTuple) << std::endl;
}

输出：

(type<int>, type<char*>, type<long>)

编辑：一元加运算符记录在reference of hana::type.

访问 tuple_t 的类型

Accessing the types of a tuple_t

c++

boost

boost-hana