Jaki jest cel tego [1] na końcu deklaracji struct?

Question

byłem podsłuchiwanie poprzez pliki nagłówka mojego MSP430 mikrokontrolera, i wpadłem na to w <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 */ 

Rozumiem, że deklaruje anonimowy struct i typedef to go jmp_buf, ale nie mogę dowiedzieć się, co [1] jest dla. Wiem, że deklaruje ona, że ​​jmp_buf jest tablicą z jednym członkiem (tej anonimowej struktury), ale nie mogę sobie wyobrazić, do czego służy. Jakieś pomysły?

Answer 1

Jest to typowa sztuczka polegająca na utworzeniu "typu odniesienia" w C, gdzie użycie go jako argumentu funkcji powoduje degradację tablicy pojedynczego elementu do wskaźnika do pierwszego elementu bez konieczności użycia przez operatora programatora operatora & aby uzyskać jego adres. Tam, gdzie został zadeklarowany, jest to prawdziwy typ stosu (bez potrzeby alokacji dynamicznej), ale gdy jest przekazywany jako argument, wywoływana funkcja otrzymuje wskaźnik do niego, a nie kopię, więc jest przekazywana tanio (i może być zmutowana przez wywołaną funkcję, jeśli nie const).

GMP używa tej samej sztuczki z typem mpz_t i jest tam krytyczna, ponieważ struktura zarządza wskaźnikiem dynamicznie przydzielanej pamięci; funkcja mpz_init polega na uzyskaniu wskaźnika do struktury, a nie jej kopii lub w ogóle nie mogła go zainicjować. Podobnie, wiele operacji może zmienić rozmiar dynamicznie przydzielanej pamięci, a to nie zadziała, jeśli nie będą mogły zmutować struktury wywołującej.