c++ - 函数是否可能只接受给定参数的一组有​​限类型？

Question

我知道如何使用模板处理任何数据类型:

template<typename T>
T myFunc(T data) { ... }

但是有没有办法将允许类型的集合缩小到例如 int 和 char 或 std::string 和 std::wstring，所以编译器会在遇到不允许的参数类型时抛出错误，我会在编译时而不是运行时得到错误？

编辑:非常感谢 ecatmur，现在我理解了整个概念。

template<typename itemA_type, typename itemB_type>
typename std::enable_if<
  (
    std::is_same<itemA_type, int>::value ||
    std::is_same<itemA_type, char>::value) &&
  (
    std::is_same<itemB_type, std::string>::value ||
    std::is_same<itemB_type, std::wstring>::value ||
    std::is_same<itemB_type, const char*>::value ||
    std::is_same<itemB_type, const wchar_t*>::value
  ) ,
  void
>::type
myFunction(itemA_type itemA, itemB_type itemB) {
  using namespace std;
  cout << itemA << itemB << endl;
}

Answer 1

采用这个效用特征类:

template<typename T, typename U, typename... Us>
struct is_any_of
    : std::integral_constant<
        bool,
        std::conditional<
            std::is_same<T,U>::value,
            std::true_type,
            is_any_of<T,Us...>
        >::type::value
      >
{ };

template<typename T, typename U>
struct is_any_of<T,U> : std::is_same<T,U>::type { };

然后你可以在静态断言中使用它:

template<typename T>
T myFunc(T data)
{
    static_assert( is_any_of<T, int, char, std::string>{}, "T not allowed");
}

如果您觉得更合适，可以使用 std::is_convertible 或 std::is_constructible 代替 std::is_same。

Live example.