用宏实现C/C++从非零整数开始的数组

　　相信大家在刚学习C/C++时，都会对数组下标从0开始编号有疑惑。尽管我是喜欢从0开始编号的“0党”，但是也有很多的人是喜欢从1开始编号。

　　意识到C/C++数组与指针具有一定的相似性后，我开始构思如何仿造Pascal实现类似于array[1..100]这样的声明方法。

　　今天和大神gjs讨论后，他给出第一个实现方案：

int buf[];
int a[];
a = buf + ;    //等价于a = &b[10]

　　这样目的是访问a[0]的时候相当于访问b[10]，因此a[-10]相当于访问b[0]，这样我们可以通过访问a来访问buf，相当于得到一个从-10开始，长度为100的数组。

　　可惜的是，编译不通过。听说是数组不能作为左值。

　　因此我们改用指针实现。

　　

int buf[];
int *a = buf + ;
a[-] = ;

　　编译成功。

　　我们决定改写成宏。

#define array(type, name, lb, ub) type buf[ub - lb + 1]; type* name = buf - lb

　　这样，我们就可以使用array(int, abc, -5, 5)来声明一个下标范围为-5到5的“数组”。

　　似乎是没有问题了。

　　不过，遇到多个array声明就有问题了：

int main(){
    array(int, a, , );
    array(int, b, -, );
}

　　编译器抗议了：

:: error: conflicting declaration 'int buf [3]'
9:5: error: 'buf' has a previous declaration as 'int buf [100]'

　　这是由于使用了两个临时变量造成的。展开定义：

int buf[ -  + ]; int* a = buf - ;
int buf[ - - + ]; int* b = buf - -;

　　声明了两个buf！

　　为了解决这一问题，我们使用这样的方法：改名。

　　这是新的array声明：

　　

#define array(type, name, lb, ub) type name##buf[ub - lb + 1]; type* name = name##buf - lb

　　注意到##号了吗？这是连接的意思。这样，他们展开后就得到了：

int abuf[ -  + ]; int* a = abuf - ;
int bbuf[ - - + ]; int* b = bbuf - -;

　　当然，这并不能保证没有bug。比如说我又声明了一个char abuf[30]。

　　最好的方法是将它改复杂一些，再加上大量的随机字符，然后还要加上文件名、行数，将冲突的可能性改到最小。当然，故意作死的人我们也拦不住。

　　好了，现在使用是一点问题都没有。但是使用memset的话……

　　你可能会说“不就是不用memset(a, 0, sizeof a)，而用memset(a + lb, 0, sizeof a)嘛，有什么不会的？”

　　这就不对了。我们声明的a是指针，sizeof a的结果一般是4，因为指针大小是4。这样无法达到初始化的结果。

　　gjs：如果你不嫌麻烦，可以再写个宏，把原来的变量名找回来，然后……

　　我还是不搞了。