Boost Hana 过滤一个 constexpr 元组

Question

关于 Boost Hana 的超级基本问题。

从这些例子看来我应该能够做到以下几点：

int main() {
    constexpr auto a = boost::hana::make_tuple(-1, 4, 5, -4);
    constexpr auto b = boost::hana::filter(a, [](int elem) constexpr { boost::hana::bool_c<(elem > 0)>;});
}

但是，我得到

error: 'elem' is not a constant expression

这看起来很奇怪，因为我尽可能地添加了constexpr ...

这是可能吗？ 或者我只是错过了什么？

注意：我知道您可以使用constexpr函数或其他东西来实现这一点，但出于教育目的，我也想看看如何使用 Hana 来实现。

Answer 1

返回类型必须是静态可推导的。 但是，您将根据参数返回不同的类型。

您可以这样做，但不使用hana::filter ，因为它通过将（静态已知的）元组元素放入（运行时）function arguments 中专门进入运行时域。

一旦您的谓词依赖于静态已知信息（即元素的类型）之外的更多信息，它就不会不断地被评估。 这些示例记录了如何使用它：

static_assert(hana::filter(hana::make_tuple(1, 2.0, 3, 4.0), is_integral) == hana::make_tuple(1, 3), "");
static_assert(hana::filter(hana::just(3), is_integral) == hana::just(3), "");
BOOST_HANA_CONSTANT_CHECK(hana::filter(hana::just(3.0), is_integral) == hana::nothing);

另一方面，如果将元素移动到编译时域，您就可以吃蛋糕了：

生活在 Coliru

constexpr auto a = hana::make_tuple(-1_c, 4_c, 5_c, -4_c);

constexpr auto b = hana::filter(                                                               //
    a,                                                                               //
    [](auto elem) constexpr { return std::integral_constant<bool, (elem() > 0)>{}; } //
);

std::cout << "a:" << hana::size(a) << "\n";
std::cout << "b:" << hana::size(b) << "\n";

印刷

a:4
b:2