numeric_limits模板
时间：2010-07-23 来源：itlanger
初学C++的时候，对这个模板很陌生，不知道它到底是做什么用的，今天拿起《C++标准程序库》，出现了它的讨论，所以决定好好研究一番。
1. numeric_limits是什么？
（A）《C++标准程序库》：
一般来说，数值型别的极值是一个与平台相关的特性。C++标准程序库通过template numeric_limits提供这些极值，取代传统C语言，所采用的预处理常数。新的极值概念有两个优点，第一是提供更好的型别安全性，第二是程序员可借此写出一些template以核定这些极值。 （B）MSDN
The template class describes arithmetic properties of built-in numerical types.
The header defines explicit specializations for the types wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double. For these explicit specializations, the member numeric_limits::is_specialized is true, and all relevant members have meaningful values. The program can supply additional explicit specializations. Most member functions of the class describe or test possible implementations of float.
For an arbitrary specialization, no members have meaningful values. A member object that does not have a meaningful value stores zero (or false) and a member function that does not return a meaningful value returns Type(0).
上面的意思是说：
这个模板类描述了内建类型的数值属性。
C++标准库显式地为wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double这些类型提供了特化。对于这些类型来说，is_specialized为true，并且所有的相关的成员（成员变量或成员函数）是有意义的。这个模板也提供其他的特化。大部分的成员函数可以用float型别来描述或测试。
对于一个任意的特化，相关的成员是没有意义的。一个没有意义的对象一般用0（或者false）来表示，一个没有意义的成员函数会返回0.
The template class describes arithmetic properties of built-in numerical types. The header defines explicit specializations for the types wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double. For these explicit specializations, the member numeric_limits::is_specialized is true, and all relevant members have meaningful values. The program can supply additional explicit specializations. Most member functions of the class describe or test possible implementations of float. For an arbitrary specialization, no members have meaningful values. A member object that does not have a meaningful value stores zero (or false) and a member function that does not return a meaningful value returns Type(0). 上面的意思是说： 这个模板类描述了内建类型的数值属性。 C++标准库显式地为wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double这些类型提供了特化。对于这些类型来说，is_specialized为true，并且所有的相关的成员（成员变量或成员函数）是有意义的。这个模板也提供其他的特化。大部分的成员函数可以用float型别来描述或测试。 对于一个任意的特化，相关的成员是没有意义的。一个没有意义的对象一般用0（或者false）来表示，一个没有意义的成员函数会返回0.
（C）我的理解
说白了，它是一个模板类，它主要是把C++当中的一些内建型别进行了封装，比如说numeric_limits<int>是一个特化后的类，从这个类的成员变量与成员函数中，我们可以了解到int的很多特性：可以表示的最大值，最小值，是否是精确的，是否是有符号等等。如果用其他任意（非内建类型）来特化这个模板类，比如string,string怎么可能有最大值？我们从MSDN上可以了解到，这对string，成员变量与成员函数是没有意义的，要么返回0要么为false。
说白了，它是一个模板类，它主要是把C++当中的一些内建型别进行了封装，比如说numeric_limits<int>是一个特化后的类，从这个类的成员变量与成员函数中，我们可以了解到int的很多特性：可以表示的最大值，最小值，是否是精确的，是否是有符号等等。如果用其他任意（非内建类型）来特化这个模板类，比如string,string怎么可能有最大值？我们从MSDN上可以了解到，这对string，成员变量与成员函数是没有意义的，要么返回0要么为false。
2. 小例展示numeric_limits的基本用法：
#include <limits>
#include <iostream>
using namespace std;
int main() {
cout << boolalpha;
cout << "max(short): " << numeric_limits<short>::max() << endl;
cout << "min(short): " << numeric_limits<short>::min() << endl;
cout << "max(int): " << numeric_limits<int>::max() << endl;
cout << "min(int): " << numeric_limits<int>::min() << endl;
cout << "max(long): " << numeric_limits<long>::max() << endl;
cout << "min(long): " << numeric_limits<long>::min() << endl;
cout << endl;
cout << "max(float): " << numeric_limits<float>::max() << endl;
cout << "min(float): " << numeric_limits<float>::min() << endl;
cout << "max(double): " << numeric_limits<double>::max() << endl;
cout << "min(double): " << numeric_limits<double>::min() << endl;
cout << "max(long double): " << numeric_limits<long double>::max() << endl;
cout << "min(long double): " << numeric_limits<long double>::min() << endl;
cout << endl;
cout << "is_signed(char): "
<< numeric_limits<char>::is_signed << endl;
cout << "is_specialized(string): "
<< numeric_limits<string>::is_specialized << endl;
}
#include <limits>
#include <iostream>
using namespace std; int main() {
cout << boolalpha; cout << "max(short): " << numeric_limits<short>::max() << endl;
cout << "min(short): " << numeric_limits<short>::min() << endl; cout << "max(int): " << numeric_limits<int>::max() << endl;
cout << "min(int): " << numeric_limits<int>::min() << endl; cout << "max(long): " << numeric_limits<long>::max() << endl;
cout << "min(long): " << numeric_limits<long>::min() << endl; cout << endl; cout << "max(float): " << numeric_limits<float>::max() << endl;
cout << "min(float): " << numeric_limits<float>::min() << endl; cout << "max(double): " << numeric_limits<double>::max() << endl;
cout << "min(double): " << numeric_limits<double>::min() << endl; cout << "max(long double): " << numeric_limits<long double>::max() << endl;
cout << "min(long double): " << numeric_limits<long double>::min() << endl; cout << endl; cout << "is_signed(char): "
<< numeric_limits<char>::is_signed << endl;
cout << "is_specialized(string): "
<< numeric_limits<string>::is_specialized << endl;
} 我机器上的运行结果：
max(short): 32767
min(short): -32768
max(int): 2147483647
min(int): -2147483648
max(long): 2147483647
min(long): -2147483648
max(float): 3.40282e+038
min(float): 1.17549e-038
max(double): 1.79769e+308
min(double): 2.22507e-308
max(long double): 1.79769e+308
min(long double): 2.22507e-308
is_signed(char): true
is_specialized(string): false
请按任意键继续. . .
max(short): 32767
min(short): -32768
max(int): 2147483647
min(int): -2147483648
max(long): 2147483647
min(long): -2147483648 max(float): 3.40282e+038
min(float): 1.17549e-038
max(double): 1.79769e+308
min(double): 2.22507e-308
max(long double): 1.79769e+308
min(long double): 2.22507e-308 is_signed(char): true
is_specialized(string): false
请按任意键继续. . . 关于为什么float的最小值竟然是正的？我也存在疑问，从结果中，我们看出，min返回的是float型别可以表示的最小的正值， 而不是最小的float数。 从这个例子中，我们差不多了解到numeric_limits的基本用法。 3. 基本成员函数 我以float类型来展示：
#include <limits>
#include <iostream>
using namespace std;
int main() {
cout << boolalpha;
// 可以表示的最大值
cout << "max(float): " << numeric_limits<float>::max() << endl;
// 可以表示的大于0的最小值，其他类型的实现或与此不同
cout << "min(float): " << numeric_limits<float>::min() << endl;
// 标准库是否为其实现了特化
cout << "is_specialized(float): " << numeric_limits<float>::is_specialized << endl;
// 是否是有符号的，即可以表示正负值
cout << "is_signed(float): " << numeric_limits<float>::is_signed << endl;
// 不否是整形的
cout << "is_integer(float): " << numeric_limits<float>::is_integer << endl;
// 是否是精确表示的
cout << "is_exact(float): " << numeric_limits<float>::is_exact << endl;
// 是否存在大小界限
cout << "is_bounded(float): " << numeric_limits<float>::is_bounded << endl;
// 两个比较大的数相加而不会溢出，生成一个较小的值
cout << "is_modulo(float): " << numeric_limits<float>::is_modulo << endl;
// 是否符合某某标准
cout << "is_iec559(float): " << numeric_limits<float>::is_iec559 << endl;
// 不加+-号可以表示的位数
cout << "digits(float): " << numeric_limits<float>::digits << endl;
// 十进制数的个数
cout << "digits10(float): " << numeric_limits<float>::digits10 << endl;
// 一般基数为2
cout << "radix(float): " << numeric_limits<float>::radix << endl;
// 以2为基数的最小指数
cout << "min_exponent(float): " << numeric_limits<float>::min_exponent << endl;
// 以2为基数的最大指数
cout << "max_exponent(float): " << numeric_limits<float>::max_exponent << endl;
// 以10为基数的最小指数
cout << "min_exponent10(float): " << numeric_limits<float>::min_exponent10 << endl;
// 以10为基数的最大指数
cout << "max_exponent10(float): " << numeric_limits<float>::max_exponent10 << endl;
// 1值和最接近1值的差距
cout << "epsilon(float): " << numeric_limits<float>::epsilon() << endl;
// 舍入方式
cout << "round_style(float): " << numeric_limits<float>::round_style << endl;
}
#include <limits>
#include <iostream>
using namespace std; int main() {
cout << boolalpha;
// 可以表示的最大值
cout << "max(float): " << numeric_limits<float>::max() << endl;
// 可以表示的大于0的最小值，其他类型的实现或与此不同
cout << "min(float): " << numeric_limits<float>::min() << endl;
// 标准库是否为其实现了特化
cout << "is_specialized(float): " << numeric_limits<float>::is_specialized << endl;
// 是否是有符号的，即可以表示正负值
cout << "is_signed(float): " << numeric_limits<float>::is_signed << endl;
// 不否是整形的
cout << "is_integer(float): " << numeric_limits<float>::is_integer << endl;
// 是否是精确表示的
cout << "is_exact(float): " << numeric_limits<float>::is_exact << endl;
// 是否存在大小界限
cout << "is_bounded(float): " << numeric_limits<float>::is_bounded << endl;
// 两个比较大的数相加而不会溢出，生成一个较小的值
cout << "is_modulo(float): " << numeric_limits<float>::is_modulo << endl;
// 是否符合某某标准
cout << "is_iec559(float): " << numeric_limits<float>::is_iec559 << endl;
// 不加+-号可以表示的位数
cout << "digits(float): " << numeric_limits<float>::digits << endl;
// 十进制数的个数
cout << "digits10(float): " << numeric_limits<float>::digits10 << endl;
// 一般基数为2
cout << "radix(float): " << numeric_limits<float>::radix << endl;
// 以2为基数的最小指数
cout << "min_exponent(float): " << numeric_limits<float>::min_exponent << endl;
// 以2为基数的最大指数
cout << "max_exponent(float): " << numeric_limits<float>::max_exponent << endl;
// 以10为基数的最小指数
cout << "min_exponent10(float): " << numeric_limits<float>::min_exponent10 << endl;
// 以10为基数的最大指数
cout << "max_exponent10(float): " << numeric_limits<float>::max_exponent10 << endl;
// 1值和最接近1值的差距
cout << "epsilon(float): " << numeric_limits<float>::epsilon() << endl;
// 舍入方式
cout << "round_style(float): " << numeric_limits<float>::round_style << endl;
} 运行结果： view plaincopy to clipboardprint?
max(float): 3.40282e+038
min(float): 1.17549e-038
is_specialized(float): true
is_signed(float): true
is_integer(float): false
is_exact(float): false
is_bounded(float): true
is_modulo(float): false
is_iec559(float): true
digits(float): 24
digits10(float): 6
radix(float): 2
min_exponent(float): -125
max_exponent(float): 128
min_exponent10(float): -37
max_exponent10(float): 38
epsilon(float): 1.19209e-007
round_style(float): 1
请按任意键继续. . .
max(float): 3.40282e+038
min(float): 1.17549e-038
is_specialized(float): true
is_signed(float): true
is_integer(float): false
is_exact(float): false
is_bounded(float): true
is_modulo(float): false
is_iec559(float): true
digits(float): 24
digits10(float): 6
radix(float): 2
min_exponent(float): -125
max_exponent(float): 128
min_exponent10(float): -37
max_exponent10(float): 38
epsilon(float): 1.19209e-007
round_style(float): 1
请按任意键继续. . . 还有一些我自己也没有开清楚，以后再补充吧……
一般来说，数值型别的极值是一个与平台相关的特性。C++标准程序库通过template numeric_limits提供这些极值，取代传统C语言，所采用的预处理常数。新的极值概念有两个优点，第一是提供更好的型别安全性，第二是程序员可借此写出一些template以核定这些极值。 （B）MSDN
The template class describes arithmetic properties of built-in numerical types.
The header defines explicit specializations for the types wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double. For these explicit specializations, the member numeric_limits::is_specialized is true, and all relevant members have meaningful values. The program can supply additional explicit specializations. Most member functions of the class describe or test possible implementations of float.
For an arbitrary specialization, no members have meaningful values. A member object that does not have a meaningful value stores zero (or false) and a member function that does not return a meaningful value returns Type(0).
上面的意思是说：
这个模板类描述了内建类型的数值属性。
C++标准库显式地为wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double这些类型提供了特化。对于这些类型来说，is_specialized为true，并且所有的相关的成员（成员变量或成员函数）是有意义的。这个模板也提供其他的特化。大部分的成员函数可以用float型别来描述或测试。
对于一个任意的特化，相关的成员是没有意义的。一个没有意义的对象一般用0（或者false）来表示，一个没有意义的成员函数会返回0.
The template class describes arithmetic properties of built-in numerical types. The header defines explicit specializations for the types wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double. For these explicit specializations, the member numeric_limits::is_specialized is true, and all relevant members have meaningful values. The program can supply additional explicit specializations. Most member functions of the class describe or test possible implementations of float. For an arbitrary specialization, no members have meaningful values. A member object that does not have a meaningful value stores zero (or false) and a member function that does not return a meaningful value returns Type(0). 上面的意思是说： 这个模板类描述了内建类型的数值属性。 C++标准库显式地为wchar_t, bool, char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long, float, double, and long double这些类型提供了特化。对于这些类型来说，is_specialized为true，并且所有的相关的成员（成员变量或成员函数）是有意义的。这个模板也提供其他的特化。大部分的成员函数可以用float型别来描述或测试。 对于一个任意的特化，相关的成员是没有意义的。一个没有意义的对象一般用0（或者false）来表示，一个没有意义的成员函数会返回0.
（C）我的理解
说白了，它是一个模板类，它主要是把C++当中的一些内建型别进行了封装，比如说numeric_limits<int>是一个特化后的类，从这个类的成员变量与成员函数中，我们可以了解到int的很多特性：可以表示的最大值，最小值，是否是精确的，是否是有符号等等。如果用其他任意（非内建类型）来特化这个模板类，比如string,string怎么可能有最大值？我们从MSDN上可以了解到，这对string，成员变量与成员函数是没有意义的，要么返回0要么为false。
说白了，它是一个模板类，它主要是把C++当中的一些内建型别进行了封装，比如说numeric_limits<int>是一个特化后的类，从这个类的成员变量与成员函数中，我们可以了解到int的很多特性：可以表示的最大值，最小值，是否是精确的，是否是有符号等等。如果用其他任意（非内建类型）来特化这个模板类，比如string,string怎么可能有最大值？我们从MSDN上可以了解到，这对string，成员变量与成员函数是没有意义的，要么返回0要么为false。
2. 小例展示numeric_limits的基本用法：
#include <limits>
#include <iostream>
using namespace std;
int main() {
cout << boolalpha;
cout << "max(short): " << numeric_limits<short>::max() << endl;
cout << "min(short): " << numeric_limits<short>::min() << endl;
cout << "max(int): " << numeric_limits<int>::max() << endl;
cout << "min(int): " << numeric_limits<int>::min() << endl;
cout << "max(long): " << numeric_limits<long>::max() << endl;
cout << "min(long): " << numeric_limits<long>::min() << endl;
cout << endl;
cout << "max(float): " << numeric_limits<float>::max() << endl;
cout << "min(float): " << numeric_limits<float>::min() << endl;
cout << "max(double): " << numeric_limits<double>::max() << endl;
cout << "min(double): " << numeric_limits<double>::min() << endl;
cout << "max(long double): " << numeric_limits<long double>::max() << endl;
cout << "min(long double): " << numeric_limits<long double>::min() << endl;
cout << endl;
cout << "is_signed(char): "
<< numeric_limits<char>::is_signed << endl;
cout << "is_specialized(string): "
<< numeric_limits<string>::is_specialized << endl;
}
#include <limits>
#include <iostream>
using namespace std; int main() {
cout << boolalpha; cout << "max(short): " << numeric_limits<short>::max() << endl;
cout << "min(short): " << numeric_limits<short>::min() << endl; cout << "max(int): " << numeric_limits<int>::max() << endl;
cout << "min(int): " << numeric_limits<int>::min() << endl; cout << "max(long): " << numeric_limits<long>::max() << endl;
cout << "min(long): " << numeric_limits<long>::min() << endl; cout << endl; cout << "max(float): " << numeric_limits<float>::max() << endl;
cout << "min(float): " << numeric_limits<float>::min() << endl; cout << "max(double): " << numeric_limits<double>::max() << endl;
cout << "min(double): " << numeric_limits<double>::min() << endl; cout << "max(long double): " << numeric_limits<long double>::max() << endl;
cout << "min(long double): " << numeric_limits<long double>::min() << endl; cout << endl; cout << "is_signed(char): "
<< numeric_limits<char>::is_signed << endl;
cout << "is_specialized(string): "
<< numeric_limits<string>::is_specialized << endl;
} 我机器上的运行结果：
max(short): 32767
min(short): -32768
max(int): 2147483647
min(int): -2147483648
max(long): 2147483647
min(long): -2147483648
max(float): 3.40282e+038
min(float): 1.17549e-038
max(double): 1.79769e+308
min(double): 2.22507e-308
max(long double): 1.79769e+308
min(long double): 2.22507e-308
is_signed(char): true
is_specialized(string): false
请按任意键继续. . .
max(short): 32767
min(short): -32768
max(int): 2147483647
min(int): -2147483648
max(long): 2147483647
min(long): -2147483648 max(float): 3.40282e+038
min(float): 1.17549e-038
max(double): 1.79769e+308
min(double): 2.22507e-308
max(long double): 1.79769e+308
min(long double): 2.22507e-308 is_signed(char): true
is_specialized(string): false
请按任意键继续. . . 关于为什么float的最小值竟然是正的？我也存在疑问，从结果中，我们看出，min返回的是float型别可以表示的最小的正值， 而不是最小的float数。 从这个例子中，我们差不多了解到numeric_limits的基本用法。 3. 基本成员函数 我以float类型来展示：
#include <limits>
#include <iostream>
using namespace std;
int main() {
cout << boolalpha;
// 可以表示的最大值
cout << "max(float): " << numeric_limits<float>::max() << endl;
// 可以表示的大于0的最小值，其他类型的实现或与此不同
cout << "min(float): " << numeric_limits<float>::min() << endl;
// 标准库是否为其实现了特化
cout << "is_specialized(float): " << numeric_limits<float>::is_specialized << endl;
// 是否是有符号的，即可以表示正负值
cout << "is_signed(float): " << numeric_limits<float>::is_signed << endl;
// 不否是整形的
cout << "is_integer(float): " << numeric_limits<float>::is_integer << endl;
// 是否是精确表示的
cout << "is_exact(float): " << numeric_limits<float>::is_exact << endl;
// 是否存在大小界限
cout << "is_bounded(float): " << numeric_limits<float>::is_bounded << endl;
// 两个比较大的数相加而不会溢出，生成一个较小的值
cout << "is_modulo(float): " << numeric_limits<float>::is_modulo << endl;
// 是否符合某某标准
cout << "is_iec559(float): " << numeric_limits<float>::is_iec559 << endl;
// 不加+-号可以表示的位数
cout << "digits(float): " << numeric_limits<float>::digits << endl;
// 十进制数的个数
cout << "digits10(float): " << numeric_limits<float>::digits10 << endl;
// 一般基数为2
cout << "radix(float): " << numeric_limits<float>::radix << endl;
// 以2为基数的最小指数
cout << "min_exponent(float): " << numeric_limits<float>::min_exponent << endl;
// 以2为基数的最大指数
cout << "max_exponent(float): " << numeric_limits<float>::max_exponent << endl;
// 以10为基数的最小指数
cout << "min_exponent10(float): " << numeric_limits<float>::min_exponent10 << endl;
// 以10为基数的最大指数
cout << "max_exponent10(float): " << numeric_limits<float>::max_exponent10 << endl;
// 1值和最接近1值的差距
cout << "epsilon(float): " << numeric_limits<float>::epsilon() << endl;
// 舍入方式
cout << "round_style(float): " << numeric_limits<float>::round_style << endl;
}
#include <limits>
#include <iostream>
using namespace std; int main() {
cout << boolalpha;
// 可以表示的最大值
cout << "max(float): " << numeric_limits<float>::max() << endl;
// 可以表示的大于0的最小值，其他类型的实现或与此不同
cout << "min(float): " << numeric_limits<float>::min() << endl;
// 标准库是否为其实现了特化
cout << "is_specialized(float): " << numeric_limits<float>::is_specialized << endl;
// 是否是有符号的，即可以表示正负值
cout << "is_signed(float): " << numeric_limits<float>::is_signed << endl;
// 不否是整形的
cout << "is_integer(float): " << numeric_limits<float>::is_integer << endl;
// 是否是精确表示的
cout << "is_exact(float): " << numeric_limits<float>::is_exact << endl;
// 是否存在大小界限
cout << "is_bounded(float): " << numeric_limits<float>::is_bounded << endl;
// 两个比较大的数相加而不会溢出，生成一个较小的值
cout << "is_modulo(float): " << numeric_limits<float>::is_modulo << endl;
// 是否符合某某标准
cout << "is_iec559(float): " << numeric_limits<float>::is_iec559 << endl;
// 不加+-号可以表示的位数
cout << "digits(float): " << numeric_limits<float>::digits << endl;
// 十进制数的个数
cout << "digits10(float): " << numeric_limits<float>::digits10 << endl;
// 一般基数为2
cout << "radix(float): " << numeric_limits<float>::radix << endl;
// 以2为基数的最小指数
cout << "min_exponent(float): " << numeric_limits<float>::min_exponent << endl;
// 以2为基数的最大指数
cout << "max_exponent(float): " << numeric_limits<float>::max_exponent << endl;
// 以10为基数的最小指数
cout << "min_exponent10(float): " << numeric_limits<float>::min_exponent10 << endl;
// 以10为基数的最大指数
cout << "max_exponent10(float): " << numeric_limits<float>::max_exponent10 << endl;
// 1值和最接近1值的差距
cout << "epsilon(float): " << numeric_limits<float>::epsilon() << endl;
// 舍入方式
cout << "round_style(float): " << numeric_limits<float>::round_style << endl;
} 运行结果： view plaincopy to clipboardprint?
max(float): 3.40282e+038
min(float): 1.17549e-038
is_specialized(float): true
is_signed(float): true
is_integer(float): false
is_exact(float): false
is_bounded(float): true
is_modulo(float): false
is_iec559(float): true
digits(float): 24
digits10(float): 6
radix(float): 2
min_exponent(float): -125
max_exponent(float): 128
min_exponent10(float): -37
max_exponent10(float): 38
epsilon(float): 1.19209e-007
round_style(float): 1
请按任意键继续. . .
max(float): 3.40282e+038
min(float): 1.17549e-038
is_specialized(float): true
is_signed(float): true
is_integer(float): false
is_exact(float): false
is_bounded(float): true
is_modulo(float): false
is_iec559(float): true
digits(float): 24
digits10(float): 6
radix(float): 2
min_exponent(float): -125
max_exponent(float): 128
min_exponent10(float): -37
max_exponent10(float): 38
epsilon(float): 1.19209e-007
round_style(float): 1
请按任意键继续. . . 还有一些我自己也没有开清楚，以后再补充吧……
相关阅读 更多 +
