C++11 —— 判断 tuple 中是否包含某个数据类型

  如标题所提到的，这个问题也让我烦恼了一会，前两天在某个论坛上（现在找不到出处了）看到有如下代码的解决办法，非常巧妙，在此整理并记录出来做备忘。

#include <type_traits>
#include <tuple>
#include <iostream>

/**
 * @struct X_check
 * @brief  协助 X_tuple_has_type() 进行类型检查。
 */
template< bool... >
struct X_type_check
{

};

/**
 * @brief 判断 tuple 对象内是否包含某个数据类型。
 * 
 * @param[in ] _Fy    : 待判断的数据类型。
 * @param[in ] _Ty... : tuple 的参数列表。
 * 
 */
template< typename _Fy, typename... _Ty >
constexpr bool X_tuple_has_type(const std::tuple< _Ty... > &)
{
    return !std::is_same< X_type_check< false, std::is_same< _Fy, _Ty >::value... >,
                          X_type_check< std::is_same< _Fy, _Ty >::value..., false > >::value;
}

int main(int argc, char * argv[])
{
    std::cout << std::boolalpha;
    std::cout << X_tuple_has_type< int    >(std::tuple< int, char, double >{ 100, 'a', 3.1415926 }) << std::endl;
    std::cout << X_tuple_has_type< char   >(std::tuple< int, char, double >{ 100, 'a', 3.1415926 }) << std::endl;
    std::cout << X_tuple_has_type< double >(std::tuple< int, char, double >{ 100, 'a', 3.1415926 }) << std::endl;
    std::cout << X_tuple_has_type< float  >(std::tuple< int, char, double >{ 100, 'a', 3.1415926 }) << std::endl;
    std::cout << X_tuple_has_type< void   >(std::tuple< int, char, double >{ 100, 'a', 3.1415926 }) << std::endl;

    return 0;
}