为什么 gcc 不发出格式警告？

Question

#include <stdio.h>

void a(signed char a) {
    printf("%u\n", a);
}

void b(short b) {
    printf("%u\n", b);
}

void c(int c) {
    printf("%u\n", c);
}

void d(long d) {
    printf("%u\n", d);
}

void e(long long e) {
    printf("%u\n", e);
}

int main() {
    a(-1); //no warning
    b(-1); //no warning
    c(-1); //no warning
    d(-1); //warning
    e(-1); //warning
    return 0;
}

使用gcc -std=c17 -pedantic -Wall -Wextra test.c 和g++ -std=c++17 -pedantic -Wall -Wextra test.cpp 使用gcc 11.2.0 编译和测试。两者都不会对a()、b() 和c() 发出任何警告。这是故意的，还是一个错误？

Answer 1

简短回答：C 警告是一个谜。如果您想在此处收到警告，请使用 -Wformat-signedness。

注意-Wformat-signedness 需要-Wformat，-Wall 已经启用。

---

显然，编译器仅在使用-Wformat-signedness 时检查符号不匹配。 -Wall 和 -Wextra 不包括 -Wformat-signedness。我不知道这是为什么。有人说这是因为它会导致太多警告，但这告诉我，如果它是一个常见的错误，它真的需要使用！

所以，所有被检查的是尺寸不匹配。发出警告的两个（d 和 e）发出警告，因为正在传递一个可能大于 int 的类型的值。至于另外两个，signed char 和 short int 值在传递给像 printf 这样的可变参数 (...) 函数时被提升为 int 值，所以 a 和 b 等价于 c .