C++中返回内联初始化结构体时能否保留未初始化成员？

好问题！这其实涉及到C++中**聚合初始化（aggregate initialization）**的核心规则，咱们一步步理清楚：

首先得明确：你例子里的TEST、_FILE_MUTEX这类没有自定义构造函数、基类、虚函数的结构体，都属于C++标准定义的聚合类型。当你用初始化列表（比如{ false }）来返回这类结构体时，规则是这样的：

• 如果初始化列表里的元素数量少于结构体的成员数，剩下未被显式初始化的成员会被自动值初始化（value-initialized），而不是留着未初始化的状态。

什么是值初始化？不同成员类型的表现： #

• 对于int、bool这类基本数据类型：会被初始化为对应零值（比如int变成0，bool变成false）
• 对于std::vector这类自带默认构造函数的类类型：会调用它的默认构造函数，最终得到一个合法的空容器
• 对于HANDLE、函数指针这类指针/句柄类型：会被初始化为空指针值（比如nullptr或者平台对应的空句柄）

回到你的示例代码：

struct TEST { bool a; int b; }; 
TEST func() { return { false }; }

这里TEST是聚合体，初始化列表只指定了a的值，b会被自动值初始化为0，完全符合C++标准，是合规写法。

哪怕是更复杂的结构体，比如：

struct _FILE_MUTEX { bool locked; HANDLE handle; std::vector<int> data; void(*callback)(); };
_FILE_MUTEX func() { return { true }; }

返回的结构体中，handle会被初始化为空句柄，data会变成空vector，callback会被设为nullptr，所有成员都处于合法状态，没有问题。

那能不能让成员真的保持未初始化？ #

如果你确实想让部分成员处于未初始化状态（不推荐，因为未初始化值的使用会导致未定义行为），不能用聚合初始化的方式，得手动创建局部变量并赋值：

TEST func() {
    TEST t;
    t.a = false;
    // t.b 未初始化，使用它会触发未定义行为
    return t;
}

这种写法下t.b才是真正未初始化的，但风险极高，除非你能确保后续不会读取这个未初始化的值，否则强烈不建议这么做。

总结一下：用聚合初始化返回结构体时，未显式指定的成员会被自动值初始化，这种做法完全合规且安全；如果刻意追求未初始化状态，需要用手动赋值的方式，但要承担未定义行为的风险。

内容的提问来源于stack exchange，提问作者sergiu reznicencu