针对 C 中的多种类型进行编译时检查？

Question

目前我有一个宏来检查一个值是一个类型。

#define CHECK_TYPE_INLINE(val, type) \
    ((void)(((type)0) != (0 ? (val) : ((type)0))))

在某些情况下，这对于能够对宏参数进行类型检查很有用。

但是如果我要检查多种类型呢？例如，检查它是 struct Foo * 还是 struct Bar *。

例子，

static inline _insert_item(struct List *ls, void *item) { /* function body*/ }

/* type-checked wrapper */
#define insert_item(ls, item) \
    (CHECK_TYPE_ANY(item, struct Foo *, struct Bar *), \
     _insert_item(ls, item))

有什么好的方法吗？

Answer 1

因为它被标记为 C11，您可以通过 _Generic 关键字获得语言支持:

#define CHECK(x) _Generic((x),  \
                   int   : 1,   \
                   float : 2,   \
                   default : 3)

其中 1、2 和 3 是当传递的参数是特定类型时应该发生的事情。

Link with some good examples .