c++ - 如何根据表达式在 Boost.Hana 中是否有效来过滤类型元组？

Question

在简化示例中，我在一个元组中有两个类型，我想创建另一个元组，它只包含表达式有效的类型(在这个示例中我使用 + 运算符)。

我的尝试是这样的:

#include <boost/hana.hpp>
#include <boost/hana/experimental/printable.hpp>

#include <iostream>

namespace hana = boost::hana;

struct foo {};

const auto result{hana::filter(hana::tuple_t<int, foo>, [](auto type) {
  const auto has_plus{hana::is_valid([](auto t)
    -> decltype((void) hana::traits::declval(t) + hana::traits::declval(t)) {})};

  return has_plus(type);
})};

int main()
{
  std::cout << hana::experimental::print(result) << std::endl;
}

这会输出“()”，即。在我期望元组 result 的位置没有匹配的类型应包含 type<int> .

我正在使用与 Boost 1.62 一起打包的 Boost.Hana 版本。

Answer 1

您的问题与运算符优先级有关。

(void)hana::traits::declval(t) + hana::traits::declval(t)

与

相同

((void)hana::traits::declval(t)) + hana::traits::declval(t)

以下会产生您预期的结果:

(void)(hana::traits::declval(t) + hana::traits::declval(t))

demo