提升 hana index_if 和类型

Question

我想知道为什么在这段代码中，i 的类型是一个空的可选项。

auto t = boost::hana::make_tuple(boost::hana::type_c<int>, boost::hana::type_c<double>);
auto i = boost::hana::index_if(t, boost::hana::is_a<boost::hana::type<double>>);

对我来说应该是optional<hana::size_t<1>>

我知道有Boost hana get index of first matching，但不是完全相同的问题

Answer 1

boost::hana::is_a 返回对象的 tag 是否匹配给定的标签。 [reference]

您没有传递标签，而是传递hana::type。

例如，您可以测试参数是否为hana::type，而i 将包含size_c<0>（因为元组中的第一项已经是hana::type）：

auto i = hana::index_if(t, hana::is_a<hana::type_tag>);

---

如果您想检查某种类型是否相等，请使用equal::to：

auto i = hana::index_if(t, hana::equal.to(hana::type_c<double>));

[Reference to hana::equal]

Live example