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

方法二

我们可以使用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());   
};

Demo

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

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)
}