C11与C23对象初始化规则疑问及推理正确性验证

C11标准（§6.7.9）条款分析与推理 #

• ¶8明确：初始化器用于指定对象的初始值，即对象创建时拥有初始值即视为完成初始化
• ¶19引入**隐式初始化（initialized implicitly）**概念
• ¶10规定：自动存储期对象未显式初始化时，其值为不确定值

基于以上条款可推理：C11中自动存储期对象未显式初始化时，会被隐式初始化，且隐式初始化赋予对象不确定值。

矛盾点：结构体无名成员的表述冲突 #

C11 ¶9指出结构体的无名成员不参与初始化，但这类成员仍会拥有不确定值——这与前述推理矛盾：若无名成员不参与初始化，为何会有不确定值？按之前的逻辑，不确定值是隐式初始化的结果，这里的“不参与初始化”似乎和隐式初始化的概念冲突。

C23标准（§6.7.11）的规则调整 #

C23对初始化规则做了明确修正：

• 移除C11中“初始化器指定对象的初始值”的表述
• 将术语“value”替换为“representation”（表示）
• 删除“隐式初始化”概念，改用默认初始化（default initialization），明确初始化分为三类：显式初始化、空初始化、默认初始化
• 关键调整：自动存储期对象未显式初始化时的不确定表示，不再被归类为初始化行为

这一调整似乎能解释C11的歧义：C23逻辑里，“未被初始化”的对象会拥有不确定表示，而C11的“隐式初始化”表述模糊，导致了概念混淆——结构体无名成员“不参与初始化”实际是指不参与任何初始化流程，其不确定值并非来自初始化，而是对象未被初始化的自然结果，但C11的术语体系未能清晰区分这一点。

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