void *作为C中的通用,是否安全？

简单来说,没有方便的方式在C中获得类型安全的通用数据结构和函数.

非通用：

struct node {
  int value;
  struct node *next;
};

通用但不安全 – 一个void *没有类型信息：

struct node {
  void *value;
  struct node *next;
};

安全,但丑：

#define DECLARE_NODE_TYPE(typE) \
  struct node_##type { \
    type value; \
    struct node_##type *next; \
  };

DECLARE_NODE_TYPE(int)
node_int *x = ...

相同的想法,但稍微丑陋：

// declare_node_type.h

struct node_##NODE_TYPE {
  NODE_TYPE value;
  struct node_##NODE_TYPE *next;
};

#undef NODE_TYPE

// elsewhere

#define NODE_type int
#include "declare_node_type.h"

node_int *x = ...

通用而安全,但C,而不是C：

template<typename T>
struct node {
  T value;
  node<T> *next;
};

node<int> *x = ...