c - 有没有办法证明对int的积分提升？

Question

在纯 ansi C 中，有没有办法证明，给定

char c1 = 1, c2 = 2;

以下类型:

c1 + c2

是整数吗？

谢谢。

注意:我知道根据标准它是，但在 C++ 中，您可以使用 typeid 运算符来显示它。我希望能够证明 c1 + c2 是 C 中的一个 int。

Answer 1

你无法证明那样的事情。允许 C 编译器根据自己的喜好替换所有操作，前提是可观察到的结果与抽象机中的结果相同。您无法直接访问加法的结果(作为右值)，因此它的类型是不可观察的，它的大小、宽度或符号也是不可观察的。