Cú pháp “[0… 255] =” này trong C là gì?

Đề cập đến js0n.c

Cú pháp mã như sau:

    static void *gostruct[] =
    {
        [0 ... 255] = &&l_bad,
        ['\t'] = &&l_loop, [' '] = &&l_loop, ['\r'] = &&l_loop, ['\n'] = &&l_loop,
        ['"'] = &&l_qup,
        [':'] = &&l_loop, [','] = &&l_loop,
        ['['] = &&l_up, [']'] = &&l_down, // tracking [] and {} individually would allow fuller validation but is really messy
        ['{'] = &&l_up, ['}'] = &&l_down,
        ['-'] = &&l_bare, [48 ... 57] = &&l_bare, // 0-9
        [65 ... 90] = &&l_bare, // A-Z
        [97 ... 122] = &&l_bare // a-z
    };

........
.......

l_bad:
    *vlen = cur - json; // where error'd
    return 0;

........
........

Bất cứ ai có thể giải thích những gì đang được thực hiện ở đây? Cú pháp [0 ... 255]và &&l_badlàm gì ở đây?

... là một phần mở rộng được cung cấp bởi GCC

https://gcc.gnu.org/onlineocs/gcc/Designated-Inits.html#Designated-Inits

Để khởi tạo một dải phần tử có cùng giá trị, hãy viết [first ... last] = value. Đây là một phần mở rộng GNU. Ví dụ,

 int widths[] = { [0 ... 9] = 1, [10 ... 99] = 2, [100] = 3 };

&& là một phần mở rộng khác

https://gcc.gnu.org/onlineocs/gcc/Labels-as-Values.html#Labels-as-Values

Bạn có thể lấy địa chỉ của nhãn được xác định trong hàm hiện tại (hoặc một hàm chứa) bằng toán tử một ngôi &&. Giá trị có loại void *. Giá trị này là một hằng số và có thể được sử dụng ở bất cứ nơi nào một hằng số thuộc loại đó là hợp lệ. Ví dụ:

 void *ptr;
 /* ... */
 ptr = &&foo;