如何让gcc警告将错误的枚举传递给函数

时间:2011-01-12 13:45:47

标签: gcc enums gcc-warning

gcc似乎没有使用以下代码生成警告。如何让它产生警告?

typedef enum
{
    REG8_A,
    REG8_B,
    REG8_C
}REG8;

typedef enum
{
    REG16_A,
    REG16_B,
    REG16_C
}REG16;

void function(REG8 reg8)
{

}

int main(void)
{
    function(REG16_A);    // Should warn about wrong enum
}

6 个答案:

答案 0 :(得分:8)

有关使用GCC -Wenum-compare在C中执行此操作的方法(如果启用-Wall,则默认启用),必须先对枚举常量执行比较,然后再将其传递给函数为了得到理想的诊断。

  

-Wenum-比较

     

警告不同枚举类型的值之间的比较。在C ++中   条件表达式中的数字不匹配也被诊断出并且警告是   默认启用。在C中,此警告由-Wall启用。

http://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html

为了这样的比较碰巧在我们调用函数时自动发生,我们可以将函数包装在宏中。为了便于阅读,我还定义了一个宏SAFE_ENUM,它对枚举常量执行无害的比较(这是在尝试将错误的枚举常量传递给foobar时最终触发警告的内容。)

/**
  SAFE_ENUM: evaluate an enumeration constant safely
  TYPE: the enumeration type
  VAL: the enumeration constant to evaluate
*/
#define SAFE_ENUM(TYPE, VAL) ((VAL) == (TYPE)0 ? (VAL) : (VAL))

typedef enum
{
    REG8_DEFAULT,
    REG8_A,
    REG8_B,
    REG8_C
} Reg8;

typedef enum
{
    REG16_DEFAULT,
    REG16_A,
    REG16_B,
    REG16_C
} Reg16;

void foo(Reg8 reg8)
#define foo(reg8) foo(SAFE_ENUM(Reg8, reg8))
{
    printf("%s called with value %d\n", __func__, reg8);
}

void bar(Reg16 reg16)
#define bar(reg16) bar(SAFE_ENUM(Reg16, reg16))
{
    printf("%s called with value %d\n", __func__, reg16);
}

int main(void)
{
    foo(REG8_A);  // ok
    bar(REG16_A); // ok
    foo(REG16_B); // warning
    bar(REG8_B);  // warning

    Reg16 a_reg16 = 42;
    foo(a_reg16); // warning: foo requires a Reg8 but you gave it a Reg16
}

答案 1 :(得分:7)

这种行为的原因是您使用的是C编译器而不是C ++。 in C枚举类型不是真正的类型,C中的枚举只保存int常量,它们可以自由地与任何整数和任何算术混合。

在C ++中,您可以根据自己的需要考虑real enums,并按照语言标准的要求进行所需的类型检查。

您的问题可以通过两种方式解决:

  • 使用C ++编译器。

    通过这种方式,您可以根据需要使用真实枚举

  • 将您的代码更改为纯C样式,即不使用枚举,因为在C中它们只是常量集,编译器只能帮助您对常量值进行排序。在C 中,你将负责保持传递常量的“类型”一致。再一次:对于C,枚举成员只是int常量,你不能让它们输入。


#define REG8_A 0
#define REG8_B 1
#define REG8_C 2

#define REG16_A 0
#define REG16_B 1
#define REG16_C 2

答案 2 :(得分:6)

我能看到生成警告的唯一方法是你是否准备传递指针而不是裸露的枚举,例如。

typedef enum
{
    REG8_A,
    REG8_B,
    REG8_C
} REG8;

typedef enum
{
    REG16_A,
    REG16_B,
    REG16_C
} REG16;

void function(REG8 * reg8)
{

}

int main(void)
{
    REG16 r = REG16_A;
    function(&r);
    return 0;
}

不完全是一个优雅的解决方案,但确实给出了警告,至少是gcc -Wall

$ gcc -Wall warn_enum.c -o warn_enum
warn_enum.c: In function ‘main’:
warn_enum.c:23: warning: passing argument 1 of ‘function’ from incompatible pointer type
$

答案 3 :(得分:2)

正如其他人所指出的那样,C不区分枚举类型和基础整数类型。 (某些编译器可能包括enumtypedef s的类型检查作为扩展名; YMMV。)

要在C中进行类型检查,您可以使用struct,但是您将失去对内置比较运算符的使用以及switch对变量的使用能力。不过你可能会尝试这样的事情:

typedef struct {
    enum {
        reg8_val_A,
        reg8_val_B,
        reg8_val_C,
    } val;
} reg8;
#define reg8_A (reg8){.val = reg8_val_A}
#define reg8_B (reg8){.val = reg8_val_B}
#define reg8_C (reg8){.val = reg8_val_C}
…
bool
is_A_or_B(reg8 reg) {
    if reg.val == reg8_A.val    // one way to compare
        return true;
    switch (reg.val) {
        case reg8_val_B:        // the other way to compare; note that
            return true;        // “case reg8_B.val:” will *not* work
        case reg8_val_C:
            return false;
        default:
            fprintf(stderr, "bad reg value %d\n", reg.val);
            abort();
    }
}

(使用一些C99功能。)

答案 4 :(得分:1)

使用GCC 4.6,您should使用-Wconversion-Werror选项来阻止任何隐式类型转换。它给出了由Paul R.发布的代码的错误。但是原始代码无论如何编译都很好。我不知道为什么。

答案 5 :(得分:0)

$ g++ test3.cpp -o test3
test3.cpp: In function ‘int main()’:
test3.cpp:22: error: cannot convert ‘REG16’ to ‘REG8’ for argument ‘1’ to ‘void function(REG8)’