std::numeric_limits<T>::traps

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (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 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 數值極限介面
執行時型別資訊
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

 

static const bool traps;		(C++11 前)
static constexpr bool traps;		(C++11 起)

對於所有算術型別 T，如果該型別在程式開始時至少有一個值，在用作算術運算的引數時會生成陷阱（trap），則 std::numeric_limits<T>::traps 的值為 true。

標準特化

T	std::numeric_limits<T>::traps 的值
/* 未特化 */	false
bool	false
char	通常為 true
signed char	通常為 true
unsigned char	通常為 true
wchar_t	通常為 true
char8_t (C++20起)	通常為 true
char16_t (C++11起)	通常為 true
char32_t (C++11起)	通常為 true
short	通常為 true
unsigned short	通常為 true
int	通常為 true
unsigned int	通常為 true
long	通常為 true
unsigned long	通常為 true
long long (C++11起)	通常為 true
unsigned long long (C++11起)	通常為 true
float	通常為 false
double	通常為 false
long double	通常為 false

注意

在大多數平臺上，整數除以零總是會產生陷阱，並且對於所有支援值 ​0​ 的整數型別，std::numeric_limits<T>::traps 為 true。唯一的例外是型別 bool：儘管除以 false 會因為從 bool 到 int 的整型提升而產生陷阱，但產生陷阱的是值為零的 int。零不是 bool 型別的值。

在大多數平臺上，浮點異常可以在執行時開啟和關閉（例如，Linux 上的 feenableexcept() 或 Windows 上的 _controlfp），在這種情況下，對於浮點型別，std::numeric_limits<T>::traps 的值反映了程式啟動時浮點陷阱設施的狀態，在大多數現代系統上該值為 false。一個例外是 DEC Alpha 程式，如果編譯時沒有使用 -ieee 選項，其值為 true。

示例

執行此程式碼

#include <iostream>
#include <limits>
 
int main()
{
    std::cout << std::boolalpha
              << "bool:     traps = " << std::numeric_limits<bool>::traps << '\n'
              << "char:     traps = " << std::numeric_limits<char>::traps << '\n'
              << "char16_t: traps = " << std::numeric_limits<char16_t>::traps << '\n'
              << "long:     traps = " << std::numeric_limits<long>::traps << '\n'
              << "float:    traps = " << std::numeric_limits<float>::traps << '\n';
}

可能的輸出

// GCC output:
bool:     traps = true
char:     traps = true
char16_t: traps = true
long:     traps = true
float:    traps = false
 
// Clang output:
bool:     traps = false
char:     traps = true
char16_t: traps = true
long:     traps = true
float:    traps = false

缺陷報告

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

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 497	C++98	不清楚在執行時啟用或停用陷阱時返回什麼 （同上）	返回程式開始時的啟用狀態 （同上）

參閱

浮點環境
tinyness_before [靜態]	確定舍入前檢測微小的浮點型別 (公開靜態成員常量)
has_denorm_loss [靜態]	確定將精度損失檢測為非正規化損失而非不精確結果的浮點型別 (公開靜態成員常量)