复合字面量

< c‎ | language
 
C
 
C 语言
 
表达式
 

就地构造一个指定类型的无名对象，在只需要一次数组、结构体或联合体变量时使用。

语法

( 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)