相信大家在刚学习C/C++时，都会对数组下标从0开始编号有疑惑。尽管我是喜欢从0开始编号的“0党”，但是也有很多的人是喜欢从1开始编号。
意识到C/C++数组与指针具有一定的相似性后，我开始构思如何仿造Pascal实现类似于array[1..100]这样的声明方法。
今天和大神gjs讨论后，他给出第一个实现方案：
int buf[100]; int a[100]; a = buf + 10; //等价于a = &b[10]
这样目的是访问a[0]的时候相当于访问b[10]，因此a[-10]相当于访问b[0]，这样我们可以通过访问a来访问buf，相当于得到一个从-10开始，长度为100的数组。
可惜的是，编译不通过。听说是数组不能作为左值。
因此我们改用指针实现。
int buf[100]; int *a = buf + 10; a[-3] = 3;
编译成功。
我们决定改写成宏。
#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, 1, 100);
array(int, b, -1, 1);
}
编译器抗议了：
10:5: error: conflicting declaration ‘int buf [3]‘9:5: error: ‘buf‘ has a previous declaration as ‘int buf [100]‘
这是由于使用了两个临时变量造成的。展开定义：
int buf[100 - 1 + 1]; int* a = buf - 1; int buf[1 - -1 + 1]; int* b = buf - -1;
声明了两个buf！
为了解决这一问题，我们使用这样的方法：改名。
这是新的array声明：
#define array(type, name, lb, ub) type name##buf[ub - lb + 1]; type* name = name##buf - lb
注意到##号了吗？这是连接的意思。这样，他们展开后就得到了：
int abuf[100 - 1 + 1]; int* a = abuf - 1; int bbuf[1 - -1 + 1]; int* b = bbuf - -1;
当然，这并不能保证没有bug。比如说我又声明了一个char abuf[30]。
最好的方法是将它改复杂一些，再加上大量的随机字符，然后还要加上文件名、行数，将冲突的可能性改到最小。当然，故意作死的人我们也拦不住。
好了，现在使用是一点问题都没有。但是使用memset的话……
你可能会说“不就是不用memset(a, 0, sizeof a)，而用memset(a + lb, 0, sizeof a)嘛，有什么不会的？”
这就不对了。我们声明的a是指针，sizeof a的结果一般是4，因为指针大小是4。这样无法达到初始化的结果。
gjs：如果你不嫌麻烦，可以再写个宏，把原来的变量名找回来，然后……
我还是不搞了。