rgh*_*rgh 5 c gcc gcc-warning gcc9
我可以编译并运行一个程序,该程序将一个 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
Run Code Online (Sandbox Code Playgroud)
我知道 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
Run Code Online (Sandbox Code Playgroud)
尽管编译器必须知道 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)
Run Code Online (Sandbox Code Playgroud)
编译器应该检查整型常量的值范围,而不是类型。否则,每当我们初始化一个小整数类型时,我们都会收到很多抱怨,因为没有小于 的小整数常量int
。
short i = 32768;
例如,使用 clang 会产生警告-Wconstant-conversion
,但使用 gcc 不会产生警告。有-Wconversion
,但任一编译器都容易出现误报。
如果您想防止各种整数类型之间的隐式转换,您可能应该使用静态分析器。
对于常量,编译器可以看到所讨论的值适合分配给的类型,因此警告实际上没有意义。如果常量超出范围,即5000000000L
,则编译器将看到该情况并生成警告。
然而,编译器可以做的是,当将不是编译类型常量的整数类型分配给较低类型时发出警告:
\nlong y = 1;\nint x = y;\n
Run Code Online (Sandbox Code Playgroud)\n如果您添加该-Wconversion
标志(不包含在 或 中-Wall
)-Wextra
,您将收到此警告:
long y = 1;\nint x = y;\n
Run Code Online (Sandbox Code Playgroud)\n