intro.defs 翻译

这是一个几乎是私人的ISO 14882的内容翻译，希望看官指出不足！
http://eel.is/c++draft/intro.defs

<当前文档是声明总介绍,其目录根据翻译进度会逐渐列出.>

3 条款和定义

就本文而言,ISO/IEC 2382-1:1993中阐明的条款和在ISO 80000-2:2009中阐明的定义,条款,定义和符号,都适用于本文.

在标准化过程中所使用的,用于维护术语的数据库的ISO和IEC的地址如下:

(2.1) ISO在线浏览平台

(2.2) IEC Electropedia

[definitions]定义了[library]中的[thread]和[depr]额外的一些术语

文档中存在被定义的关键字仅出现在小部分内容时,将会用斜体在其被定义的地方标出

3.1 访问

一个运行时行为,表示读或修改一个对象的值

3.2 实参_{_{表达式调用}}

存在于函数调用表达式,是一个被圆括号包围的用逗号分割的序列的表达式

3.3 实参_{_宏参替换}

存在于类函数宏中,一个预处理记号的序列被圆括号包围的用逗号分割的序列

3.4 实参_{_{throw表达式}}

存在于throw表达式中,throw的操作数

3.5 实参_{_模板参数}

存在于模板实例化中,可以是一个常量表达式类型的id或是一个id表达式,是一组被尖括号包围的用逗号分割的序列

3.6 阻塞

等待一些在继续执行阻塞操作前一些条件的达成(除了实现执行执行线程的执行步骤)

3.7 可选的支持

一些东西实现并没有被要求支持对于一个程序的创建
注意 每个实现的记录了未被支持的可选地支持的创建行为

3.8 诊断信息

该消息属于一个实现定义的实现的输出消息的子集

3.9 动态类型

(泛左值)一些泛左值引用的派生类对象的类型最终派生类对象
例如:存在一个指针p其静态类型为指向类B的指针结果指向了一个派生自类B的类D,则表达式*p的动态类型是"D",引用同上

3.10 ill-formed 程序

非well-formed的程序

3.12 实现定义的行为

对于一个well-formed程序的构建和正确的数据,的行为,是取决于每个实现的文档中所说明的实现行为定义的

3.13 实现限制

一个实现对程序进行的限制

3.14 local-specific(本地特定) 行为

取决于国家,文化,每个语言实现文档所制定的约定的行为

3.15 多字节字符

由一个或多个字节所代表的源码或运行环境的扩展字符集合的成员的序列

3.16 形参

(出现于函数或catch列表)是作为函数声明或定义,或在异常处理中的catch字句中声明的一个对象或引用,其在异常处理或进入函数时获得值

3.17 形参

(出现于宏函数)在宏标记后紧随的括号包围的逗号分割序列中的一个标识符

3.18 形参

(出现于模板)模板参数列表的一个成员

3.19 标记

(出现于函数)一个名字,形参列表,包含该名字的名称空间(可选),返回类型,尾后的require-clause(可选)
注意:这个标记是名称重整和连接的基础

3.20 标记

(在函数模板中出现)一个名字,形参列表,包含该名字的名称空间(可选),返回类型,模板头和尾后的require-clause(可选)

3.21 标记

(出现于函数模板特例化中)一个特例化的模板和其模板实参的名字(不论是显式制定的还是推导所得的)

3.22 标记

(出现于类成员函数中)一个名字,形参类型列表,函数是某类成员的类,cv限定符(可选),引用限定符(可选)和尾后的require-clause(可选)

3.23 标记

(出现于类成员函数模板中)名字,形参类型列表,函数是某类成员的类,cv限定符(可选),引用限定符(可选),返回类型(可选),模板头和尾后的require-clause(可选)

3.24 标记

(出现于类成员模板特例化中)一个表示,可以是,成员函数的模板的特例化和其模板实参(不论是显式制定的还是推导所得的)

3.25 静态类型

不需要考虑执行语义即可获得一个表达式结果的类型
注意,一个表达式的金泰类型仅仅只取决于该表达式出现的位置的形式,并且在程序执行期间不会被修改

3.26 解(未)阻塞

满足一个或多个正在阻塞的线程所等待可执行的条件

3.27 未定义行为

文档没有强制要求的行为
注意:未定义行为可能会在使用了文档省略了的一些显式定义的行为或当程序使用了错误的表达行为或错误的数据时出现,允许的未定义行为的范围是:从完全忽略的行为和不可预料的结果到翻译期间或程序在文档规定了的字符集环境(可能会发出诊断信息)下运行及翻译结束或运行结束(可能会发出诊断信息).很多错误的表达行为并不会造成未定义行为,其需求会被诊断出来.对常量表达式的求值不会展现出明显的在[intor]到[cpp]范围内未指明的行为

3.28 未指定行为

对于一个well-formed的程序的创建和正确的数据的行为则取决于实现
注意:文档指定的行为实现并没有被要求.其可能的范围绝大部分都在该文档内被定义

3.29 well-formed程序

遵循了标准规则,可诊断语义规则和单一定义原则的C++程序