Яка мета цього [1] в кінці декларації struct?

Я переглядав файли заголовків мого мікроконтролера MSP430 і натрапив на це в <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масив з одним членом (цієї анонімної структури), але я не уявляю, для чого він використовується. Якісь ідеї?

Це загальний трюк для створення "посилального типу" на мові C, де використання його як аргументу функції призводить до того, що масив одного елемента переходить до покажчика на свій перший елемент без необхідності програмісту явно використовувати &оператор для отримання його адреси. Там, де оголошено, це реальний тип стека (не потрібно динамічного розподілу), але коли передається як аргумент, викликана функція отримує на неї вказівник, а не копію, тому вона передається дешево (і може бути змінена викликаною функцією, якщо ні const).

GMP використовує той самий трюк зі своїм mpz_tтипом, і це критично важливо, оскільки структура управляє покажчиком на динамічно виділену пам'ять; mpz_initфункція розраховує отримати покажчик на структуру, а не його копію, або він не може звернутися до його взагалі. Подібним чином багато операцій можуть змінити розмір динамічно виділеної пам'яті, і це не спрацювало б, якщо б вони не змогли змінити структуру абонента.