类template :: std :: numeric_limits< T>只能为类型T实例化,这可以是函数的返回值,因为它总是定义成员函数,如static constexpr T min()noexcept {return T(); }(有关c 03或c 11中非专门版本的更多信息,请参阅
http://www.cplusplus.com/reference/limits/numeric_limits/).
如果T是int [2],则实例化将立即导致编译时错误,因为int [2]不能是函数的返回值.
Wraps :: std :: numeric_limits与安全的版本很容易 – 如果一种方法来确定是否可以安全地实例化:: std :: numeric_limits是已知的.这是必要的,因为如果可能,应该访问有问题的功能.
测试的明显的(显然是错误的)方式:: std :: numeric_limits< T> :: is_specialised不起作用,因为它需要实例化有问题的类模板.
有没有方法来测试实例化的安全性,最好不列举所有已知的坏类型？甚至可以用一般技术来确定任何类模板实例化是否安全？
解决方法
关于决定是否可以为函数返回类型的类型特征,我将如何处理它：
#include <type_traits>
template<typename T,typename = void>
struct can_be_returned_from_function : std::false_type { };
template<typename T>
struct can_be_returned_from_function<T,typename std::enable_if<!std::is_abstract<T>::value,decltype(std::declval<T()>(),(void)0)>::type>
: std::true_type { };
另一方面,as suggested by Tom Knapen in the comments,您可能希望使用std::is_arithmetic标准类型特征来确定是否可以为某种类型专门设计numeric_limits.
根据C11标准对numeric_limits类模板的第18.3.2.1/2段,其实：
Specializations shall be provided for each arithmetic type,both floating point and integer,including
bool.
The memberis_specializedshall be true for all such specializations ofnumeric_limits.
