C++模板参数仅限于类（非基本类型）

Question

是否可以指定一个永远不会与基本类型（例如 int）匹配的模板参数？我正在大力对抗歧义。例如：

template<class T> void Function(const T& x) { SetString(x.GetString()); };

只有当 T 中有 GetString 方法时才有效，但是如果编译器看到这个函数，它会尝试使用它，即使 T 只是 int 。

Answer 1

方法一

可以使用std::enable_if，如下所示：

C++11

//this function template will not be used with fundamental types
template<class T> typename std::enable_if<!std::is_fundamental<T>::value>::type Function(const T& x) 
{ 
    SetString(x.GetString()); 
    
};

Demo

C++17

template<class T> typename std::enable_if_t<!std::is_fundamental_v<T>> Function(const T& x) 
{ 
    SetString(x.GetString()); 
    
};

Demo

方法2

我们可以利用SFINAE。这里我们使用decltype和逗号运算符来定义函数模板的返回类型。

//this function template will work if the class type has a const member function named GetString
template <typename T> auto Function (T const & x) -> decltype( x.GetString(), void()) 
{ 
    SetString(x.GetString());   
};

演示

这里我们使用尾随返回类型语法来指定函数模板。

Answer 2

如果问题是 int 不支持 GetString() 方法，也许您可​​以启用它，而不是禁用基本类型的函数（且仅当）模板类型有一个 GetString() const 方法，接受不带参数的调用。

请注意，GetString() 必须为 const，因为 Function() 接收 const 引用，因此您可以调用仅当 GetString() 是 const 方法时，Function() 内的 GetString() 才有效。

下面是一个完整的编译示例。观察 bar1 和 bar2 情况下的失败

#include <string>

void SetString (std::string const &) 
{ }

struct foo // class with a conformat GetString method
{ std::string GetString () const { return "abc"; } };

struct bar1 // class with a not conformant (not const) GetString method
{ std::string GetString () { return "123"; } };

struct bar2 // class with a not conformant (require a int) GetString method
{ std::string GetString (int) const { return "123"; } };

struct bar3 // class without a GetString method
{ };


template <typename T>
auto Function (T const & x) -> decltype( x.GetString(), void())
{ SetString(x.GetString()); }

int main()
{
  Function(foo{}); // compile

  // Function(bar1{}); // compilation error (GetString isn't const)
  // Function(bar2{}); // compilation error (GetString require a int)
  // Function(bar3{}); // compilation error (no GetString method)
  // Function(0);      // compilation error (no GetString method)
}