读取未初始化对象的值是否属于未定义行为(Undefined Behavior)
原推理的错误点分析
首先给出问题中的示例代码:
int a; printf("%d\n", a); //这属于未定义行为还是未指定行为?
该代码的行为在C标准下属于明确的未定义行为,原推理的错误如下:
- 错误1:忽略
N2346/6.3.2.1p2条款的直接约束,错误用通用规则覆盖专项规则
6.3.2.1p2是左值转右值场景的专项明确规定:只要满足「自动存储期+对象从未被取址(可使用register存储类声明)+未初始化」三个条件,读取该对象值的行为直接被定性为未定义行为,该条款优先级高于后续关于不确定值的通用规则,不需要再向下推导不确定值的分类。 - 错误2:错误假设「int类型永远不会有trap representation」
C标准从未禁止int类型存在陷阱表示:标准允许int类型包含填充位,填充位的取值可以构成合法取值范围外的陷阱表示,仅unsigned char类型被明确规定不存在陷阱表示,该假设不符合C标准的规定。 - 错误3:对
N2346/6.7.9p10条款的表述存在误读
条款仅说明未显式初始化的自动存储期对象的值为不确定值,不等于「该对象被初始化为不确定值」,未初始化的自动存储期对象没有经过任何初始化操作,不存在“被初始化为某类值”的逻辑,属于对条款表述的错误解读。 - 错误4:混淆未定义行为和未指定行为的触发边界
即便退一步不考虑6.3.2.1p2的约束,也只有当使用的不确定值明确为非陷阱的未指定值时,才属于未指定行为范畴,只要存在触发陷阱表示的可能性,行为首先属于未定义,不能直接跳过陷阱表示的可能性推导为未指定行为。
内容的提问来源于stack exchange,提问作者Some Name
相关产品推荐
相关产品推荐

