仅为基本数据类型制作模板

Question

如何使模板只接受基本数据类型。

template <typename T> 
void GetMaxValue( T& x ) 
{ 
//... Finds max Value
} 

在上面的函数GetMaxValue中，我们能够传递任意值，而不会出现任何错误。

但是std函数std::numeric_limits<T>::max()已经处理了它。例如：

auto max = std::numeric_limits< std::map<int,int> >::max();

会给出一个错误error C2440: '<function-style-cast>' : cannot convert from 'int' to 'std::map<_Kty,_Ty>'

Answer 1

具有C++20中的约束：

#include <type_traits>
template <class T> 
requires std::is_arithmetic_v<T>
void GetMaxValue( T& x ) 
{ 
//... Finds max Value
}

用法：

int a = 0;
GetMaxValue(a); // fine

std::vector<int> b;
GetMaxValue(b); // compiler error

演示

如果使用std::enable_if，则为：

template <class T, std::enable_if_t<std::is_arithmetic_v<T>, int> = 0> 
void GetMaxValue( T& x ) 
{ 
//... Finds max Value
}

演示2

预约束前的错误消息很难读懂：

error: no matching function for call to 'GetMaxValue(std::vector<int>&)'
  |     GetMaxValue(b); // compiler error
  |                  ^
Note: candidate: 'template<class T, typename std::enable_if<is_arithmetic_v<T>, int>::type <anonymous> > void GetMaxValue(T&)'
  | void GetMaxValue( T& x )
  |      ^~~~~~~~~~~
note:   template argument deduction/substitution failed:
error: no type named 'type' in 'struct std::enable_if<false, int>'
  | template <class T, std::enable_if_t<std::is_arithmetic_v<T>, int> = 0>
  |                                                                     ^
In instantiation of 'void GetMaxValue(T&) [with T = int; typename std::enable_if<is_arithmetic_v<T>, int>::type <anonymous> = 0]'

vs

error: cannot call function 'void GetMaxValue(T&) [with T = std::vector<int>]'
  |     GetMaxValue(b); // compiler error
  |                  ^
note: constraints not satisfied
In function 'void GetMaxValue(T&) [with T = std::vector<int>]':
    required by the constraints of 'template<class T>  requires  is_arithmetic_v<T> void GetMaxValue(T&)'
note: the expression 'is_arithmetic_v<T>' evaluated to 'false'
  | requires std::is_arithmetic_v<T>
  |          ~~~~~^~~~~~~~~~~~~~~~~~