C语言复合字面量[编辑 | 编辑源代码]

复合字面量（Compound Literals）是C99标准引入的特性，允许在表达式位置创建未命名的临时对象。其语法类似强制类型转换与初始化列表的组合，为结构体、数组等聚合类型提供了便捷的初始化方式。

基本语法[编辑 | 编辑源代码]

复合字面量的通用语法形式为：

(类型名){ 初始化列表 };

类型分类[编辑 | 编辑源代码]

复合字面量支持两种主要类型：

1. 数组类型[编辑 | 编辑源代码]

// 创建int[3]数组
(int[]){1, 2, 3};

// 带部分初始化的字符数组
(char[]){'a', [2] = 'c'}; // 等价于 {'a', '\0', 'c'}

2. 结构体/联合体类型[编辑 | 编辑源代码]

// 匿名结构体
(struct point){ .x = 10, .y = 20 };

// 带类型定义的联合体
typedef union { int i; float f; } num;
(num){ .f = 3.14 };

生命周期与存储期[编辑 | 编辑源代码]

复合字面量的生命周期取决于其出现的位置：

存储期规则
上下文位置	存储期	示例
函数体外	静态存储期	`(int[]){1,2,3}` 全局可用
函数体内	自动存储期	离开作用域后失效

典型用例[编辑 | 编辑源代码]

1. 函数参数传递[编辑 | 编辑源代码]

避免显式声明临时变量：

void print_coord(struct point p) {
    printf("(%d, %d)\n", p.x, p.y);
}

// 调用时直接构造参数
print_coord((struct point){ .x=100, .y=200 });

2. 动态初始化指针[编辑 | 编辑源代码]

int *arr = (int[]){10, 20, 30}; // 等价于静态初始化+取地址

3. 多维数组构造[编辑 | 编辑源代码]

示例代码：

// 3x3矩阵乘法参数
matrix_multiply(
    (float[][3]){{1,0,0}, {0,1,0}, {0,0,1}},
    (float[][3]){{2}, {3}, {4}}
);

高级特性[编辑 | 编辑源代码]

常量复合字面量[编辑 | 编辑源代码]

添加const限定符可创建只读对象：

const char *msg = (const char[]){"Hello"}; // 存储在.rodata段

与指针运算结合[编辑 | 编辑源代码]

复合字面量返回的是左值，可进行取地址操作：

int *p = &(int){42}; // p指向值为42的匿名int

实际应用案例[编辑 | 编辑源代码]

场景：图形渲染中的顶点数据传递

typedef struct { float x,y,z; } Vertex;

void draw_triangle(Vertex v1, Vertex v2, Vertex v3) {
    // 渲染实现...
}

// 调用时直接构造顶点数据
draw_triangle(
    (Vertex){ .x=0, .y=0, .z=0 },
    (Vertex){ .x=1, .y=0, .z=0 },
    (Vertex){ .x=0.5, .y=1, .z=0 }
);

注意事项[编辑 | 编辑源代码]

C++兼容性：C++中需使用构造函数语法而非复合字面量
宏定义中的使用：需额外加括号避免语法歧义
调试限制：匿名对象在调试器中可能难以追踪

页面模块:Message box/ambox.css没有内容。

int *bad_example(void) {
    return (int[]){1,2,3}; // 错误！数组在函数返回后失效
}

数学表达示例[编辑 | 编辑源代码]

当用于科学计算时，可结合向量运算： $\vec{v} = (f l o a t [3]) {x_{1} + x_{2}, y_{1} \cdot y_{2}, \sqrt{z}}$

总结[编辑 | 编辑源代码]

复合字面量通过减少临时变量声明使代码更简洁，但需特别注意其生命周期限制。合理使用可提升代码可读性，尤其在以下场景：

临时聚合数据构造
只读查找表初始化
测试代码中的快速数据构造

指定初始化器（Designated Initializers）
变长数组（VLAs）
柔性数组成员（Flexible Array Members）