std::numeric_limits<T>::traps

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏(C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) 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

 

staticconstbool traps;		(C++11 前)
staticconstexprbool traps;		(C++11 起)

std::numeric_limits<T>::traps 的值，对所有在程序启动时至少有一个在用作算术运算实参时会生成陷阱的值的算术类型 T 是 true。

标准特化

T	std::numeric_limits<T>::traps 的值
/* 未特化 */	false
bool	false
char	通常是 true
signedchar	通常是 true
unsignedchar	通常是 true
wchar_t	通常是 true
char8_t(C++20 起)	通常是 true
char16_t(C++11 起)	通常是 true
char32_t(C++11 起)	通常是 true
short	通常是 true
unsignedshort	通常是 true
int	通常是 true
unsignedint	通常是 true
long	通常是 true
unsignedlong	通常是 true
longlong(C++11 起)	通常是 true
unsignedlonglong(C++11 起)	通常是 true
float	通常是 false
double	通常是 false
longdouble	通常是 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 输出: bool: traps = true char: traps = true char16_t: traps = true long: traps = true float: traps = false   // Clang 输出: 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 [静态]	鉴别浮点数类型是否检测精度损失为非正规损失，而非不准确结果 (公开静态成员常量)