c - 移位计数大于类型宽度

Question

我有一个接受 int data_length 并执行以下操作的函数:

unsigned char *message = (unsigned char*)malloc(65535 * sizeof(char));
message[2] = (unsigned char)((data_length >> 56) & 255);

我得到以下信息:

warning: right shift count >= width of type [-Wshift-count-overflow]
   message[2] = (unsigned char)((data_length >> 56) & 255);

该程序按预期工作，但我如何才能删除编译器警告(而不禁用它)？ 类似的问题似乎没有使用变量作为要插入的数据，因此解决方案似乎是将它们转换为 int 或类似的。

Answer 1

标准不允许移动大于相关类型位宽的量，这样做会调用 undefined behavior .

这在 C standard 的第 6.5.7p3 节中有详细说明。关于位移运算符。

The integer promotions are performed on each of the operands. The type of the result is that of the promoted left operand. If the value of the right operand is negative or is greater than or equal to the width of the promoted left operand, the behavior is undefined.

如果程序看起来有效，那是运气。您可以对您的程序进行不相关的更改，或者只是在另一台机器上构建它，突然间一切都会停止。

如果 data_length 的大小是 32 位或更少，那么右移 56 就太大了。您只能移动 0 - 31。