c++ - C 标准的哪些部分证明了整数类型的对应关系？

Question

在 C11 的最新草案之一（[C11_N1570]）中，我找不到以下陈述的证明（我相信这些陈述是众所周知的），见下文。任何人都可以向我推荐证明以下句子的 C 标准的特定部分吗？（如果我错了，请纠正我）

类型short与signed short（TODO：链接）相同。
类型[[un]signed] short与对应的相同[[un]signed] short int（TODO:link）。

类型int与signed int（TODO：链接）相同。

类型long与long int（TODO：链接）相同。
类型[[un]signed] long与对应的相同[[un]signed] long int（TODO:link）。

类型long long与long long int（TODO：链接）相同。
类型[[un]signed] long long与对应的相同[[un]signed] long long int（TODO:link）。

理想情况下，我更愿意为 C 和 C++ 回答这个问题，现在我对 C 很感兴趣。

标签： c++clanguage-lawyerc11

Answer 1

链接到 C 标准的在线 HTML 版本：第 6.7.2/2 节。可能与第 6.2.5/4 节一起。

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