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

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

#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的类型

1 个答案: