std::numeric_limits

 

C++

編譯器支援

獨立式與託管式

語言

標準函式庫

標準函式庫標頭檔

具名要求

特性測試巨集 (C++20)

語言支援函式庫

概念函式庫 (C++20)

診斷函式庫

記憶體管理函式庫

元編程函式庫 (C++11)

通用公用程式函式庫

容器函式庫

疊代器函式庫

Ranges 函式庫 (C++20)

演算法函式庫

字串函式庫

文本處理函式庫

數值函式庫

日期與時間函式庫

輸入/輸出函式庫

檔案系統函式庫 (C++17)

並行支援函式庫 (C++11)

執行控制函式庫 (C++26)

技術規範

符號索引

外部函式庫

 

工具程式庫

語言支援 型別支援 (基本型別, RTTI) 函式庫特性測試巨集 (C++20) 程式公用程式 可變參數函式 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 協程支援 (C++20) 合約支援 (C++26) 三向比較 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用公用程式 函式物件 位元操作 (C++20) bitset hash (C++11) 關係運算子 (C++20 中棄用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整數比較函式 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Swap 與 型別操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 通用詞彙型別 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

型別支援

基礎型別
固定寬度整數型別 (C++11)
固定寬度浮點數型別 (C++23)
ptrdiff_t size_t max_align_t (C++11)     byte (C++17)	nullptr_t (C++11) offsetof NULL
數值極限
numeric_limits
C 數值極限介面
執行時期型別資訊 (RTTI)
type_info type_index (C++11)	bad_typeid bad_cast

 

std::numeric_limits

靜態常數

numeric_limits::is_specialized

numeric_limits::is_signed

numeric_limits::is_integer

numeric_limits::is_exact

numeric_limits::has_infinity

numeric_limits::has_quiet_NaN

numeric_limits::has_signaling_NaN

numeric_limits::has_denorm

numeric_limits::has_denorm_loss

numeric_limits::round_style

numeric_limits::is_iec559

numeric_limits::is_bounded

numeric_limits::is_modulo

numeric_limits::digits

numeric_limits::digits10

numeric_limits::max_digits10 (C++11)

numeric_limits::radix

numeric_limits::min_exponent

numeric_limits::min_exponent10

numeric_limits::max_exponent

numeric_limits::max_exponent10

numeric_limits::traps

numeric_limits::tinyness_before

靜態成員函式

numeric_limits::min

numeric_limits::lowest (C++11)

numeric_limits::max

numeric_limits::epsilon

numeric_limits::round_error

numeric_limits::infinity

numeric_limits::quiet_NaN

numeric_limits::signaling_NaN

numeric_limits::denorm_min

輔助型別

float_round_style

float_denorm_style

 

定義於標頭 <limits>
template< class T > class numeric_limits;

std::numeric_limits 類別範本提供了一種標準化的方式，用來查詢算術型別的各種屬性（例如：型別 int 可表示的最大值為 std::numeric_limits<int>::max()）。

此資訊透過 std::numeric_limits 範本的特製化（specializations）提供。標準程式庫為所有算術型別提供了特製化（此處僅列出 cv-未修飾算術型別的特製化）。

定義於標頭 <limits>
template<> class numeric_limits<bool>;
template<> class numeric_limits<char>;
template<> class numeric_limits<signed char>;
template<> class numeric_limits<unsigned char>;
template<> class numeric_limits<wchar_t>;
template<> class numeric_limits<char8_t>;		(自 C++20 起)
template<> class numeric_limits<char16_t>;		（C++11 起）
template<> class numeric_limits<char32_t>;		（C++11 起）
template<> class numeric_limits<short>;
template<> class numeric_limits<unsigned short>;
template<> class numeric_limits<int>;
template<> class numeric_limits<unsigned int>;
template<> class numeric_limits<long>;
template<> class numeric_limits<unsigned long>;
template<> class numeric_limits<long long>;		（C++11 起）
template<> class numeric_limits<unsigned long long>;		（C++11 起）
template<> class numeric_limits<float>;
template<> class numeric_limits<double>;
template<> class numeric_limits<long double>;

對於 cv-修飾型別 cv T，std::numeric_limits 特製化的各成員值，與對應的非修飾型別 T 之特製化成員值相等。例如，std::numeric_limits<int>::digits 等於 std::numeric_limits<const int>::digits。

算術型別的別名（例如 std::size_t 或 std::streamsize）也可以使用 std::numeric_limits 型別特性進行檢查。

非算術標準型別（例如 std::complex<T> 或 std::nullptr_t）不具有特製化。

若實作定義了任何類整數型別 (integer-class types)，也必須為其提供 std::numeric_limits 的特製化。

(自 C++20 起)

實作可能會為特定於實作的型別提供 std::numeric_limits 特製化：例如 GCC 提供了 std::numeric_limits<__int128>。非標準程式庫亦可新增特製化，例如 OpenEXR 針對 16 位元浮點型別提供了 std::numeric_limits<half>。

範本參數

T

-

用於檢索數值屬性的型別

成員常數

is_specialized [靜態]	識別已特製化 std::numeric_limits 的型別 (公開靜態成員常數)
is_signed [靜態]	識別帶號 (signed) 型別 (公開靜態成員常數)
is_integer [靜態]	識別整數型別 (公開靜態成員常數)
is_exact [靜態]	識別精確型別 (公開靜態成員常數)
has_infinity [靜態]	識別可表示特殊值「正無窮大」的浮點型別 (公開靜態成員常數)
has_quiet_NaN [靜態]	識別可表示特殊值「靜默非數」(quiet NaN) 的浮點型別 (公開靜態成員常數)
has_signaling_NaN [靜態]	識別可表示特殊值「信號非數」(signaling NaN) 的浮點型別 (公開靜態成員常數)
has_denorm [靜態]	識別該浮點型別所使用的去標準化 (denormalization) 風格 (公開靜態成員常數)
has_denorm_loss [靜態]	識別將精度損失檢測為去標準化損失，而非不精確結果的浮點型別 (公開靜態成員常數)
round_style [靜態]	識別該型別所使用的捨入 (rounding) 風格 (公開靜態成員常數)
is_iec559 [靜態]	識別 IEC 559/IEEE 754 浮點型別 (公開靜態成員常數)
is_bounded [靜態]	識別表示有限值集合的型別 (公開靜態成員常數)
is_modulo [靜態]	識別使用模數算術處理溢出的型別 (公開靜態成員常數)
digits [靜態]	可以無損表示的 radix 位數 (公開靜態成員常數)
digits10 [靜態]	可以無損表示的十進位位數 (公開靜態成員常數)
max_digits10 [靜態] (C++11)	區分該型別所有值所需的十進位位數 (公開靜態成員常數)
radix [靜態]	該型別表示法所使用的基數 (radix) 或整數底數 (公開靜態成員常數)
min_exponent [靜態]	最小有效歸一化浮點值的基數負冪次再加一 (公開靜態成員常數)
min_exponent10 [靜態]	為有效歸一化浮點值的最小十進位負冪次 (公開靜態成員常數)
max_exponent [靜態]	最大有限浮點值的基數正冪次再加一 (公開靜態成員常數)
max_exponent10 [靜態]	為有效有限浮點值的最大十進位正冪次 (公開靜態成員常數)
traps [靜態]	識別可能導致算術運算觸發陷阱 (trap) 的型別 (公開靜態成員常數)
tinyness_before [靜態]	識別在捨入前檢測微小值 (tinyness) 的浮點型別 (公開靜態成員常數)

成員函式

min [靜態]	回傳給定非浮點型別的最小有限值，或給定浮點型別的最小正歸一化值 (公開靜態成員函式)
lowest [靜態] (C++11)	回傳給定型別的最低有限值，即帶號型別的最負值，無符號型別的 ​0​ (公開靜態成員函式)
max [靜態]	回傳給定型別的最大有限值 (公開靜態成員函式)
epsilon [靜態]	回傳 1.0 與給定浮點型別下一個可表示值之間的差 (公開靜態成員函式)
round_error [靜態]	回傳給定浮點型別的最大捨入誤差 (公開靜態成員函式)
infinity [靜態]	回傳給定浮點型別的正無窮大值 (公開靜態成員函式)
quiet_NaN [靜態]	回傳給定浮點型別的靜默 NaN 值 (公開靜態成員函式)
signaling_NaN [靜態]	回傳給定浮點型別的信號 NaN 值 (公開靜態成員函式)
denorm_min [靜態]	回傳給定浮點型別的最小正非標準化 (subnormal) 值 (公開靜態成員函式)

輔助類別

float_round_style	指示浮點數捨入模式 (列舉)
float_denorm_style	指示浮點數非標準化模式 (列舉)

與 C 程式庫巨集常數的關係

特製化 std::numeric_limits<T> 其中 T 為	成員
	min()	lowest() (C++11)	max()	radix
bool	false	false	true	2
char	CHAR_MIN	CHAR_MIN	CHAR_MAX	2
signed char	SCHAR_MIN	SCHAR_MIN	SCHAR_MAX	2
unsigned char	​0​	​0​	UCHAR_MAX	2
wchar_t	WCHAR_MIN	WCHAR_MIN	WCHAR_MAX	2
char8_t	​0​	​0​	UCHAR_MAX	2
char16_t	​0​	​0​	UINT_LEAST16_MAX	2
char32_t	​0​	​0​	UINT_LEAST32_MAX	2
short	SHRT_MIN	SHRT_MIN	SHRT_MAX	2
signed short
unsigned short	​0​	​0​	USHRT_MAX	2
int	INT_MIN	INT_MIN	INT_MAX	2
signed int
unsigned int	​0​	​0​	UINT_MAX	2
long	LONG_MIN	LONG_MIN	LONG_MAX	2
signed long
unsigned long	​0​	​0​	ULONG_MAX	2
long long	LLONG_MIN	LLONG_MIN	LLONG_MAX	2
signed long long
unsigned long long	​0​	​0​	ULLONG_MAX	2

特製化 std::numeric_limits<T> 其中 T 為	成員
	denorm_min()	min()	lowest() (C++11)	max()	epsilon()	digits	digits10
float	FLT_TRUE_MIN	FLT_MIN	-FLT_MAX	FLT_MAX	FLT_EPSILON	FLT_MANT_DIG	FLT_DIG
double	DBL_TRUE_MIN	DBL_MIN	-DBL_MAX	DBL_MAX	DBL_EPSILON	DBL_MANT_DIG	DBL_DIG
long double	LDBL_TRUE_MIN	LDBL_MIN	-LDBL_MAX	LDBL_MAX	LDBL_EPSILON	LDBL_MANT_DIG	LDBL_DIG

特製化 std::numeric_limits<T> 其中 T 為	成員（續）
	min_exponent	min_exponent10	max_exponent	max_exponent10	radix
float	FLT_MIN_EXP	FLT_MIN_10_EXP	FLT_MAX_EXP	FLT_MAX_10_EXP	FLT_RADIX
double	DBL_MIN_EXP	DBL_MIN_10_EXP	DBL_MAX_EXP	DBL_MAX_10_EXP	FLT_RADIX
long double	LDBL_MIN_EXP	LDBL_MIN_10_EXP	LDBL_MAX_EXP	LDBL_MAX_10_EXP	FLT_RADIX

範例

執行此程式碼

#include <iostream>
#include <limits>
 
int main() 
{
    std::cout << "type\t│ lowest()\t│ min()\t\t│ max()\n"
              << "bool\t│ "
              << std::numeric_limits<bool>::lowest() << "\t\t│ "
              << std::numeric_limits<bool>::min() << "\t\t│ "
              << std::numeric_limits<bool>::max() << '\n'
              << "uchar\t│ "
              << +std::numeric_limits<unsigned char>::lowest() << "\t\t│ "
              << +std::numeric_limits<unsigned char>::min() << "\t\t│ "
              << +std::numeric_limits<unsigned char>::max() << '\n'
              << "int\t│ "
              << std::numeric_limits<int>::lowest() << "\t│ "
              << std::numeric_limits<int>::min() << "\t│ "
              << std::numeric_limits<int>::max() << '\n'
              << "float\t│ "
              << std::numeric_limits<float>::lowest() << "\t│ "
              << std::numeric_limits<float>::min() << "\t│ "
              << std::numeric_limits<float>::max() << '\n'
              << "double\t│ "
              << std::numeric_limits<double>::lowest() << "\t│ "
              << std::numeric_limits<double>::min() << "\t│ "
              << std::numeric_limits<double>::max() << '\n';
}

可能輸出

type	│ lowest()	│ min()		│ max()
bool	│ 0		│ 0		│ 1
uchar	│ 0		│ 0		│ 255
int	│ -2147483648	│ -2147483648	│ 2147483647
float	│ -3.40282e+38	│ 1.17549e-38	│ 3.40282e+38
double	│ -1.79769e+308	│ 2.22507e-308	│ 1.79769e+308

缺陷報告

下列更改行為的缺陷報告追溯應用於之前的 C++ 標準。

DR	應用於	出版時的行為	正確的行為
LWG 201	C++98	需提供所有基礎型別的特製化	排除了非算術型別
LWG 559	C++98	之前不清楚 std::numeric_limits 對於 cv-修飾型別的特製化是否與 對應的 cv-未修飾型別的特製化行為相同	它們具有 相同的行為

參見

• 固定寬度整數型別
• 算術類型
• C++ 型別系統概覽
• 型別支援（基本型別、RTTI、型別特性）
• C 數值極限介面