Boost Hana：将 Hana 类型转换为 std::string's

Question

是否存在用于编译时将 Struct 概念的成员类型转换为 std::string 类型名称的 STL 容器的 Boost Hana 方法？

例如，

MyType t();
std::array<std::string, 3> ls = boost::hana::typesToString(t);
for(std::string x : ls){
     std::cout << x << std::endl;
}

产生 "int string bool" 到 STDOUT，

与

class MyType{
     int x; 
     std::string y;
     bool z;
}

文档清楚地提供了获取 Struct 概念实例的成员及其值的方法，但我还没有找到任何可以为 成员类型。一个更简单的任务是：

 int x;
 std::string tName = boost::hana::typeId(x); //tName has value "int"

我读过 this post 但我想知道 Hana 中是否有开箱即用的干净方法。更好的方法是遍历 Struct 的成员，而不必知道他们的名字。

Answer 1

如果您使用的是 Clang，Hana 有一个实验性功能 hana::experimental::type_name。这可用于获取结构成员的类型名称：

#include <boost/hana.hpp>
#include <boost/hana/experimental/type_name.hpp>

namespace hana = boost::hana;

template <typename Struct>
auto member_type_names() {
    constexpr auto accessors = hana::accessors<Struct>();

    return hana::transform(
        accessors,
        hana::compose(
            [](auto get) {
                using member_type
                    = std::decay_t<decltype(get(std::declval<Struct>()))>;

                return hana::experimental::type_name<member_type>();
            },
            hana::second
        )
    );
}

演示 (live on Wandbox):

#include <iostream>
#include <string>

struct MyType {
    int a;
    std::string b;
    float c;
};

BOOST_HANA_ADAPT_STRUCT(MyType, a, b, c);

int main() {
    hana::for_each(member_type_names<MyType>(), [](auto name) {
        // Note that the type of `name` is a hana::string, not a std::string
        std::cout << name.c_str() << '\n';
    });
}

输出：

int
std::__1::basic_string<char>
float

Boost Hana：将 Hana 类型转换为 std::string's

Boost Hana : Convert Hana Types to std::string's

c++

boost

boost-hana