宏typecheck

linux内核

#define typecheck(type, x) \
({ type __dummy;\
    typeof(x) __dummy2; \
    (void)(&__dummy == &__dummy2); \
    1; \
})

简单使用测试代码：

int main(void)
{
    int a;
    typecheck(int, a);
    typecheck(char, a);
}

编译时给出警告

在函数‘main’中: 此语句typecheck(char, a);警告：比较不相关的指针时缺少类型转换