程序设计语言-C-C的出处感知内存对象模型标准立项发展报告.docxVIP

*

ISO/IECTS6010:2025标准立项发展报告

StandardizationDevelopmentReport:Programminglanguages-C-Aprovenance-awarememoryobjectmodelforC

摘要

随着C语言在嵌入式系统、操作系统内核及高性能计算等领域的广泛应用，其内存模型的模糊性逐渐成为程序安全性与可移植性的主要制约因素。传统的C标准（如ISO/IEC9899:2018）虽定义了核心语言语法，但在内存对象的别名分析、指针有效性判定及数据竞争检测等方面存在语义缺口，导致编译器优化行为的不确定性及程序未定义行为的频发。为应对上述挑战，国际标准化组织/国际电工委员会第一联合技术委员会第22分委员会（ISO/IECJTC1/SC22）启动了ISO/IECTS6010:2025技术规范项目。本报告系统梳理了该标准的立项背景、研制过程与核心内容，旨在阐述其如何通过引入“来源感知”（Provenance-aware）的内存对象模型，为C语言提供一套精确、可推导的指针与内存访问规则。研究表明，该标准以ISO/IEC9899:2018为基础框架，通过严格定义指针的来源属性、扩大有效类型的约束范围以及细化对象生存期内访问序列的规则，有效弥合了现有标准中编译器优化与程序员意图之间的认知鸿沟。本报告的