奇怪的 GCC short int 转换警告

Question

我有一点 C 代码，完全是这样的：

short int fun16(void){
    short int a = 2;
    short int b = 2;
    return a+b;
}

当我尝试使用 GCC 编译它时，我收到警告：

warning: conversion to 'short int' from 'int' may alter its value [-Wconversion]
  return a+b;
          ^

虽然没有可见的转换。两个操作数都很短，甚至返回值也很短。那么，有什么收获呢？

Answer 1

当您进行算术计算时，操作数受制于“通常的算术转换”（Acme's answer 中引用的“整数提升”的超集——他打败了我，但我还是会继续发布： -))。这些将short int 扩展为普通的int，所以：

a + b

计算相同的结果：

((int) a) + ((int) b)

return 语句必须将这个int 缩小为short int，这就是 gcc 产生警告的地方。

Answer 2

引用标准（§6.3.1.1 ¶2）：

无论int 或unsigned int 可以在表达式中使用以下内容 使用：

• 具有整数类型（int 或 unsigned int 除外）的对象或表达式，其整数 转化排名小于等于int和unsigned int的排名。
• _Bool、int、signed int 或 unsigned int 类型的位字段。

如果int 可以表示原始类型的所有值，则该值为 转换为int；否则，它将转换为unsigned int。 这些称为整数促销。所有其他类型都是 整数促销保持不变。

-Wconversion 标志警告：

警告可能会改变值的隐式转换。这包括 实数和整数之间的转换，例如 abs (x) 当 x 是 double 时； 有符号和无符号之间的转换，例如 unsigned ui = -1; 和 转换为较小的类型，例如 sqrtf (M_PI)。不要警告 像 abs ((int) x) 和 ui = (unsigned) -1 这样的显式转换，或者如果 值不会被abs (2.0) 中的转换改变。警告 关于有符号和无符号整数之间的转换可以禁用 通过使用-Wno-sign-conversion。

Answer 3

来自C 编程语言部分2.7 类型转换

• 如果任一操作数为long double，则将另一个转换为long double。
• 否则，如果任一操作数为double，则将另一个转换为double。
• 否则，如果任一操作数为float，则将另一个转换为float。
• 否则，将char 和short 转换为int。
• 然后，如果任一操作数为long，则将另一个转换为long。

Answer 4

当两个操作数都是short 时，它们在算术运算中被隐式提升为int。

Answer 5

如果一个int可以表示原始类型的所有值，则将该值转换为一个int；否则，它将转换为无符号整数。这些被称为整数促销。整数提升不会改变所有其他类型。

参考以下帖子： Why must a short be converted to an int before arithmetic operations in C and C++?

Answer 6

GCC 只会对生成临时变量的操作执行这些隐式升级为 int：

++i
i += 2

不会生成临时文件。

i = j + 1

会的。

以下代码：

std::cout << sizeof(i) << " "
<< sizeof(i + 1) << " " 
<< sizeof(i + static_cast<unsigned short>(1)) << " " 
<< sizeof(static_cast<unsigned short>(i) + static_cast<unsigned short>(1)) << " " 
<< sizeof(++i) << " " 
<< sizeof(i + 0x0F) << " " 
<< sizeof(i += 1) << std::endl;

将在发布或调试模式下提供以下输出： 2 4 4 4 2 4 2

表明虽然有些事情可能会抑制警告，但它们实际上并没有阻止编译器升级为 int。 因此，要丢失警告，请停止生成临时对象。