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

准备好一个问题有点“扭曲”…

我以前已经实现了很多数据结构(树,列表,哈希表,图表),使用宏我可以实现某种类型的通用.但是,如果可以使用void指针实现通用数据结构,但是我想要能够使用typecheking …

我不知道是否清楚我想要说的是什么…但是基本上我并不认为把“void *”作为通用方法总是安全的,同时我也不认为总是一个好主意,使用宏作为通用数据结构的方法(因为基本上预处理器与宏做的是代码替换),因为如果你环顾网络,你可以找到这样的例子.

一个好的想法可能是,在我看来,但可能我不对,是使用宏为存储在数据结构中的数据做出标准接口,在接口函数中,我将把代码放入正确的类型检查,给定一个空白*.受到软件工程师技术的启发,这可能是一个很好的方法.

肯定是真的,可能对于太复杂的东西来说,切换语言(C / Java)会更好,但是这并不总是可能的.

所以总结一下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 = ...

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

解决方法

相关文章