5

我可以编译并运行一个程序，该程序将一个 long int 文字（尽管它适合 int）分配给一个 int 变量。

$ cat assign-long-to-int.c
#include <stdio.h>

int main(void){
  int i = 1234L;        //assign long to an int
  printf("i: %d\n", i);
  return 0;
}
$ gcc assign-long-to-int.c -o assign-long-to-int
$ ./assign-long-to-int 
i: 1234

我知道 1234 适合 int 但仍希望能够启用警告。我已经通过了所有gcc 选项，但找不到任何合适的。

是否可以针对这种情况生成警告？从这里的讨论和 gcc 选项来看，简短的回答是否定的。这是不可能的。

这样的警告有什么意义吗？在我发布的简单示例中，很明显 1234L 被分配给一个 int 变量，并且它适合。但是，如果声明和赋值被多行代码分开怎么办？编写 1234L 的程序员发出信号，表示他们希望将这个字面整数分配给 long。否则，附加L有什么意义？

在某些情况下，附加 L 确实会产生影响。例如

$ cat sizeof-test.c 
#include <stdio.h>
void main(void){
  printf("%ld\n", sizeof(1234));
  printf("%ld\n", sizeof(1234L));
}
$ ./sizeof-test 
4
8

尽管编译器必须知道 1234L 可以放入 4 字节的 int 中，但它会将其放入 8 字节的长度中。

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/9/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none:hsa
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 9.3.0-17ubuntu1~20.04' --with-bugurl=file:///usr/share/doc/gcc-9/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++,gm2 --prefix=/usr --with-gcc-major-version-only --program-suffix=-9 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-plugin --enable-default-pie --with-system-zlib --with-target-system-zlib=auto --enable-objc-gc=auto --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none=/build/gcc-9-HskZEa/gcc-9-9.3.0/debian/tmp-nvptx/usr,hsa --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 9.3.0 (Ubuntu 9.3.0-17ubuntu1~20.04)
4

3 回答 3

5

编译器应该检查值范围，而不是整数常量的类型。否则，每当我们初始化一个小整数类型时，我们最终都会有很多抱怨，因为没有小于 的小整数常量int。

short i = 32768;例如确实会产生一个带有 clang-Wconstant-conversion但不是 gcc 的警告。有-Wconversion，但在任一编译器上都容易出现误报。

如果您想防止各种整数类型之间的隐式转换，您可能应该改用静态分析器。

于 2021-12-01T14:40:21.850 回答
4

在常量的情况下，编译器可以看到有问题的值适合分配给的类型，所以警告真的没有意义。如果常量超出范围，即5000000000L，那么编译器将看到并生成警告。

然而，编译器可以做的是在将非编译类型常量的整数类型分配给较低类型时发出警告：

long y = 1;
int x = y;

如果您添加-Wconversion标志（不包含在-Wallor中-Wextra），您将收到以下警告：

x1.c:6:5: warning: conversion to ‘int’ from ‘long int’ may alter its value [-Wconversion]
     int x = y;
于 2021-12-01T14:35:08.397 回答
1

编译器将自动在大多数原始整数类型之间进行转换。当您从较大的类型转换为较小的类型时，我很确定这是 C 语言的一个特性，即数字将被截断。

例如，以下代码将打印“0xef”：

#include <stdio.h>
#include <stdint.h>
int main() {
  uint32_t x = 0xdeadbeef;
  uint8_t y = x;
  printf("0x%x\n", y);
  return 0;
}

为了具体解决您的问题，我认为这种行为没有警告，因为这种转换在技术上是 C 语言的定义特性。

于 2021-12-01T14:55:19.303 回答