Boost hana find set in set

Question

boost::hana的新功能，尝试一个简单的实验来找到一组类型中的一个类型，然后打印它的typeid.name。不过我正在static_assert错误（注：Xcode中7.2.1）

这是代码：

auto set = hana::make_set(hana::type_c<int>, hana::type_c<float>); 

auto s = hana::adjust(set, hana::type_c<int>, [](auto x){ std::cout << typeid(x).name() << std::endl; }); 

的错误是：

“花::调整（XS，价值， f）要求'xs'是一个Functor“）;

但是，这似乎与调整的文档不一致，其中指出xs需要是一个结构。

任何意见赞赏，因为我认为我失去了一些基本的理解。

Answer 1

问题是，Hana使用函数式编程术语，其中函数表示与C++中通常用来表示的内容不同的东西（即函数对象）。

在签名adjust：

(auto&& xs, auto&& value, auto&& f) 

调整：F（T）×U×（T→T）→F（T）

然后xs是F（T ），Functor over T; f是（T→T），函数对象将T的值映射到T。

这里的另一个问题是，小写字母和大写字母F表示签名内的不同对象。

集不是函子，其不变的，因为这至多出现一次值。如果您要更换make_set与make_tuple（并确保您的f返回一个值），你的代码可以编译（Example）：

auto t = hana::make_tuple(hana::type_c<int>, hana::type_c<float>); 
hana::adjust(t, hana::type_c<int>, [](auto x){ std::cout << typeid(x).name() << std::endl; return x; }); 

然而，你可能不应该在这里使用hana::adjust，因为你不关心返回值;相反，使用hana::filter与hana::for_each（Example）：

auto s = hana::make_set(hana::type_c<int>, hana::type_c<float>); 
hana::for_each(hana::filter(hana::to_tuple(s), hana::equal.to(hana::type_c<int>)), 
       [](auto x){ std::cout << typeid(x).name() << std::endl; });