Как этот код действительно работает?

Question

Я не могу понять этот 3-строчный код, используемый для реализации статический связанный список. Это на самом деле ответ на этот вопрос question.

Я отправляю код здесь снова- (основное действие в основном вторая линия)

struct node {int x; struct node *next;}; 
#define cons(x,next) (struct node[]){{x,next}} 
struct node *head = cons(1, cons(2, cons(3, cons(4, NULL)))); 

Мой вопрос - какова функциональность этого заявления? (struct node[]){{x,next}}. Является ли это инструкцией инициализации и что она возвращает, что она может быть назначена на struct node*?

Answer 1

(struct node[]){{x,next}} - это сложный литерал, и он инициализирует указатель struct *node.

+------+------+  +------+------+  +------+------+  +------+------+ 
|  |  |  |  |  |  |  |  |  |  |  | 
| 1 | next +---->| 2 | next +---->| 3 | next +---->| 4 | NULL | 
|  |  |  |  |  |  |  |  |  |  |  | 
+------+------+  +------+------+  +------+------+  +------+------+ 
^
    | 
    head