c - 结构声明末尾的这个 [1] 的目的是什么？

Question

我正在窥探我的 MSP430 微 Controller 的头文件，我在 <setjmp.h> 中遇到了这个:

/* r3 does not have to be saved */
typedef struct
{
    uint32_t __j_pc; /* return address */
    uint32_t __j_sp; /* r1 stack pointer */
    uint32_t __j_sr; /* r2 status register */
    uint32_t __j_r4;
    uint32_t __j_r5;
    uint32_t __j_r6;
    uint32_t __j_r7;
    uint32_t __j_r8;
    uint32_t __j_r9;
    uint32_t __j_r10;
    uint32_t __j_r11;
} jmp_buf[1]; /* size = 20 bytes */

我知道它声明了一个匿名结构并将其类型定义为 jmp_buf , 但我不知道 [1] 是什么是为了。我知道它声明 jmp_buf成为一个只有一个成员(这个匿名结构的成员)的数组，但我无法想象它的用途。有什么想法吗？

Answer 1

这是在 C 中制作“引用类型”的常用技巧，将其用作函数参数会导致单个元素数组退化为指向其第一个元素的指针，而程序员无需显式使用 & 运算符来获取它的地址。在声明的地方，它是一个真正的堆栈类型(不需要动态分配)，但是当作为参数传递时，被调用函数接收到一个指向它的指针，而不是一个副本，因此它的传递很便宜(如果不是，可以被被调用函数改变const).

GMP 在其 mpz_t 类型中使用了相同的技巧，这在此处很关键，因为该结构管理指向动态分配内存的指针； mpz_init 函数依赖于获取指向该结构的指针，而不是它的副本，否则它根本无法初始化它。同样，许多操作可以调整动态分配内存的大小，如果它们不能改变调用者的结构，那将无法工作。