1

的文档hana::keys说我可以在函数调用语法中使用它，例如，满足概念的类的实例hana::keys(s)在哪里，它返回一系列关键对象。shana::Struct

一个相关的函数，hana::accessors返回一系列访问器函数，可用于从结构的实例中获取相应的成员。

hana::accessors 可以通过两种方式使用：

hana::accessors(s)
hana::accessors<S>()

都是合法的，函数在- 对应于结构的序列constexpr时返回相同的东西。S = decltype(s)S

当我尝试使用这种语法时hana::keys，我得到一个错误。这是一个 MCVE，改编自hana文档中的示例：

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

namespace hana = boost::hana;

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


// Debug print a single structure

template <typename T>
void debug_print_field(const char * name, const T & value) {
  std::cout << "\t" << name << ": " << value << std::endl;
}


template <typename S>
void debug_print(const S & s) {
  std::cout << "{\n";

  hana::for_each(hana::keys<S>(), [&s] (auto key) {
    debug_print_field(hana::to<char const *>(key), hana::at_key(s, key));
  });

  std::cout << "}" << std::endl;
}

// Debug print compare two structures

int main() {
    Person john{"John", 30}, kevin{"Kevin", 20};

    debug_print(john);
    std::cout << std::endl;
    debug_print(kevin);
    std::cout << std::endl;
}

$ g++-6 -std=c++14 -I/home/chris/boost/boost_1_61_0/ main.cpp
main.cpp: In function ‘void debug_print(const S&)’:
main.cpp:28:30: error: expected primary-expression before ‘&gt;’ token
   hana::for_each(hana::keys<S>(), [&s] (auto key) {
                              ^
main.cpp:28:32: error: expected primary-expression before ‘)’ token
   hana::for_each(hana::keys<S>(), [&s] (auto key) {
                                ^

当我使用hana::keys(s).

但是在我的实际应用中，我没有结构的实例，它只是一个模板参数。

作为一个黑客，我做了这个：

// Work around for `hana::keys`

template <typename S>
constexpr decltype(auto) get_hana_keys() {
  return decltype(hana::keys(std::declval<S>())){};
}

我相信这是基于我对文档中hana描述的实现细节的有限理解。--hana::keys应该返回一个编译时字符串序列，并且所有信息都包含在类型中，所以只获取类型和默认构造它应该是等效的。

当我get_hana_keys<S>()在我的 MCVE 中使用它时，它会编译并运行良好。

但是我不知道它是否真的正确，或者我所做的假设是否超出了文档允许我假设的范围。

我正在使用 boost 版本1.61和gcc 6.2.0.

我想知道的是，

  • 是否有一个很好的理由hana::keys<S>()不起作用，或者这只是一个疏忽？hana似乎是经过精心设计的，所以我倾向于在这里猜测自己。

  • 我创建的 hack 或改进方法有什么问题吗？

4

1 回答 1

2

好问题！

是否有一个很好的理由hana::keys<S>()不起作用，或者这只是一个疏忽？

hana::keys<S>()不起作用的原因是在一般情况下没有办法实现它。实际上，keys最初是为 设计的hana::map，其中键可以是有状态的，因此您确实需要一个对象来返回有意义的东西。对象不需要检索 a 的键这一事实hana::Struct只是一个巧合。

我创建的 hack 或改进方法有什么问题吗？

从技术上讲，hana::string没有记录为可默认构造，因此hana::tuple不能保证默认构造其中的一个。但是，这是我在1eebdb中修复的疏忽，所以你很好。

话虽这么说，一个可能更惯用的解决方案如下：

template <typename S>
constexpr auto get_hana_keys() {
  return hana::transform(hana::accessors<S>(), hana::first);
}

事实上，这就是我们hana::keys为hana::Structs 定义的方式。

最后，请注意，hana::Struct语言级别的反射会更好地服务于所有相关的事情，所以请原谅 Hana 提供的对反射的古怪支持。在没有语言支持的情况下，很难在该领域做任何好事。

于 2016-12-04T04:59:16.090 回答