c - 如何处理来自 GCC 的 -Wconversion 警告？

Question

我正在使用 GCC 的 -Wconversion 警告标志构建我的项目。 (gcc (Debian 4.3.2-1.1) 4.3.2) 在 64 位 GNU/Linux 操作系统/硬件上。我发现它有助于识别我在哪里混合了类型或不清楚应该使用哪些类型。

在大多数激活它的警告的其他情况下，它并不是很有帮助，我想问我该如何处理这些:

enum { A = 45, B, C };   /* fine */

char a = A;              /* huh? seems to not warn about A being int. */
char b = a + 1;          /* warning converting from int to char */
char c = B - 2;          /* huh? ignores this *blatant* int too.*/
char d = (a > b ? b : c) /* warning converting from int to char */

由于上述测试的意外结果(案例 a 和 c)，我还要求对这些差异进行解释。

编辑:用 (char) 强制转换所有这些以防止警告是否过度设计？

Edit2:一些额外的案例(在上述案例之后):

a += A;         /* warning converting from int to char */
a++;            /* ok */
a += (char)1;   /* warning converting from int to char */

除此之外，我要问的是主观的，我想听听其他人如何处理此类情况下的转换警告，当您认为某些开发人员提倡删除所有警告时.

叶爱:

一个可能的解决方案是只使用 int 而不是 char 对吗？实际上，它不仅需要更多内存，而且速度也较慢，如以下代码所示。当使用 -Wconversion 构建时，数学表达式只是为了获得警告。由于转换，我假设使用 char 变量的版本会比使用 int 的版本运行得慢，但在我的(64 位双核 II)系统上 int 版本较慢。

#include <stdio.h>

#ifdef USE_INT
typedef int var;
#else
typedef char var;
#endif

int main()
{
    var start = 10;
    var end = 100;
    var n = 5;
    int b = 100000000;
    while (b > 0) {
        n = (start - 5) + (n - (n % 3 ? 1 : 3));
        if (n >= end) {
            n -= (end + 7);
            n += start + 2;
        }
        b--;
    }
    return 0;
}

将 -DUSE_INT 传递给 gcc 以构建上述代码段的 int 版本。

Answer 1

当你说 /* int */ 时，你的意思是它给你一个警告吗？在 gcc 4.0.1 或 4.2.1 和 -Wconversion 的这段代码中，我根本没有看到任何警告。编译器正在将这些枚举转换为常量。由于在编译时一切都是已知的，因此没有理由生成警告。编译器可以优化掉所有的不确定性(以下是Intel with 4.2.1):

    movb    $45, -1(%rbp)    # a = 45
    movzbl  -1(%rbp), %eax
    incl    %eax
    movb    %al, -2(%rbp)    # b = 45 + 1
    movb    $44, -3(%rbp)    # c = 44 (the math is done at compile time)
    movzbl  -1(%rbp), %eax   
    cmpb    -2(%rbp), %al
    jle     L2               
    movzbl  -2(%rbp), %eax
    movb    %al, -17(%rbp)
    jmp     L4
L2: 
    movzbl  -3(%rbp), %eax
    movb    %al, -17(%rbp)
L4:
    movzbl  -17(%rbp), %eax
    movb    %al, -4(%rbp)    # d = (a > b ? b : c)

这没有开启优化。通过优化，它将在编译时为您计算 b 和 d 并硬编码它们的最终值(如果它确实需要它们来做任何事情)。关键是 gcc 已经确定这里不会有问题，因为所有可能的值都适合 char。

编辑:让我稍微修改一下。 b 的赋值可能存在错误，编译器永远不会捕获它，即使它是确定的。例如，如果 b=a+250;，那么这肯定会溢出 b 但 gcc 不会发出警告。这是因为对 a 的赋值是合法的，a 是一个 char，这是你的问题(而不是编译器的问题)来确保数学不'在运行时溢出。