这是由Sean Barrett编写的27行中Vector的实现.有人可以向我解释这是如何工作的吗？

Question

从这里:一个整洁的小C实现的弹性缓冲区(又名C++向量)代码的描述说:

使用类似'mytype myarray = NULL'之类的东西声明一个空缓冲区,然后使用sb()函数进行操作; 像往常一样通过索引来读/写单个元素

我应该这样说,我只知道一点C,这实际上是未知的领域.我从来没有使用过双指针,void指针或任何内存函数,如realloc.有人可以用简单的英语解释这段代码中发生的事情吗？它使用了许多我不理解的花哨的宏定义,这让我想知道它的外观是什么样的.

代码:

  // stretchy buffer // init: NULL // free: sbfree() // push_back: sbpush() // size: sbcount() //
    #define sbfree(a)         ((a) ? free(stb__sbraw(a)),0 : 0)
    #define sbpush(a,v)       (stb__sbmaybegrow(a,1), (a)[stb__sbn(a)++] = (v))
    #define sbcount(a)        ((a) ? stb__sbn(a) : 0)
    #define sbadd(a,n)        (stb__sbmaybegrow(a,n), stb__sbn(a)+=(n), &(a)[stb__sbn(a)-(n)])
    #define sblast(a)         ((a)[stb__sbn(a)-1])

    #include <stdlib.h>
    #define stb__sbraw(a) ((int *) (a) - 2)
    #define stb__sbm(a)   stb__sbraw(a)[0]
    #define stb__sbn(a)   stb__sbraw(a)[1]

    #define stb__sbneedgrow(a,n)  ((a)==0 || stb__sbn(a)+n >= stb__sbm(a))
    #define stb__sbmaybegrow(a,n) (stb__sbneedgrow(a,(n)) ? stb__sbgrow(a,n) : 0)
    #define stb__sbgrow(a,n)  stb__sbgrowf((void **) &(a), (n), sizeof(*(a)))

    static void stb__sbgrowf(void **arr, int increment, int itemsize)
    {
       int m = *arr ? 2*stb__sbm(*arr)+increment : increment+1;
       void *p = realloc(*arr ? stb__sbraw(*arr) : 0, itemsize * m + sizeof(int)*2);
       assert(p);
       if (p) {
          if (!*arr) ((int *) p)[1] = 0;
          *arr = (void *) ((int *) p + 2);
          stb__sbm(*arr) = m;
       }
    }

Answer 1

我最初的建议是忽略此代码并继续执行其他操作。您不太可能从分析这段代码中学到任何有用的东西。

如果你坚持理解它，基本思想非常简单。其余的大部分只是繁琐的细节。

基础知识：它管理一个数组。数组的第一个元素用于保存当前分配的数组大小。第二个元素用于保存当前正在使用的元素的数量。它替代了普通运算符，让您可以获取它分配的数组“您的”部分中的特定元素（即，因为 array[0] 和 array[1] 用于其自己的内务管理，当您请求 element[ n]，它给你数组[n+2]）。

从那里开始，主要是跟踪当前使用的大小与当前分配的大小，并在需要时分配更大的数组。当您告诉它时，它也可以/将会释放整个数组（使用stb_free）。