访问 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 上提供了一个一元加运算符，它将任何 ref 限定的 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 中。