6.2.3 标识符的名字空间 1.如果一个特定标识符的多个声明在一个翻译单元的任意一点可见,那么语法上下文会区分对不同实体的引用.从而,对于标识符各种不同的类别具有独立的名字空间: ——标签名(通过标签声明和使用的语法进行区分): ——结构体.联合体以及枚举的类型名(通过关键字struct.union或enum进行区分): ——结构体或联合体的成员:每个结构体或联合体为其成员具有一个独立的名字空间(通过用于访问成员的.或是->操作符的表达式类型进行区分): ——所有其它标识符称为普通标识符(声明…

6.4.2 标识符 6.4.2.1 通用 语法 1.identifier: identifier-nodigit identifier    identifier-nondigit identifier    digit identifier-nondigit: nondigit         universal-character-name other implementation-defined characters nondigit:以下字符之一 _    a到z    A到Z digi…

6.2.1 标识符的作用域 1.一个标识符可以表示一个对象:一个函数:一个结构体.联合体或枚举的一个标签或一个成员,一个typedef名:一个标签名:一个宏名:或一个宏形参.相同的标识符可以在程序中不同的点表示不同的实体.一个枚举的一个成员被称为一个枚举常量.宏名以及宏形参在这里不再进一步考虑,因为在程序翻译的语义阶段之前,任一源文件中宏名的发生用组成它们宏定义的预处理符记序列来代替. 2.对于一个标识符所指派的每个不同的实体,该标识符只有在程序文本的一个区域内是可见的(即,可以被使用),这个区…

6.2.2 标识符的连接 1.在不同作用域中声明的一个标识符或在同一作用域多次出现的一个标识符可以被用作对同一个对象或函数的引用,通过一个称为连接的过程.［注:在两个不同的标识符之间没有连接.］有三种类型的连接:外部连接,内部连接,无连接. 2.在构成一整个程序的翻译单元和库集合中,带有外部链接的一个特定的标识符的每个声明指示了同一个对象或函数.在一个翻译单元内,带有内部连接的一个标识符的声明指示了同一个对象或函数.不带有连接的一个标识符的每个声明指示了一个唯一的实体. 3.如果一个对象或一个函…

3. 术语.定义与符号 1.对于此国际标准的意图,应用了以下定义.其它术语是在用斜体类型或一个语法规则左侧出现的地方定义.在本国际标准中所显式定义的术语不被假定为对其它地方所定义的类似术语的隐式引用.在本国际标准中没被定义的术语将根据ISO/IEC 2382-1进行解释.在本国际标准中没被定义的数学符号将根据ISO 31-11中进行解释. 3.1 访问 1.<运行时行为>读或修改一个对象的值 2.注1:这里,这两个行为中同时只有一个发生,要么“读”,要么“修改”被使用. 3.注2:“修改”包括…

5.2.1 字符集 1.两个字符集和它们相关联的依次顺序应该被定义:写在源文件中的集合(源字符集),以及在执行环境中被解释的集合(执行字符集).每个集合此外被划分为一个基本字符集,其内容由本子条款给出,以及一组零个或多个区域特定的成员(这些不是基本字符集的成员),称为扩展字符.这些成员结合起来也被称为扩展字符集.执行字符集的成员的值是由实现定义的. 2.在一个字符常量或字符串字面量中,执行字符集的成员应该由相应的源字符集的成员或通过由倒斜杠\后面跟一到多个字符所构成的转义序列来表示.所以比特均为…

6.4.3 通用字符名 语法 1.通用字符名: universal_character-name: \u hex-quad(四位十六进制数) \U hex-quad hex-quad hex-quad: hexadecimal-digit    hexadecimal-digit    hexadecimal-digit    hexadecimal-digit 约束 2.一个通用字符名不应该指定一个字符,其短标识符比00A0要小,除了0024($),0040(@),0060(`)之外,也不应该…

5.1.2 执行环境 1.定义了两个执行环境:独立式(freestanding)以及宿主的(hosted).在这两种情况下,当一个派定的C函数被执行环境调用时,程序就启动.所有具有静态存储周期的对象应该在程序启动前被初始化(设置为它们的初始值).这种初始化的方式以及时间点是未指定的.程序终止将控制返回给执行环境. 5.1.2.1 独立式环境 1.在一个独立式环境中(在此环境中下,C程序可以无需借助任何操作系统的帮助进行执行［译者注:比如通过虚拟机解释执行］),在程序启动时所调用的函数名和类型是由…

4. 标准顺从 1.在本国际标准中,“应该”被解释为对一个实现或一个程序的要求:相反地,“不该”被解释为禁用. 2.如果违反了出现在一个强制规定或运行时强制规定之外的“应该”或“不该”要求,那么该行为是未定义的.否则,未定义行为在本国际标准中通过“未定义行为”这一短语或通过对任一显式定义的行为的缺省进行指定.在这三种表达方式之中没有特别的重点强调:它们都描述了“未定义的行为”. 3.在所有其它方面都正确的一个程序且操作正确的数据,却含有未指定的行为,那么应该是一个正确的程序并且其行为符号5.1.…

6 语言 6.1 标记法 1.在本条款中所使用的语法标记法.语义类别(非终结符)用斜体字指示,而字面量单词以及字符集成员(终结符)用粗体字指示.跟在一个非终结符后面的冒号(:)引出其定义.在单独的行中列出可替换的定义,除了当用单词“之一”开头时.一个可选的符号用下标“opt”来指示,这样 { expressionopt } 指示一个在大括号中包裹的可选的表达式. 2.当在文本中引用了语义类别时,它们不用斜体标明并且单词用空格而不是连接号(-)来分隔. 3.在附录A中给出了语言语法的概述. 6.2…

6.3 转换 1.有些操作符将操作数的值自动地从一种类型转换为另一种.本子条款指定了从这么一个隐式转换所要求的结果,以及从一个投射操作(一个显式转换)所要求的结果.在6.3.1.8中所列出的信息概括了由大部分普通操作符所执行的转换:它由6.5中的每个操作符的讨论作为要求而补充. 2.对一个操作数值转换为一个兼容类型不会导致对该值或表示的改变. 6.3.1 算术操作数 6.3.2 其它操作数…

6.5 表达式 1.一个表达式是操作符与操作数的一个序列,这些操作符与操作数指定了一个值的计算,或指派一个对象或一个函数,或是生成副作用,或执行上述操作的组合.对一个操作符的操作数的值计算顺序排在对该操作符的结果的值计算之前.［译者注:比如 + ) * ( - ); 对于上述表达式,就对于当中的 * 操作符而言,先计算乘法操作符左右两边的操作数的计算,最后再计算乘法操作结果. ］ 2.如果在一个标量对象上的副作用相对于同一标量对象上的另一个不同副作用或是使用同一标量对象的值的一个值计算,没有为其…

6.8.6 跳转语句 语法 1.jump-statement: goto    identifier    ; continue    ; break    ; return    expressionopt    ; 语义 2.一条跳转语句引发一个无条件跳转到另一个地方. 6.8.6.1 goto语句 约束 1.一条goto语句中的标识符应该命名一个标签,该标签坐落于当前封闭函数的某个地方.一条goto语句不应该从一个具有可变修改类型的标识符作用域的外部跳转到该标识符作用域的内部. 语义 2.…

6.7.9 初始化 语法 1.initializer: assignment-expression {    initializer-list    } {    initializer-list    ,    } initializer-list: designationopt    initializer initializer-list    ,    designationopt    initializer designation: designation-list    = des…

6.7.6 声明符 语法 1.declarator: pointeropt    direct-declarator direct-declarator: identifier (    declarator    ) direct-declarator    [ type-qualifier-listopt    assignment-expressionopt    ] direct-declarator    [ static    type-qualifier-listopt    as…

6.7.3 类型限定符 语法 1.type-qualifier: const restrict volatile _Atomic 约束 2.除了指针类型(其被引用的类型是一个对象类型)之外的类型,不应该被restrict限定. 3.被_Atomic修饰的类型不应该是一个数组类型或一个函数类型. 语义 4.与限定类型相关联的属性仅对作为左值的表达式有意义.［注:实现可以将一个非volatile的一个const对象放置到一个只读存储区域.此外,实现不需要为这么一个对象分配存储空间,如果其地址永远不被…

6.5.17 逗号操作符 语法 1.expression: assignment-expression expression    ,    assignment-expression 语义 2.一个逗号操作符的左操作数被计算为一个void表达式:在其计算与右操作数计算之间有一个顺序点.然后,右操作数被计算:结果是右操作数的类型与值［注:一个逗号操作符不产生一个左值.］ 3.例  由语法所指示的,逗号操作符(在此子条款中描述)不能出现在一个逗号被用于分隔一个列表中项的上下文中(诸如函数的实参或初…

6.5.16 赋值操作符 语法 1.assignment-expression: conditional-expression unary-expression    assignment-operator     assignment-expression assignment-operator: 以下之一         =    *=    /=    %=    +=    -=    <<=    >>=    &=    ^=    |= 约束 2.一个赋值操作…

6.5.6 加法操作符 语法 1.additive-expression: multiplication-expression additive-expression    +    multiplication-expression additive-expression    -    multiplication-expression 约束 2.对于加法,要么操作数都应该具有算术类型,要么其中一个操作数应该是一个指向一个完整对象类型的指针,而另一个应该具有整数类型.(递增等价于加1.) 3…

6.5.1 基本表达式 语法 1.primary-expression: identifier constant string-literal (    expression    ) generic-selection 语义 2.一个标识符是一个基本表达式,提供为,它作为指派一个对象(在这种情况下,它是一个左值)或一个函数(在这种情况下,它是一个函数指派符)而被声明.［注:从而,一个未声明的标识符是对此语法的违反.］［译者注:比如: ; a; // 这是一个基本表达式 ］ 3.一个常量是一个基…

5.2.4 环境限制 1.翻译与执行环境都约束了语言翻译器和库的实现.下面概述了对一个顺应标准实现的语言相关的环境限制:库相关的限制在条款7中讨论. 5.2.4.1 翻译限制 1.实现应该能够翻译并执行至少一个程序,该程序包含以下每个限制的至少一个实例:［注:实现应该尽量避免强加使用固定的翻译限制.］ —— 127个语句块的嵌套层级 —— 63个带条件的包含嵌套层级 —— 12个指针.数组与函数声明符(以任意结合)在一个声明中用于修饰一个算术.结构体.联合体或void类型. —— 63个圆括号包…

6.3.1 算术操作数 6.3.1.1 布尔.字符以及整数 1.每个整数类型具有一个整数转换等级,如下定义: ——两个带符号的整数类型都不应该具有相同等级,即使它们具有相同的表示. ——一个带符号整数类型的等级应该比任一具有更低精度的带符号整数类型的等级要高. ——long long int的等级应该比long int的等级要高,而long int等级要比int等级要高,int要比short int等级要高,而short int要比signed char等级要高. ——任一无符号整数类型的等级应…

1. 范围 1.本国际标准指定了C编程语言的形式并建立了对用C编程语言进行编写程序的诠释.［注:国际标准的设计是用于提升在多种数据处理系统中的C程序的可移植性.其目的在于能够被实现者与程序员所使用.］它指定了: ——C语言的表示: ——C语言的语法与强制规定: ——用于解释C程序的语义规则: ——由C程序进行处理的输入数据的表示 ——通过C程序所产生的输出数据的表示 ——遵循C实现的约束与限定. 2.本国际标准并不指定 ——C程序是通过什么机制进行变换而为一个数据处理系统所使用的: ——C程序是…

5.环境 1.一个实现在两个不同的数据处理系统环境下分别翻译C源文件与执行C程序,在本国际标准中分别称为翻译环境和执行环境.它们的特征定义并包含了根据顺从标准实现的语法及语义规则所构造的顺从标准的C程序的执行结果. 5.1 概念模型 5.2 环境上的考虑…

6.10.3 宏替换 约束 1.两个替换列表是相同的,当且仅当两个替换列表中的预处理符记都具有相同的数.次序.拼写,以及空白分隔符,这里所有的空白分隔符都认为是相同的. 2.当前被定义为一个类似对象的宏的标识符不应该被另一个#define预处理指示符重新定义,除非第二个定义是一个类似对象的宏定义,并且两个替换列表完全相同.类似的,当前被定义为类似函数的宏的标识符不应该用另一个#define预处理指示符重新定义,除非第二个定义是一个类似函数的宏定义,且具有相同个数的形参和拼写,以及两个替换列表完全…

6.10.2 源文件包含 约束 1.一个#include指示符应该指定一个能被实现处理的头文件或源文件. 语义 2.一个预处理指示符如下形式 #    include    <h-char-sequence>    new-line 搜索一个由实现定义的地方的序列,该地方用<和>分隔符之间所指定的序列唯一标识,并使得该指示符用头文件整个内容进行替换.这些地方如何指定或头文件标识符如何指定是由实现定义的. 3.一个预处理指示符的如下形式 #    include    "q…

6.10.1 条件包含 约束 1.控制条件包含的表达式应该是一个整数常量表达式,除了:标识符(包括那些词法上与关键字相同的)被解析为以下所描述的:［注:因为控制常量表达式在翻译阶段4期间被计算,所以所有标识符要么是宏名,要么不是宏名——它们不会是关键字.枚举常量等等.］并且它可以包含单目操作符表达式形式 defined    identifier 或 defined    (    identifier    ) 上述形式将被计算为1,如果标识符当前被定义为一个宏名(即,如果它已被预定义,或者如…

6.10 预处理指示符 语法 1.preprocessing-file: groupopt group: group-part group    group-part group-part: if-section control-line text-line #    non-directive if-section: if-group    elif-groupsopt    else-groupopt    endif-line if-group: #    if    constant-e…

6.9.2 外部对象定义 语义 1.如果对一个对象的标识符的声明具有文件作用域以及一个初始化器,那么该声明是对该标识符的一个外部定义. 2.对于具有文件作用域且没有一个初始化器.没有一个存储类说明符,或者具有存储类说明符static的对象的标识符的一个声明,构成了一个试验性的定义.如果一个翻译单元对于一个标识符包含了一个或多个试验性的定义,并且该翻译单元不包含对此标识符的外部定义,那么该行为就完全好比该翻译单元包含了对此标识符的一个文件作用域的声明,具有到此翻译单元末尾的复合类型,并且具有一个等…

5.1 概念模型 5.1.1 翻译环境 5.1.2 执行环境…