C标准的哪些部分证明了整数类型的对应性? [英] Which sections of the C standard prove the integer type correspondence?

问题描述

在C11的最新草案之一中([C11_N1570] )我找不到以下陈述的证明(我相信这是众所周知的)，请参见下文.谁能推荐我参考C标准的特定部分来证明下面的句子?(如果我错了，请纠正我)

In one of the late drafts of C11 ([C11_N1570]) I fail to find a proof to the following statements (which, I believe, are commonly known), see below. Can anybody refer me to particular sections of the C standard that prove the sentences below? (or correct me if I'm wrong)

类型 short 与 signed short (待办事项:链接)相同.
[[un] signed] short 类型与相应的 [[un] signed] short int (TODO:链接)相同.

Type short is the same as signed short (TODO: link).
Type [[un]signed] short is the same as the corresponding [[un]signed] short int (TODO: link).

类型 int 与 signed int (待办事项:链接)相同.

Type int is the same as signed int (TODO: link).

类型 long 与 long int 相同(TODO:链接).
[[un] signed] long 类型与相应的 [[un] signed] long int (TODO:链接)相同.

Type long is the same as long int (TODO: link).
Type [[un]signed] long is the same as the corresponding [[un]signed] long int (TODO: link).

类型 long long 与 long long int 相同(TODO:链接).
类型 [[un] signed] long long 与相应的 [[un] signed] long long int (TODO:链接)相同.

Type long long is the same as long long int (TODO: link).
Type [[un]signed] long long is the same as the corresponding [[un]signed] long long int (TODO: link).

理想情况下，我希望对C和C ++都回答这个问题，现在我对C感兴趣.

Ideally I would prefer this question answered both for C and C++, right now I'm interested in C.

推荐答案

链接到C标准的在线HTML版本:第6.2.5/4节一起使用.

Link to the online HTML version of the C standard: section 6.7.2/2. Possibly, together with section 6.2.5/4.

链接到C ++标准的在线HTML版本: [tab:dcl.type.simple] .

Link to the online HTML version of the C++ standard: [tab:dcl.type.simple].

这篇关于C标准的哪些部分证明了整数类型的对应性?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！