【文件属性】:
文件名称:理解原始参考-中国县域统计年鉴2016(乡镇卷)
文件大小:457KB
文件格式:PDF
更新时间:2021-06-03 18:14:25
MISRA
<类别>:或者是“强制”,或者是“建议”,见 5.1 节中的解释
<规则文本>:规则内容
<原始参考>:指示了产生本条款或本组条款的可应用的主要来源。5.5 节描述了这些
参考的重要性以及到原始材料的连接。
另外,对每项条款或成组相关条款提供了支持文本。该文本描述了规则所涉及的基本问
题及如何应用规则的例子。如果在某一规则后没有紧跟这样的解释文本,那么对应文本会在
一组规则后找到,这段文本适应于其前所有规则。类似地,一组规则后的原始参考适用于整
组规则。
支持文本不是做为相关语言特性的指南,我们假设读者已经具有关于语言的工作经验。
语言特性的更为详细的信息可以通过咨询相关的语言标准或其他 C 语言参考书来获得。如果
原始参考给出了一个或多个 ISO 标准中“Annex G”条款,那么 ISO 标准中提出的原始问题将
有助于对规则的理解。
在代码段中,下列已经 typedef 定义的类型假设为(为了适应规则 6.3):
char_t plain 8 bit character
uint8_t unsigned 8 bit integer
uin16_t unsigned 16 bit integer
uint32_t unsigned 32 bit integer
int8_t signed 8 bit integer
int16_t signed 16 bit integer
int32_t signed 32 bit integer
float32_t 32 bit floating-point
float64_t 64 bit floating-point
非特意定义的变量名称指示其类型。例如:
uint8_t u8a;
sint32_t s32a;
5.5 理解原始参考
当规则来源于一个或多个已发表的原始文件时,这些来源会在一个方括号中标明。这样
做有两个目的。首先,读者可以咨询这些特定的资源以充分了解规则之后的基本原理(比如
需要对规则有所背离的时候)。其次,考虑到 ISO 标准中“Annex G”提到的问题,这些资源
的类型给出了这些问题性质的额外信息(见 5.5.2 节)。
下面给出连接这些资源的关键字及相关解释。
5.5.1 原始参考关键字
Reference Source
Annex G of ISO 9899 [2]
Unspecified Unspecified behavivour (G.1)
Undefined Undefined behavivour (G.2)
Implementation Implementation-defined behaviour (G.3)
Locale Locale-specific behaviour (G.4)