为什么不从返回int32_t的函数返回0x80000000导致警告？

考虑：

int32_t f() { return 0x80000000; }

为什么不会导致编译器警告（至少在GCC上）？ 0x80000000超出int32_t的范围（ INT32_MAX为0x7fffffff ）。我相信这应该导致一个隐含的演员 – 这是正确的吗？

进一步的评论：

 if (f() == 0x80000000) foo();

以上原因导致GCC没有任何警告。然而

 int32 ret = f(); if (ret == 0x80000000) baz();

导致“警告：有符号和无符号整数表达式之间的比较”。我相信这是因为0x80000000的类型为unsigned int因为它超出了int的范围。那是对的吗？

假设我的假设都不对，为什么第一次比较不会引起警告？

相关的警告开关似乎是-Wconversion ，它未被-Wextra激活。

我相信这是因为0x80000000的类型为unsigned int，因为它超出了int的范围。那是对的吗？

是的，因为它是hex整数文字，它的类型将是这些类型中最窄的，能够表示文字的值：