复合字面量
来自cppreference.com
就地构造一个指定类型的无名对象，在只需要一次数组、结构体或联合体变量时使用。
语法
( type ) { initializer-list }
|
(C99 起) | ||||||||
其中
| type | - | 指定任何完整对象类型或未知大小的数组的类型名，但不能是 VLA |
| initializer-list | - | 适合 type 类型变量初始化的初始化器列表 |
解释
复合字面量构造一个 type 所指定类型的无名对象，并以 initializer-list 的指定初始化之。
复合字面量的类型是 type （除非 type 是未知大小的数组；如在数组初始化中一般从 initializer-list 推导出其大小）。
复合字面量的值类别是左值（能取其地址）。
若复合字面量出现于文件作用域，则其求值所得的无名对象拥有静态存储期，若复合字面量出现于块作用域，则该对象拥有自动存储期（此情况下对象的生存期结束于外围块的结尾）。
注意
字符或宽字符数组类型的 const 限定复合字面量，可能会与字符串字面量共享存储。
(const char []){"abc"} == "abc" // 可以为 1 或 0 ，实现定义
每个复合字面量仅在其作用域内创建一个对象：
int f (void) { struct s {int i;} *p = 0, *q; int j = 0; again: q = p, p = &((struct s){ j++ }); if (j < 2) goto again; // 注意：若使用循环，则其作用域会结束于此， // 这会终止复合字面量的生存期， // 令 p 为悬垂指针 return p == q && q->i == 1; // 始终返回 1 }
因为复合字面量是无名的，一个复合字面量不能引用自身（一个具名结构体可以包含指向其自身的指针）。
虽然复合字面量的语法和转型相似，重要的区别是转型是非左值表达式，而复合字面量是左值。
示例
运行此代码
int *p = (int[]){2, 4}; // 创建一个无名的 int[2] 类型静态存储数组 // 初始数组为值 {2, 4} // 创建指向数组首元素的指针 p const float *pc = (const float []){1e0, 1e1, 1e2}; // 只读复合字面量 int main(void) { int n = 2, *p = &n; p = (int [2]){*p}; // 创建一个无名的 int[2] 类型自动存储数组 // 初始化首个元素为之前 *p 所持有的值 // 初始化第二个元素为零 // 将首元素的地址存储到 p struct point {double x,y;}; void drawline1(struct point from, struct point to); void drawline2(struct point *from, struct point *to); drawline1((struct point){.x=1, .y=1}, // 创建二个块作用域的结构体 (struct point){.x=3, .y=4}); // 然后调用 drawline1 ，以值传递 drawline2(&(struct point){.x=1, .y=1}, // 创建二个块作用域的结构体 &(struct point){.x=3, .y=4}); // 然后调用 drawline2 ，传递其地址 }
引用
- C11 standard (ISO/IEC 9899:2011):
- 6.5.2.5 Compound literals (p: 85-87)
- C99 standard (ISO/IEC 9899:1999):
- 6.5.2.5 Compound literals (p: 75-77)