C ++ - std :: enable_if用于更多类型

Question

我有一个功能：

template <typename T,
  typename std::enable_if <std::is_same<T, int>::value == true>::type* = nullptr>
void test(T i)
{
   //process data
}

有用。

但是，我需要不仅为int启用此函数，而且还为float和const char *启用此函数...如何在不编写相同方法的情况下执行此操作3次？

Answer 1

像这样：

template <typename T,
  typename std::enable_if <std::is_same<T, int         >::value ||
                           std::is_same<T, float       >::value ||
                           std::is_same<T, const char *>::value>::type* = nullptr>
void test(T i)
{
   //process data
}

Answer 2

C ++ 17的通用解决方案（在godbolt.org上查看）

#include <type_traits>

template< typename U, typename ... Ts > struct belong_to
{
  // before C++17 value will have to be defined recursively on the head of Ts
  static constexpr bool value = (std::is_same< U, Ts >::value || ... );
  using type = typename std::enable_if< value, U > ::type;
};

// usage example:
template< typename T >
using testable = typename belong_to< T, int, float, const char >::type;

template< typename T > void test ( testable< T > i ) 
{
    // test process
}

int main()
{
   test< int        > ( 3 );
   test< float      > ( 3.0 );
   test< const char > ('c');
   // test< signed char >( 1 ); does not compile!!!
}

Answer 3

另一种通用解决方案是使用std :: disjunction（C ++ 17）来执行逻辑OR。 允许的类型在调用测试函数时指定为模板参数，或者您可以为特化定义typedef。

#include <iostream>
#include <type_traits>

template <typename... Ts, typename T, typename std::enable_if<std::disjunction<std::is_same<T, Ts>...>::value>::type* = nullptr>
void test(T i)
{
    std::cout << "test\n";
}

int main()
{
    int i = 4;
    test<int, float, const char*>(i);
    //test<float, const char*>(i); // compile fails since no int

    // or use a typedef for the specialization
    typedef void (*specialized_t)(int);
    constexpr specialized_t test2 = &test<int, float, const char*>;
    test2(i);
}

运行代码