is-integer-like , is-signed-integer-like

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

迭代器库

迭代器概念
indirectly_readable (C++20) indirectly_writable (C++20) weakly_incrementable (C++20) incrementable (C++20) is-integer-like is-signed-integer-like (C++20)(C++20)	sentinel_for (C++20) sized_sentinel_for (C++20) input_iterator (C++20) output_iterator (C++20) input_or_output_iterator (C++20)	forward_iterator (C++20) bidirectional_iterator (C++20) random_access_iterator (C++20) contiguous_iterator (C++20)
迭代器原语
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	iterator (在 C++17 中弃用) iterator_traits incrementable_traits (C++20) indirectly_readable_traits (C++20)
算法概念与工具
间接可调用概念
indirectly_unary_invocableindirectly_regular_unary_invocable (C++20)(C++20)	indirect_unary_predicate (C++20) indirect_binary_predicate (C++20)	indirect_equivalence_relation (C++20) indirect_strict_weak_order (C++20)
常用算法要求
indirectly_movable (C++20) indirectly_movable_storable (C++20) indirectly_copyable (C++20)	indirectly_copyable_storable (C++20)   indirectly_swappable (C++20) indirectly_comparable (C++20)	permutable (C++20) mergeable (C++20) sortable (C++20)
工具
indirect_result_t (C++20)	projected (C++20)	projected_value_t (C++26)
迭代器适配器
reverse_iterator make_reverse_iterator (C++14) move_iterator (C++11) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20)	front_insert_iterator back_insert_iterator inserter insert_iterator front_inserter back_inserter move_sentinel (C++20)	common_iterator (C++20) counted_iterator (C++20) basic_const_iterator (C++23) const_iterator (C++23) const_sentinel (C++23) make_const_iterator (C++23) make_const_sentinel (C++23)
流迭代器 istream_iterator    ostream_iterator istreambuf_iterator ostreambuf_iterator	迭代器定制点 ranges::iter_move (C++20) ranges::iter_swap (C++20)
迭代器操作 advance distance prev (C++11)   next (C++11) ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)	范围访问 begincbegin (C++11)(C++14) rbegincrbegin (C++14)(C++14)   endcend (C++11)(C++14) rendcrend (C++14)(C++14)   sizessize (C++17)(C++20) empty (C++17) data (C++17)

 

template< class T > constexpr bool /*is-integer-like*/ = /* see description */;	(1)	(自 C++20 起) (仅为阐释目的*)
template< class T > constexpr bool /*is-signed-integer-like*/ = /* see description */;	(2)	(自 C++20 起) (仅为阐释目的*)

1) /*is-integer-like*/<T> 是 true 当且仅当 T 是一个类整数类型。

2) /*is-signed-integer-like*/<T> 是 true 当且仅当 T 是一个带符号类整数类型。

整数类类型

类型 T 是整数类类型，如果它属于实现定义的类型集合，这些类型的行为如同整数类型一样，定义见下文。整数类类型不一定是类类型。

整数类类型可以表示 \(\scriptsize 2^N \)2N
个连续整数，其中 N，一个正整数，称为整数类类型的宽度。

整数类类型可以是带符号的或无符号的

• 带符号整数类类型可以表示 [\(\scriptsize -2^{N-1} \)-2N-1
  , \(\scriptsize 2^{N-1}-1 \)2N-1
  -1] 中的所有整数，其中 N 大于每个带符号整型类型的宽度。
• 无符号整数类类型可以表示 [\(\scriptsize 0 \)0, \(\scriptsize 2^N-1 \)2N
  -1] 中的所有整数，其中 N 大于每个无符号整型类型的宽度。

所有整数类类型都模型化 regular 和 three_way_comparable<std::strong_ordering>。

整数类类型的值初始化对象的值为 ​0​。

整数类类型 T 的表达式 E 可以语境转换为 bool，如同通过 bool(E != T(0))。

类整数类型

除（可能带 cv 限定的）bool 之外的类型，如果它模型化 integral 或它是整数类类型，则为类整数类型。

• 如果类整数类型模型化 signed_integral 或它是带符号整数类类型，则为带符号类整数类型。
• 如果类整数类型模型化 unsigned_integral 或它是无符号整数类类型，则为无符号类整数类型。

必需行为

整数类类型的表达式可以显式转换为任何类整数类型，并隐式转换为任何宽度相等或更大且符号相同的整数类类型。整型类型的表达式可以隐式和显式转换为任何整数类类型。整型和整数类类型之间以及两个整数类类型之间的转换不会通过异常退出。此类转换的结果是目标类型的唯一值，该值与源模 \(\scriptsize 2^N \)2N
同余，其中 N 是目标类型的宽度。

令 Int<T> 表示以下类型

• 如果 T 是整数类类型，则 Int<T> 是唯一的假设扩展整型类型，其符号与 T 相同，宽度也与 T 相同。
• 如果 T 是整型类型，则令 Int<T> 与 T 的类型相同。

给定以下类型、值和运算符

类型	定义
IC	整数类类型
IL	类整数类型
值	定义
a	类型 IC 的对象
b	类型 IL 的对象
c	整型类型的左值
x	类型 Int<IC> 的对象，表示与 a 相同的值
y	类型 Int<IL> 的对象，表示与 b 相同的值
运算符	定义
@=	以下之一：+=、-=、*=、/=、%=、&=、|=、^=、<<= 和 >>=
@	以下之一：+、-、*、/、%、&、|、^、<<、>>、&&、||、==、!=、<、>、<=、>=、<=> 和 ,

如果满足指定的条件，则以下表达式必须是良构的，并具有其指定的结果和效果

表达式	条件	结果	效果
a++	无条件	类型为 IC 的 a 右值，其值等于求值前 a 的值	通过将 1 加到 a 的值来修改它
a--			通过从 a 的值中减去 1 来修改它
++a	表达式等价于 a += 1
--a	表达式等价于 a -= 1
&a	表达式等价于 std::addressof(a)
!a	!x 是良构的	与 !x 相同
+a	+x 是良构的	与 +x 相同，但类型为 IC	与 +x 相同
-a	-x 是良构的	与 -x 相同，但类型为 IC	与 -x 相同
~a	~x 是良构的	与 ~x 相同，但类型为 IC	与 ~x 相同
c @= a	c @= x 是良构的	引用 c 的左值	与 c @= x 相同
a @= b	x @= y 是良构的	引用 a 的左值	与 x @= y 相同，只是将要存储到 x 中的值存储到 a 中
a @ b	x @ y 是良构的	与 x @ y 相同，但结果类型不同 如果 x @ y 的类型为 Int<IC>，则结果的类型为 IC。 如果 x @ y 的类型为 Int<IL>，则结果的类型为 IL。 如果 x @ y 的类型为任何其他类型 T，则结果的类型为 T。	与 x @ y 相同
b @ a	y @ x 是良构的	与 y @ x 相同，但结果类型不同 如果 y @ x 的类型为 Int<IC>，则结果的类型为 IC。 如果 y @ x 的类型为 Int<IL>，则结果的类型为 IL。 如果 y @ x 的类型为任何其他类型 T，则结果的类型为 T。	与 y @ x 相同

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
LWG 3366 (P2393R1)	C++20	整数类类型及其对应的 整型类型之间的转换不能保证产生可表示的值	保证
LWG 3376 (P2393R1)	C++20	整数类类型只能是类类型	也允许 非类类型
LWG 3467	C++20	bool 被认为是类整数类型	排除
LWG 3575 (P2393R1)	C++20	不能保证整数类类型是三路可比较的	保证

参见

weakly_incrementable (C++20)

指定 semiregular 类型可以使用前缀和后缀递增运算符递增 (概念)