C语言何时允许通过强制转换结构体初始化列表进行赋值？

核心特性：复合字面量（Compound Literals） #

你遇到的x = (struct JJ){ 5 };写法，本质是C语言的复合字面量特性，不是简单的强制转换。它的语法格式为(类型名称){ 初始化列表 }，作用是创建一个匿名的、临时的对应类型对象，随后这个临时对象会通过结构体的逐成员拷贝赋值给变量x。

原理细节 #

• 复合字面量创建的对象存储期：如果写在函数内部，默认是自动存储期（和局部变量一样，出作用域销毁）；如果在全局作用域或者加static关键字（比如static (struct JJ){5}），则是静态存储期。
• 赋值逻辑：结构体赋值本身是逐成员的浅拷贝（对于结构体里的指针成员只会拷贝地址，数组成员则会拷贝全部元素），复合字面量赋值也遵循这个规则——临时结构体的每个成员都会被拷贝到目标变量x的对应成员中。
• 注意：复合字面量是左值（可以取地址），比如你可以写&(struct JJ){5}来获取这个临时对象的指针，但自动存储期的临时对象生命周期只在当前表达式内，不要保存其指针到后续使用。

标准支持时间 #

复合字面量是C99标准正式引入的特性，C89/ANSI C标准并不支持。

关于你提到的Visual Studio 2019 Legacy MSVC标准下可编译：微软的MSVC编译器对C99特性的支持虽然一度滞后，但Legacy模式下已经部分实现了复合字面量这类实用特性，所以能正常编译运行。

扩展场景用法解析 #

用复合字面量构造函数返回值 #

直接在return语句里用复合字面量生成结构体，代码更简洁：

struct JJ { int val; };
struct JJ get_new_JJ(int v) {
    return (struct JJ){ v };
}

这里复合字面量创建的临时结构体，会被拷贝到函数返回值的存储位置，调用方可以直接接收。

借助结构体修改数组 #

如果结构体包含数组成员，利用复合字面量赋值可以快速修改整个数组：

struct ArrWrapper { int nums[3]; };
void update_arr(struct ArrWrapper *w) {
    *w = (struct ArrWrapper){ {1,2,3} };
}

调用这个函数后，目标结构体里的数组会被完全替换成复合字面量中的数组元素，本质是结构体赋值时对数组成员的逐元素拷贝。

你也可以通过复合字面量的指针直接操作成员，但要注意存储期：

// 自动存储期的复合字面量，仅当前表达式有效
((struct ArrWrapper){ {4,5,6} }).nums[0] = 10; // 合法，但修改后对象立即销毁

内容的提问来源于stack exchange，提问作者Richard Chambers