压榨编译器，用宏+C实现STL的VECTOR

     在公司写个公司内部的一个语言的解释器。不可避免的需要实现一些数据结构。但是C语言明显没有C++这样的强大，缺少STL这样的库。

而C要想实现一个对任意类型都有效的vector要么就是用void *这样的数据结构指针。但是使用void*后最大的弊端就是没有了类型检查，容易造成一些不必的错误。为了即通用，又能够使用编译器的类型检查，这个基于宏和函数指针的vector就诞生了。

所有的代码都是使用一个.h文件来定义的。

vector.h

#ifndef _VECTOR_H #define _VECTOR_H #include <stdlib.h> #ifndef SUCCESS #define SUCCESS (0) #endif #ifndef FAILURE #define FAILURE (-1) #endif #ifdef VECTOR_GLOBALS #define VECTOR_EXT #else #define VECTOR_EXT extern #endif #define VECTOR_INIT_SIZE 10 #define VECTOR_INC_SIZE 10 #define VECTOR_STRUCT_D(name,type)/ typedef struct tag_vector_##name{/ int buffer_size;/ int index;/ type * buffer;/ int (*push_back)(struct tag_vector_##name * v,type dat);/ type (*at)(struct tag_vector_##name * v,int index);/ int (*update)(struct tag_vector_##name * v,int index,type dat);/ void (*earse)(struct tag_vector_##name * v,int index);/ int (*size)(struct tag_vector_##name * v);/ void (*clear)(struct tag_vector_##name * v);/ }vector_##name;/ VECTOR_EXT int vector_##name##_init(vector_##name * v);/ VECTOR_EXT int vector_##name##_push_back(vector_##name * v,type dat);/ VECTOR_EXT type vector_##name##_at(vector_##name * v,int index);/ VECTOR_EXT int vector_##name##_update(vector_##name * v,int index,type dat);/ VECTOR_EXT void vector_##name##_earse(vector_##name * v,int index);/ VECTOR_EXT int vector_##name##_size(vector_##name * v);/ VECTOR_EXT void vector_##name##_clear(vector_##name * v); #define VECTOR_STRUCT_IMP(name,type)/ int vector_##name##_init(vector_##name * v)/ {/ v->index = -1;/ v->buffer_size = VECTOR_INIT_SIZE;/ v->buffer = malloc(sizeof(type)*VECTOR_INIT_SIZE);/ if(v->buffer == NULL)/ return FAILURE;/ v->push_back = vector_##name##_push_back;/ v->at = vector_##name##_at;/ v->update = vector_##name##_update;/ v->earse = vector_##name##_earse;/ v->size = vector_##name##_size;/ v->clear = vector_##name##_clear;/ return SUCCESS;/ }/ int vector_##name##_push_back(vector_##name * v,type dat)/ {/ int newsize;/ type * old;/ if(v->index == v->buffer_size)/ {/ newsize = v->buffer_size + VECTOR_INC_SIZE;/ old = v->buffer;/ v->buffer = realloc(v->buffer,sizeof(type) * newsize);/ if(v->buffer == NULL)/ return FAILURE;/ if(v->buffer!=old)/ {/ free(old);/ }/ v->buffer_size = newsize;/ }/ v->buffer[++v->index] = dat;/ return SUCCESS;/ }/ type vector_##name##_at(vector_##name * v,int index)/ {/ return v->buffer[index];/ }/ int vector_##name##_update(vector_##name * v,int index,type dat)/ {/ if(v->buffer_size > index)/ {/ v->buffer[index] = dat;/ return SUCCESS;/ }/ return FAILURE;/ }/ void vector_##name##_earse(vector_##name * v,int index)/ {/ int i = 0;/ type * p = NULL;/ if(v->buffer_size > index)/ {/ p = &(v->buffer[index]);/ for(i = index;i < v->buffer_size; i++)/ {/ v->buffer[i] = v->buffer[i+1];/ }/ v->index--;/ }/ }/ int vector_##name##_size(vector_##name * v)/ {/ return (v->index+1);/ }/ void vector_##name##_clear(vector_##name * v)/ {/ v->index = -1;/ v->buffer_size = 0;/ free(v->buffer);/ } #ifndef VECTOR_GLOBALS #define VECTOR_TEMPLATE_GLOBALS(name,type)/ VECTOR_STRUCT_D(name,type); #else #define VECTOR_TEMPLATE_GLOBALS(name,type)/ VECTOR_STRUCT_D(name,type);/ VECTOR_STRUCT_IMP(name,type); #endif//VECTOR_GLOBALS #define VECTOR_TEMPLATE_LOCAL(name,type)/ VECTOR_STRUCT_D(name,type);/ VECTOR_STRUCT_IMP(name,type); #define VECTOR_INIT(name,pvar)/ vector_##name##_init(pvar); #define VECTOR_DECL(name,var,externs)/ externs vector_##name var #define VECTOR_MALLOC(name,pvar)/ var = (vector_##name*)malloc(sizeof(vector_##name)); #endif  由于是C+宏来蹂躏编译器产生STL的效果，所以我们还需要有个.c文件来容纳这些宏所产生的代码。

vector.c

#define VECTOR_GLOBALS #include "includes.h" #include "vector.h" 

是的就这么短，因为我们需要用宏+条件编译，让编译器自己产生所需的代码。

 

那么如何使用呢。这里有几个常用的宏

首先我们要声明一组用于某种类型的函数

VECTOR_TEMPLATE_LOCAL(name,type)

VECTOR_TEMPLATE_GLOBALS(name,type)

这两个宏用来让编译器产生一组用于type类型的vector函数.

两者的区别在于VECTOR_TEMPLATE_GLOBALS将产生的代码生成到vector.c中

而VECTOR_TEMPLATE_LOCAL将代码生成到调用VECTOR_TEMPLATE_LOCAL的.c文件中。

 

另外两个函数就是产生一个某个类型的vector变量

VECTOR_DECL(name,var,externs)

 

另一个用于初始化这个变量，不初始化可是不能用的。

VECTOR_INIT(name,pvar)

 

最后一个就是用来初始化vector指针的宏

VECTOR_MALLOC(name,pvar)

 

我们写个简单的例子吧(vs 还真是强大，宏编译出来的东西都可以有代码提示，不得不赞一下vs)

#include "vector.h" #include <stdio.h> VECTOR_TEMPLATE_LOCAL(char_vector,char); int main() { int i = 0; VECTOR_DECL(char_vector,chars,); VECTOR_INIT(char_vector,&chars); chars.push_back(&chars,'x'); chars.push_back(&chars,'y'); for(i = 0;i < chars.size(&chars);i++) { printf("datas in char_vector %c/n",chars.at(&chars,i)); } return 0; }  

 

后记，c语言的宏系统相当强大，所以有效利用它来让编译器多帮我们干活是件美事（欺负编译器乃快乐之本）。

但是宏系统还是很难调试的。所以debug也是个痛苦的过程。