使用 boost::hana 实现 has_common 进行类型检查

使用 boost::hana 实现 has_common 进行类型检查

在 C++17 之前，我们经常需要手动写模板元代码来进行类型检查。然而，这往往要求我们编写大量的样板代码，并且容易出错。boost::hana 提供了一种更加优雅的方式来处理此类问题。

boost::hana 是一个用于元编程的 C++ 库，它提供了一组强大的数据类型和算法，可以帮助我们轻松地实现元编程任务。

其中一个有用的算法是 has_common，它可以检查两个类型的集合是否具有任何公共元素。让我们来看看如何使用 boost::hana 实现 has_common。

首先，我们需要包含 boost::hana 头文件：

#include <boost/hana.hpp>

然后，我们可以使用 boost::hana::set 定义两个集合：

auto set