c++ - 使用模板参数定义 Hana 结构

Question

有没有办法为 Hana 定义(改编)具有模板参数的结构？

canonical example是一个非模板类，

#include <boost/hana/define_struct.hpp>
#include <string>

namespace hana = boost::hana;

struct Person {
    BOOST_HANA_DEFINE_STRUCT(Person,
        (std::string, name),
        (int, age)
    );
};

我们尝试添加模板参数出现编译错误:

template<class S = std::string, class I = int>
struct Person {
    BOOST_HANA_DEFINE_STRUCT(Person<S, I>,
        (S, name),
        (I, age)
    );
};

我虽然因为使用逗号而失败了，所以我尝试了 decltype(Person<S, I>)代替 Person<S,I> .

在 Boost.Fusion 中我们有 BOOST_FUSION_DEFINE_TPL_STRUCT ，但我在 Hana 中找不到等效项。

如何使用模板参数定义 Hana 结构？

Answer 1

我在这里找到了解决方案:https://boostorg.github.io/hana/group__group-Struct.html

template<class S, class I>
struct Person {
    S name;
    I age;

    struct hana_accessors_impl {
        static BOOST_HANA_CONSTEXPR_LAMBDA auto apply() {
            return boost::hana::make_tuple(
                boost::hana::make_pair(BOOST_HANA_STRING("name"),
                [](auto&& p) -> decltype(auto) {
                    return boost::hana::id(std::forward<decltype(p)>(p).name);
                }),
                boost::hana::make_pair(BOOST_HANA_STRING("age"),
                [](auto&& p) -> decltype(auto) {
                    return boost::hana::id(std::forward<decltype(p)>(p).age);
                })
            );
        }
    };
};

这引发了另一个问题，为什么 Hana 根本不需要第一个参数？因为没有必要？

顺便说一句，这也奏效了，我一开始并没有尝试这样做。我不确定它是否普遍有效。

template<class S, class I>
struct Person {
    BOOST_HANA_DEFINE_STRUCT(Person,
        (std::string, name),
        (int, age)
    );
};