c - 当指针类型不同时如何产生编译错误？

Question

当两个指针 a 和 b 具有不同的基类型时，如何编写一个生成编译错误的宏 CHECK(a, b)。

CHECK((int*)0, (char*)0) -> compilation error
CHECK((int*)0, (int*)0) -> works

我正在寻找一些 C89 代码，但 C99 + gcc 扩展也可以。

Answer 1

EDIT 现在适用于任何类型，而不仅仅是指针

使用 GCC 扩展或多或少从 linux 内核中提取的东西 typeof() .

这会在编译时生成警告，它也适用于整数指针类型

#define CHECK(a, b) do { \
    typeof(a) _a; \
    typeof(b) _b; \
    (void) (&_a == &_b); \
    } while (0)

int main(int argc, char **argv)
{
    int *foo;
    int *bar;
    char *baz;

    CHECK(foo, bar);
    CHECK(bar, baz);
    return 0;
}