c++ - 如何使用模板参数包实现仅限几种类型的SFINAE

Question

我需要启用std::string和int，但要使用参数包。

template <typename... ParamType, typename = typename std::enable_if<std::is_same<ParamType..., std::string>::value || std::is_same<ParamType..., int>::value>::type>
static inline void Log(const ParamType & ... args)
{

}

但是我打电话时有错误

Log("hello"s, "world"s); //syntax ERROR 

所需结果

Log(4,3,"Hello"s); //OK
Log("Hello"s); //OK
Log(5); //OK

Answer 1

该解决方案使用了一些C++ 17-ism(std::void_t)。如果需要，可以使用各种实现针对早期C++标准的实现:

template <typename ... ParamType,
      typename = std::void_t<std::enable_if_t
                 <std::is_same_v<ParamType, std::string> ||
                  std::is_same_v<ParamType, int>>...>>
static inline void Log(const ParamType & ... args)
{

}