双语术语表
中/英文术语对照表。
| 英文 | 中文 | 解释 | 使用建议 | 引用 |
|---|---|---|---|---|
| abstract class | 抽象类 | 【类型】禁止作为全派生对象的类型，但可作为基类 | ||
| abstract-declarator | 抽象声明符 | 【文法】没有标识符部分的声明符，指定类型的指针、引用、数组和函数方面的性质 | ||
| abstract-pack-declarator | 抽象包声明符 | 【文法】抽象声明符的包展开式，其核心部分为“...”，但不允许有括号和尾部返回类型部分 | ||
| access | 访问 |
【执行】（运行时）读取或修改内存位置中的值 |
||
| access check | 访问检查 | 【语义】在名字查找和重载解析之后，检查类的成员名是否允许访问 | ||
| access control | 访问控制 | 【语义】通过对类成员的访问进行安排以实现封装的行为 | ||
| access-specifier access specifier |
访问说明符 访问说明符 |
【文法】关键字 public，protected 和 private，在成员说明（member-specification）和基类说明符（base-specifier）中使用 | ||
| acquire | 获取 | 【内存模型】三种同步操作的一种，可以和释放（release）操作构成“同步于（synchronized with）”关系等 | ||
| active member | 活跃成员 | 【对象】联合对象的当前有效的非静态成员 | ||
| active handler | 活跃（异常）处理器 | 【异常】异常处理器已完成捕获且尚未退出 | ||
| addition operator | 加法运算符 | 【语法】二元 +，operator+ | ||
| additive-expression | 加法性表达式 | 【文法】二元加法和减法或更高优先级的表达式 | ||
| additive operator | 加法性运算符 | 【语法】包括二元加法和减法运算符 | ||
| address | 地址 | 【对象】指针的值，每个字节有一个独立的地址 | ||
| address-of operator | 取地址运算符 | 【语法】一元 operator& | ||
| aggregate | 聚合 | 【类型】可以进行聚合初始化的类型 | ||
| aggregate initialization | 聚合初始化 | 【语法】用花括号初始化式列表不经由构造函数而依次对其成员进行初始化 | ||
| algorithm | 算法 |
以一定步骤达成某种运算目的的程序执行流程 |
||
| alias | 别名 |
【语法】命名空间、类型或对象的其他名字。类型的别名称为“typedef 名” |
||
| alias-declaration | 别名声明式 | 【文法】用 using 关键字定义类型别名 | ||
| alias template | 别名模板 | 【语法】模板化的别名声明式 | ||
| alignment | 对齐 | 【对象】类型或对象的对齐要求的值，为 2 的幂 | ||
| alignment requirement | 对齐要求 | 【对象】类型或对象要求在内存中以特定的对齐值的整数倍地址位置放置 | ||
| alignment-specifier | 对齐说明符 | 【文法】用关键字 alignas 指定对齐要求为与某个类型相同或为某个对齐值 | ||
| allocate | 分配 | 【对象】分配动态内存，或某种受管理的资源 | ||
| allocated type | 被分配的类型 | 【语法】new 表达式中的类型 | ||
| allocation function | 分配函数 | 【语法】operator new 和 operator new[]。 | ||
| allocator | 分配器 | 【标准库】提供内存模型的抽象并负责内存资源的分配和回收的组件 | ||
| alternative token | 替代记号 | 【词法】某些运算符或标点符号的可以等价地换用的另一种写法，又称为“二联符（digraph）” | ||
| ambiguity | 歧义 | 【文法】两种产生式出现冲突 【语义】名字查找中出现源于多继承的冲突 |
||
| amortized constant | 摊销常量 | 【执行】算法或操作的复杂度，以长期看是常量时间，但偶尔出现非常量时间的操作 | ||
| AND | 与 | 【运算】布尔函数 | ||
| and-expression | 与表达式 | 【文法】按位 AND 操作或更高优先级的表达式 | ||
| anonymous union | 匿名联合 | 【语法】既未提供类型名字也未声明变量名字的联合声明式，声明一个隐含的联合对象 | ||
| appertain to | 属于 | 称某个特性标注属于某种语言构造或实体 | ||
| apply | 实施，运用 | |||
| apply to | 适用于 | |||
| arbitrary-positional stream | 可任意定位流 | 【标准库】可以 seek 的流
|
||
| architecture | 架构，体系结构 | 【实现】CPU 等设备的总体性质 | ||
| argument | 实参 | 【语法】各种参数化场合（函数，模板，函数式宏等）中，使用参数化实体时所提供的逗号分隔列表中的一项 | ||
| argument-dependent name lookup | 依赖于实参的名字查找 | 【语义】在未限定的函数调用表达式中，考虑所出现的所有（函数或模板的）实参所在的命名空间来查找被调用的函数 | ||
| argument substitution | 实参代换 | 【预处理】调用函数式宏时，将宏的定义中的形参替换为实参记号序列 | ||
| arithmetic exception | 算术异常 | 【实现】某些算术运算可能引发的异常，如除零，溢出和浮点异常等 | ||
| arithmetic type | 算术类型 | 【类型】包括整数和浮点类型 | ||
| array | 数组 | 【类型】连续排列的同类型对象，可以有多维数组 | ||
| array bound | 数组边界 | 【类型】已知或位置的数组的元素个数 | ||
| array element | 数组元素 | 【对象】数组的子对象 | ||
| array of N T | T 的 N 元素数组 | |||
| array of unknown bound of T | T 的边界未知的数组 | |||
| array-to-pointer conversion | 数组向指针转换 | 【语义】衰变转换之一，每当需要纯右值时都会实施该转换 | ||
| arrow operator | 箭头运算符 | 【语法】即指针成员运算符 operator-> | ||
| as-if rule | “如同”规则 | 【语义】根据“可观察行为”所给出的规则 | ||
| asm-definition | 汇编定义式 | 【文法】编写嵌入式汇编的语言构造 | ||
| assembler | 汇编器，汇编 | 【实现】配合编译器产生特定体系结构的机器代码的工具 | ||
| assertion | 断言 | 【语义】声称某个表达式必定为真，由实现在运行时或编译时予以检查 | ||
| assignment | 赋值 | 【语法】赋值表达式，将变量左值所代表的对象的值改变为所提供的表达式的值 | ||
| assignment-expression | 赋值表达式 | 【文法】赋值和组合赋值操作，以及更高优先级的各种运算的表达式，还用于一同代表条件表达式和 throw 表达式 | ||
| assignment-operator assignment operator |
赋值运算符 赋值运算符 |
【文法】赋值和组合赋值的运算符：=，*=，…… 【语法】各种赋值运算符函数，包括复制赋值运算符和移动赋值运算符 |
||
| associated class | 关联类 | 【语义】在 ADL 中所确定的相关类 | ||
| associated namespace | 关联命名空间 | 【语义】在 ADL 中所确定的相关命名空间 | ||
| associative container | 关联容器 | 【标准库】提供键-值映射风格接口并维持有序性的容器 | ||
| asynchronous provider | 异步提供器 | 【标准库】异步向某个共享状态提供值的实体，如 promise 和 task 等 | ||
| asynchronous return object | 异步返回对象 | 【标准库】在共享状态上阻塞以获取其结果的实体，如 future | ||
| atomic operation | 原子性操作，原子操作 | 【内存模型】带有可见性和顺序性语义约束的标量内存操作 | ||
| atomic type | 原子性类型，原子类型 | 【标准库】提供原子性操作的类模板的特例 | ||
| attribute attribute |
特性 特性，特性标注 |
【文法】特性说明符列表中的一项，可以带有实参部分 【语法】为各种语言构造进行特定标注，语法形式一般为 [[ ns::attr1, attr2... ]] |
||
| attribute-declaration | 特性声明式 | 【文法】仅包含特性标注的声明式 | ||
| attribute-specifier | 特性说明符 | 【文法】以双方括号（[[ ]]）包围的特性标注的列表，其中可以在开头指定一个公用的特性命名空间 using 前缀 | ||
| attribute-token | 特性记号 | 【文法】某个特定特性的名字，可以带有命名空间前缀 | ||
| atomatic storage duration | 自动存储持续期 | 【语义】变量的生存期随运行栈的各级结构的进入和退出自动开始和结束 | ||
| atomatic variable | 自动变量 | 【语义】具有自动存储持续期的变量 | ||
| backslash | 反斜杠 | 【文法】字符 \，作为转义序列的开头字符和逻辑行拼接字符 | ||
| base characteristic | 基础特征 | 【标准库】类型特征的基类，为 integral_constant 模板的特例 | ||
| base class | 基类 | 【语法】定义类派生与其他的类 | ||
| base class initializer | 基类初始化式 | 【语法】在构造函数的构造函数初始化式（ctor-initializer）部分中用以初始化基类子对象的初始化式 | ||
| base class subobject | 基类子对象 | 【对象】派生类对象中的基类部分，大小可能为零 | ||
| base-clause | 基子句 | 【文法】类头（class-head）中指定基类的部分，包括冒号和基类列表 | ||
| base-specifier | 基说明符 | 【文法】基子句中指定一项基类的类型，可选包括其特性标注、访问说明符和是否为 virtual，类型可以是带有限定的类名（class-name）或 ‘’decltype-说明符 | ||
| basic character set | 基本字符集 | 【词法】基本源字符集或基本执行字符集 | ||
| basic source character set | 基本源字符集 | 【词法】96 个指定的字符：a-zA-Z0-9_{}[]#()<>%:;.?*+-/^&|~!=,\"'，加上 \t、\v、\f、\n 和空格 | ||
| basic execution character set basic execution wide-character set |
基本执行字符集 基本执行宽字符集 |
【词法】基本源字符集加上 \a、\b、\r 和 \0 | ||
| behavior | 行为 | |||
| best viable function | 最佳可行函数 | 【语义】重载解析中所确定的具有最好的隐式转换序列的函数 | ||
| binary fold | 二元折叠 | 【语法】有两个表达式参与的折叠表达式 exp1 op ... op exp2 | ||
| binary left fold | 二元左折叠 | 【语法】右侧表达式为未展开的形参包的二元折叠表达式 arg op ... op pack | ||
| binary-literal | 二进制字面量 | 【文法】以 0b 或 0B 开头的整数字面量，允许 0，1 和分隔符 ' | ||
| binary operator | 二元运算符 | 【语法】有两个操作数的运算符 | ||
| binary right fold | 二元右折叠 | 【语法】左侧表达式为未展开的形参包的二元折叠表达式 pack op ... op arg | ||
| binding of default argument | 默认实参的绑定关系 | 【语义】默认实参表达式中使用的实体于声明时确定 | ||
| bit | 位 | 【内存】最小信息单元，0 或 1 | ||
| bit-field | 位域 | 【对象】整数或枚举类型，指定了位长度的非静态数据成员，零长度的位域用于分隔内存位置 | ||
| bitmask type | 位掩码类型 | 【标准库】某些标准库类型提供位的组合操作，以作为控制行为的标记值 | ||
| bitset | 位集合 | 【标准库】定长的位集合类 | ||
| bitwise AND operator | 按位与运算符，按位 AND 运算符 | 【语法】二元 operator& | ||
| bitwise exclusive OR operator | 按位异或运算符，按位 XOR 运算符 | 【语法】二元 operator^ | ||
| bitwise (inclusive) OR operator | 按位或运算符，按位 OR 运算符 | 【语法】二元 operator| | ||
| bitwise negation operator | 按位取反运算符 | 【语法】一元 operator~ | ||
| bitwise shift operator | 位移运算符 | 【语法】左移和右移，二元 operator<< 和 operator>> | ||
| block | 块，代码块，阻塞 | 【语法】函数体中以花括号为边界的语句序列，提供块作用域并整体作为单个语句 【执行】线程等待某个条件的达成 |
||
| block-declaration | 块声明式 | 【文法】可以在块语句中出现的声明式（作为声明式语句（declaration-statement）） | ||
| block scope | 块作用域 | 【语义】由块语句所提供的作用域，默认的块作用域局部变量具有自动存储持续期 | ||
| block statement | 块语句 | 【语法】带有花括号边界的语句序列，复合语句（compound-statement），提供块作用域并整体作为单个语句 | ||
| block with forward progress guarantee delegation | 带有向前进展保证委托的阻塞 | 【执行】对并行算法在线程池中分派任务并阻塞的行为的抽象描述 | ||
| boolean | 布尔 | |||
| boolean conversion | 布尔转换 | 【语义】将算术、无作用域枚举、指针和成员指针值转换为 bool | ||
| boolean-literal | 布尔字面量 | 【文法】字面量关键字 true 和 false | ||
| boolean value | 布尔值 | |||
| bound argument | 已绑定实参 | 【标准库】bind 函数存储到其返回的函数对象中的实参值 | ||
| brace-or-equal-initializer | 花括号或等号初始化式 | 【文法】包括花括号和等号两种形式的初始化式，但不包括构造函数参数列表形式，可以用于所有初始化场合 | ||
| braced-init-list | 花括号初始化式列表 | 【文法】带有花括号的初始化式的逗号分隔列表 | ||
| bucket | 桶 | 【标准库】无序关联容器中的存储管理单位，存储具有相同散列值的元素 | ||
| built-in operator | 内建运算符 | 【语义】作为语言规则的一部分而提供的运算符 | ||
| byte | 字节 | 【内存】内存的最小可寻址单元，至少 8 位 | ||
| cache | 高速缓存 | |||
| call | 调用 | |||
| call signature | 调用签名 | 【标准库】function 等组件用以指定所支持的函数签名，即函数类型，没有函数名和形参名 | ||
| call wrapper | 调用包装器 | 【标准库】function，bind 等类型的对象，保存一个可调用对象为其目标对象，并提供向目标的调用操作的转发 | ||
| call wrapper type | 调用包装器类型 | 【标准库】function 等类型，提供向其目标对象的调用转发 | ||
| callable object | 可调用对象 | 【标准库】可调用类型的对象，可作为调用包装器的目标对象 | ||
| callable type | 可调用类型 | 【标准库】函数对象类型或者成员指针类型，可以用函数调用语法进行调用 | ||
| candidate function | 候选函数 | 【语义】重载解析中，根据名字查找所找到的所有函数声明式 | ||
| capture | 捕获，捕获式 | |||
| capture | 捕获式 | 【文法】lambda 表达式的捕获式列表（capture-list）中的一项 | ||
| captured by copy | 复制捕获 | |||
| captured by reference | 引用捕获 | |||
| capture-default | 默认捕获符 | 【文法】指定 lambda 表达式的默认捕获方式，可以为 & 或 {{{1}}} | ||
| carries dependency attribute | 传递依赖特性标注 | 【语法】标注函数的返回值或形参在函数中已经实现为提供按依赖顺序早于关系，编译器不需要专门为其添加指令以保护依赖关系了 | ||
| carry a dependency to | 传递依赖给 | |||
| case label | case 标号 | |||
| cast | 强制转换 | |||
| cast away constness | 强制移除常量性 | |||
| cast-expression | 强制转换表达式 | 【文法】C 风格强制类型转换，也代表所有其他一元表达式的语法范畴 | ||
| catch | 捕获 | |||
| catch clause | catch 子句，捕获子句 | 【语法】异常处理器的 catch 及其异常形参声明 | ||
| char-like object | 字符式对象 | 【标准库】字符式类型的对象，称为 basic_string 中的字符 | ||
| char-like type | 字符式类型 | 【标准库】即非数组 POD 类型，允许作为 basic_string 的值类型 | ||
| character | 字符 | 【标准库】字符串库、本地化库、I/O 库和正则表达式库中的值类型的对象 | ||
| character array initialization | 字符数组初始化 | 【语法】用字符串字面量初始化字符数组 | ||
| character container type | 字符容器类型 | 【标准库】用于代表字符的任何 POD 类型 | ||
| character-literal | 字符字面量 | 【文法】带有编码前缀（encoding-prefix）的一个单引号包围的字符序列，允许出现转义序列（escape-sequence） | ||
| character set | 字符集 | |||
| character type | 字符类型 | |||
| class | 类 | 【类型】自定义类型，可以包含数据成员、成员函数、嵌套类型等成员，提供作用域，包括类、结构和联合 | ||
| class declaration | 类声明式 | 【语法】即类定义式，将类声明为完整类型 | ||
| class definition | 类定义式 | 【语法】即类声明式，将类声明为完整类型 | ||
| class granding friendship | 授予友元关系的类 | |||
| class-head | 类头 | 【文法】类定义式的类说明符（class-specifier）中的花括号之前的部分，包括类关键字（class-key），类名部分，类虚说明符（class-virt-specifier）和基子句（base-clause）等各项 | ||
| class-key | 类关键字 | 【文法】class，struct，union | ||
| class member | 类成员 | |||
| class member access expression | 类成员访问表达式 | |||
| class member access operator | 类成员访问运算符 | |||
| class-name | 类名 | 【文法】类名，标识符（identifier）或简单模板标识（simple-template-id），不带有作用域限定；类的 typedef-名也是类名 | ||
| class scope | 类作用域 | 【语义】类提供作用域 | ||
| class-specifier class specifier |
类说明符 类说明符 |
【文法】类定义式的类型部分，包括类头（class-head）和花括号包围的成员说明（member-specifier）的序列 | ||
| class template | 类模板 | |||
| class template argument deduction | 类模板实参推断 | 【语义】从类模板的构造函数的函数实参推断出模板实参 | ||
| class template partial specialization | 类模板偏特化式 | 【语法】指定类模板对于某个自身也被参数化的实参列表时的定义式 | ||
| class template specialization | 类模板特化式 类模板特例 |
【语法】指定类模板对于某个特定实参列表时的定义式 【语义】类模板由某个特定实参列表限定后的实体类型；类模板特例是类 |
||
| class-virt-specifier | 类虚说明符 | 【文法】final，表明类是否可以被派生 | ||
| clause | 子句 | |||
| closure object | 闭包对象 | |||
| closure type | 闭包类型 | |||
| collating element | 校排元素 | 【标准库】基于区域（locale）的校排中作为单个字符处理的字符序列，比如 ij 或 ss | ||
| comma-operator | 逗号运算符 | 【语法】,，operator,，形参列表、实参列表、初始化式列表等场合下的逗号不是运算符 | ||
| comment | 注释，代码注释 | |||
| common initial sequence | 共同起始序列 | 【对象】两个标准布局结构中，从第一个非静态数据成员开始互相类型（及位域长度）匹配的各个成员 | ||
| common type | 公共类型 | |||
| comparision function | 比较函数 | 【标准库】相等性和关系运算符的运算符函数 | ||
| compatible with | 与……兼容 | 【标准库】shared_ptr 的一些模板化的构造、赋值、swap 和 reset 可以接受的指针实参的类型 Y* | ||
| compile | 编译 | |||
| complete object | 完整对象 | 【对象】不是其他对象的子对象的对象 | ||
| complete type | 完整类型 | 【类型】并非不完整类型的类型 | ||
| completely-defined class | 完全定义的类 | 【语法】类的闭花括号之后，类就被完全定义了 | ||
| complex number | 复数 | |||
| complexity | 复杂度 | |||
| compliance | 遵从性 | |||
| component | 组件 | |||
| composite pointer type | 合成指针类型 | 【语义】当进行指针比较和条件表达式运算时，需要涉及指针操作数的一种公共类型 | ||
| compound assignment operator | 复合赋值运算符，组合赋值运算符 | |||
| compound-statement compound statement |
复合语句 复合语句，组合语句 |
【文法】带花括号的语句序列，当做一个语句，并提供块作用域，又称“块语句”或“块” | ||
| compound type | 复合类型，组合类型 | 【类型】数组，函数，指针，引用，类（包括联合），枚举，成员指针，以及参与类型系统的 cv 限定符等 | ||
| concatenation | 拼接 | 【预处理】在宏的替换列表中将前后两个预处理记号或宏实参拼接成一个预处理记号 【语法】两个连续的字符串字面量被拼接成一个字符串字面量 |
||
| concept | 概念 | |||
| concurrent | 并发的 | |||
| concurrent forward progress guarantee | 并发向前进展保证 | 【执行】线程终将取得进展，即实现保证会调度这个线程执行 | ||
| concurrency | 并发， 并发性 | |||
| condition | 条件 | 【文法】任何表达式或带有初始化式的单个变量的声明式，适用于 if，switch，while 和普通 for；do-while 的条件不能声明变量所以不是条件 | ||
| conditional-expression | 条件表达式 | 【文法】?: 运算符的三元表达式，并代表更高优先级的其他表达式范畴 | ||
| conditional inclusion | 条件包含 | 【预处理】由 #include 等指令控制采用或排除某些源代码行 | ||
| conditional operator | 条件运算符 | 【语法】?:，不可重载 | ||
| conditionally-supported behavior | 有条件支持的行为 | 【实现】允许编译器作为一种扩展而提供的功能特性 | ||
| conflict | 冲突 | 【执行】两个线程并发读写同一个内存位置 | ||
| conjunction | 合取 | |||
| const safety | const 安全性 | |||
| const-default-constructible | 可 const 默认构造的 | 【类型】可以定义默认初始化的变量，类提供默认构造函数，或其成员和基类均有默认初始化式或为可 const 默认构造的 | ||
| const-qualified | const 限定的 | 【类型】顶层带有 const 限定符的类型 | ||
| const-volatile-qualified | const volatile 限定的 | 【类型】顶层带有 const 和 volatile 限定符的类型 | ||
| constant | 常量 | 【语法】C 语言中称文字直接量为常量，C++ 中称为字面量 | ||
| constant-expression constant expression |
常量表达式 常量表达式 |
【文法】条件表达式，即除赋值、逗号和 throw 意外的所有表达式 【语义】进行编译期求值的表达式，用作数组大小、模板实参、case 标号等场合 |
||
| constant initialization | 常量初始化 | 【语义】静态初始化的一种；初始化静态或线程持续期的变量，使其具有编译期即可决定的值 | ||
| constant initializer | 常量初始化式 | 【语义】为对象进行常量初始化的初始化式，常量表达式或者调用 constexpr 构造函数的表达式 | ||
| constant iterator | 常量迭代器 | 【标准库】不符合输出迭代器概念的迭代器；表达式 {{{1}}} 没有定义 | ||
| constant subexpression | 常量子表达式 | 【语义】允许作为条件表达式的子表达式，而条件表达式仍为核心常量表达式的表达式，比如 throw 等 | ||
| constexpr constructor | constexpr 构造函数 | 【语义】参数为字面量类型，不能涉及动态多态，不能有 mutable，goto，try 等 | ||
| constexpr function | constexpr 函数 | 【语义】参数和返回类型为字面量类型，不能涉及动态多态，不能有 mutable，goto，try 等 | ||
| constexpr if statement | constexpr if 语句 | 【语法】if constexpr (...)...，根据条件常量的值，其子语句之一为弃用语句 | ||
| constexpr specifier | constexpr 说明符 | |||
| constituent expression | 成分表达式 | 【执行】表达式自身，以及表达式中的初始化式列表中的每一项；用于统一定义子表达式的概念 | ||
| constness | 常量性 | |||
| construct | 语言构造，构造 | |||
| constructor | 构造函数 | |||
| consume | 消费 | |||
| contained value | 被包含的值 | 【标准库】any，optional，variant 中的值 | ||
| container | 容器 | |||
| context | 语境，上下文 | |||
| contextually converted to | 按语境转换为 | |||
| contiguous container | 连续容器 | 【标准库】容器的迭代器是随机访问的连续迭代器 | ||
| continue statement | continue 语句 | |||
| contravariant | 逆变 | |||
| control line | 控制行 | 【预处理】预处理指令，除 #if 等条件指令之外的预处理指令行 | ||
| conversion | 转换，类型转换 | |||
| conversion function | 转换函数 | 【语法】隐式或显式类型转换的成员运算符函数 | ||
| conversion-function-id | 转换函数标识 | 【文法】即转换函数的函数名，由 operator 和转换类型标识构成 | ||
| conversion rank | 转换等级 | 【语义】在进行重载解析时，将各种标准转换归类为三种等级：精确匹配，提升和转换 | ||
| conversion-type-id | 转换类型标识 | 【文法】转换函数的类型部分，仅允许类型名和指针、引用修饰，不允许数组或函数等 | ||
| converted constant expression | 经转换的常量表达式 | |||
| converting constructor | 转换构造函数 | |||
| copy | 复制，副本 | |||
| copy assignment operator | 复制赋值运算符 | |||
| copy constructor | 复制构造函数 | 【语法】非模板构造函数，第一个形参类型为 X& 或 const X&，可以有多个形参，但必须可以用单个实参调用 | ||
| copy elision | 复制消除 | 【语义】某些情况下编译器略过对象的复制操作而直接将值作为所传递的对象，有时也允许用移动操作代替复制操作 | ||
| copy-initialization | 复制初始化 | 【语义】等号初始化，以及函数传参和返回，异常捕获和抛出，和聚合成员的初始化为复制初始化；可能调用移动操作 | ||
| core constant expression | 核心常量表达式 | 【语义】允许进行编译期求值的表达式，不允许未定义行为，不允许 goto 和 throw 等操作，不允许涉及内存操作和 RTTI，不允许调用非 constexpr 函数，使用的变量必须为 constexpr 或字面量类型等 | ||
| covariant | 协变 | |||
| covariant return type | 协变返回类型 | 【类型】虚函数的返回类型，在其覆盖函数中可以改为某个派生类 | ||
| ctor-initializer | 构造函数初始化式 | 【文法】构造函数的函数体的一部分，冒号后跟着成员初始化式（mem-initializer）的列表 | ||
| cv-qualification | cv 限定性 | 【类型】类型的 cv 限定符修饰的状态，属于类型系统的一部分；类成员、函数形参、引用和指针和成员指针的各级都可以被限定 | ||
| current instantiation | 当前实例化 | 【类型】类模板或类模板的嵌套类的作用域中，类模板或嵌套类的注入类名，主模板中带有其模板形参列表的类模板名，或特化式中其所特化的模板形参列表的类模板名；亦即实例化后为当前实例的类型 | ||
| currently handled exception | 当前处理的异常 | 【语义】最近激活且仍活跃的异常处理器所处理的异常 | ||
| cv-combined type | cv 合并类型 | 【类型】两个指针类型 T1 和 T2，基于 T1 将 T2 的各级 cv 合并入其中并调整 const 限定 | ||
| cv-decomposition | cv 分解 | 【类型】将类型分解为 cv0 P0 .. cvn U，其中 Pi 为指针或成员指针；cv 分解不唯一，U 可以为指针类型 | ||
| cv-qualification | cv 限定性 | |||
| cv-qualification signature | cv 限定性签名 | 【类型】最长的 cv 分解中的序列 cv1 .. cvn（不包括顶层的 cv0）；仅在 cv 限定性签名上有区别的类型是相似类型 | ||
| cv-qualifier cv-qualifier |
cv-限定符 cv 限定符 |
【文法】const 和 volatile | ||
| cv-unqualified type | cv 未限定的类型 | 【类型】没有顶层 cv 限定符的类型 | ||
| data | 数据 | |||
| data member | 数据成员 | |||
| data race | 数据竞争 | |||
| deadlock | 死锁 | |||
| deallocate | 回收 | |||
| deallocation function | 回收函数 | 【语法】即 operator delete 和 operator delete[] | ||
| decay | 衰变 | 【语义】当使用右值时对左值进行的三种转换：左值向右值，数组向指针和函数向指针 | ||
| decimal-floating-literal | 十进制浮点字面量 | 【文法】浮点字面量（floating-literal）的一种，包含十进制的整数和小数，e 和十进制指数部分的十的幂 | ||
| decimal-literal | 十进制字面量 | 【文法】整数字面量的一种，不以 0 开始的十进制数字序列 | ||
| declare | 声明 | |||
| decl-specifier | 声明说明符 | 【文法】声明式中声明符列表之前的各项，包括类型（包括简单类型，类和枚举的定义体等），const，volatile，virtual，explicit， friend，typedef，constexpr，inline， static，thread_local，extern，mutable | ||
| declaraton | 声明式 | 【文法】所有声明式的总范畴，包括块声明式（block-declaration）和命名空间、模板和连接说明等 | ||
| declaration | 声明式，声明 | 【语法】赋予实体各种性质的语言构造 | ||
| declaration point | 声明点 | |||
| declaration-statement declaration statement |
声明式语句 声明式语句 |
【文法】作为语句（statement）的块声明式（block-declaration） | ||
| declarative region | 声明区 | |||
| declarator | 声明符 | 【文法】声明式中，指定所声明的一个变量或函数的部分；变量的说明符可以带有初始化式，函数参数的说明符可以带有等号的默认 实参 | ||
| decltype specifier decltype-specifier |
decltype 说明符 decltype-说明符 |
【文法】decltype 关键字跟着带括号的 auto 或表达式，用以代表表达式的静态类型或类型占位符 | ||
| decode | 解码 | |||
| decomposition declaration | 分解声明式 | |||
| decrement expression | 自减表达式 | |||
| decrement operator | 自减运算符 | |||
| deduce | 推断 | |||
| deduced type | 推断出的类型 | |||
| deduction-guide deduction guide |
推断指导 推断指导 |
【文法】以函数声明的语法形式为类模板提供进行模板实参推断的指导方案 | ||
| default access control | 默认访问控制 | 【语义】class 为 private，struct 为 public | ||
| default argument | 默认实参 | |||
| default argument promotion | 默认实参提升 | |||
| default behavior | 缺省行为 | 【标准库】由实现提供的可替代函数的缺省实现的行为，应当符合该函数的‘预期行为’ | ||
| default constructor | 默认构造函数 | |||
| default-initialization | 默认初始化 | |||
| default-inserted element | 默认插入的元素 | 【标准库】容器中通过调用默认构造所插入的元素 | ||
| default label | default 标号 | |||
| default member initializer | 默认成员初始化式 | |||
| default memory resource pointer | 缺省内存资源指针 | 【标准库】某些库组件缺省时使用的内存资源，可以通过 set_default_resource 和 get_default_resource 管理 | ||
| defaulted | 预置的 | |||
| defaulted function | 预置函数 | |||
| deferred function | 推迟的函数 | 【标准库】以 launch::deferred 通过 async 所调用的函数 | ||
| define | 定义 | |||
| definition | 定义式，定义 | |||
| defining-type-id | 定义类型标识 | 【文法】用于指定一个类型，允许提供类或枚举的定义体，可以用作别名声明的目标类型 | ||
| defining-type-specifier | 定义类型说明符 | 【文法】声明说明符或别名声明中用以指定类型的部分，为类型说明符或者类或枚举的定义体 | ||
| delegating constructor | 委派构造函数 | |||
| delete | 删除 | |||
| delete-expression | delete-表达式 | 【文法】delete 或 delete[] 运算符的表达式，可以带有全局限定 | ||
| delete operator | delete 运算符 | 【语法】即 delete 或 delete[] | ||
| deleted | 被删除的 | |||
| deleted definition | 被删除定义 | |||
| deleted function | 被删除函数 | |||
| deleter | 删除器 | 【标准库】提供给 unique_ptr 或 smart_ptr 的对象，负责处置或回收资源 | ||
| denormalized value | 非正规的值 | 【对象】浮点类型，次正规值 | ||
| dependency-ordered before | 按依赖序早于 | |||
| dependent member | 待决的成员 | |||
| dependent base class | 待决的基类 | |||
| dependent name | 待决的名字 | |||
| dependent type | 待决的类型 | |||
| deprecate | 摒弃，不推荐使用 | 【语义】标记某项语言功能特性或程序库实体因为缺陷或其他原因不再建议使用，一般会提供替代方案 | ||
| deque | 双端队列 | |||
| dereference | 解引用 | |||
| derivation | 派生 | |||
| derived class | 派生类 | |||
| derived-to-base conversion | 派生类向基类转换 | |||
| destroy | 销毁 | |||
| destruction | 销毁 | |||
| destructor | 析构函数 | |||
| device | 设备 | |||
| diagnosable rule | 可诊断规则 | |||
| diagnostic message | 诊断消息 | |||
| digraph | 二连符 | |||
| direct base class | 直接基类 | |||
| direct-initialization | 直接初始化 | |||
| direct-list-initialization | 直接列表初始化 | |||
| directed acyclic graph | 有向无环图 | |||
| directive | 指令 | |||
| directory-separator | 目录分隔符 | 【文法】路径名中的目录分隔符，斜杠或者操作系统定义的字符 | ||
| disambiguation | 歧义消解 | |||
| discarded-value expression | 弃值表达式 | |||
| discarded statement | 弃用语句 | |||
| discrete probability function | 离散概率函数 | |||
| disjunction | 析取 | |||
| distribution | 分布 | |||
| division operator | 除法运算符 | |||
| do statement | do 语句 | |||
| domain error | 值域错误 | |||
| dot | 点 | 【文法】单个点构成的文件名，代表本层目录 | ||
| dot-dot | 点点 | 【文法】两个点构成的文件名，代表上层目录 | ||
| dot operator | 点运算符 | |||
| dynamic | 动态的 | |||
| dynamic binding | 动态绑定 | |||
| dynamic cast | 动态强制转换 | |||
| dynamic initialization | 动态初始化 | |||
| dynamic storage duration | 动态存储持续期 | |||
| dynamic type | 动态类型 | |||
| elaborated-type-specifier | 详述类型说明符 | 【文法】带有类关键字（class-key）或 enum 的名字，用于指定类型，具有声明语义 | ||
| element | 元素 | |||
| empty-declaration | 空声明式 | 【文法】单个分号 ; | ||
| empty statement | 空语句 | 【语法】即省略了表达式的表达式语句 | ||
| encode | 编码 | |||
| encoding-prefix | 编码前缀 | 【词法】即字符或字符串字面量前面的 u, u8, U, L | ||
| entity | 实体 | |||
| enclosing class | 外围类 | |||
| enclosing namespace | 外围命名空间 | |||
| enclosing scope | 外围作用域 | |||
| enum-base | 枚举基 | 【文法】冒号和类型，指定枚举类型的底层类型 | ||
| enum-head | 枚举头 | 【文法】枚举关键字 enum，enum class 或 enum struct，特性标注，名字和枚举基，即枚举说明符的花括号前面的部分；可以无名字 | ||
| enum-specifier | 枚举说明符 | 【文法】枚举类型的定义体，包括枚举头和花括号包围的枚举符定义式的列表 | ||
| enumeration | 枚举 | |||
| enumeration scope | 枚举作用域 | |||
| enumeration specifier | 枚举说明符 | |||
| enumeration type | 枚举类型 | |||
| enumerator enumerator |
枚举符 枚举符 |
【文法】枚举类型的成员，具名常量 |
||
| enumerator-definition | 枚举符定义式 | 【文法】枚举符，可选带有等号和常量表达式作为其初始化式 | ||
| equality | 相等性 | |||
| equality-expression | 相等性表达式 | 【文法】== 和 != 运算符，以及更高优先级的运算符的表达式 | ||
| equality operator | 相等运算符 | |||
| equivalence | 等价 | |||
| error | 错误，误差 | |||
| escape character | 转义字符 | |||
| escape-sequence escape sequence |
转义序列 转义序列 |
【词法】字符和字符串字面量中，反斜杠和 '"?\abfnrtv 的转义序列，以及八进制和十六进制转移序列，用以代表一个字符。通用字符名不是转义序列 | ||
| evaluation | 求值 | |||
| exception | 异常；例外 | |||
| exception-declaration | 异常声明式 | 【文法】异常处理器的 cache 子句中声明异常参数的声明式，与函数的形参声明式相同，但没有初始化式部分 | ||
| exception handler | 异常处理器 | |||
| exception specification | 异常说明 | |||
| exclusive-or-expression | 异或表达式 | 【文法】^ 和更高优先级的运算符的表达式 | ||
| execute | 执行 | |||
| execution character set | 执行字符集 | |||
| execution step | 执行步骤 | |||
| explicit | 显式；明确 | |||
| explicit-instantiation | 显式实例化式 | 【文法】关键字 template 跟着模板特例的声明（而不是定义）；可选带有 extern | ||
| explicit instantiation | 显式实例化式 | 【语法】明确要求实例化某个模板特例 | ||
| explicit instantiation declaration | 显式实例化声明式 | 【语法】以 extern 声明某个模板特例在其他翻译单元中实例化 | ||
| explicit-specialization | 显式特化式 | 【文法】模板特化式，具有空的模板形参列表 | ||
| explicit specifier | explicit 说明符 | |||
| explicit type conversion | 显式类型转换 | |||
| explicitly captured | 显式捕获的 | |||
| explicitly defaulted function | 显式预置的函数 | |||
| exponent | 指数 | |||
| expr-or-braced-init-list | 表达式或花括号初始化式列表 | 【文法】单个表达式或者花括号初始化式列表，下标，return 和基于范围的 for 中可以提供一个表达式或者一个花括号初始化式列表 | ||
| expression | 表达式 | 【文法】代表所有表达式的文法范畴 | ||
| expression-list | 表达式列表 | 【文法】各种函数调用的场合中括号中的列表，文法上为初始化式列表，即初始化式子句（没有等号）的列表 | ||
| expression-statement | 表达式语句 | 【文法】一个（可选的）表达式和一个分号构成的语句 | ||
| extend namespace definition | 扩展命名空间定义式 | |||
| extended alignment | 扩充对齐 | |||
| extended character set | 扩展字符集 | |||
| extended execution character set | 扩展执行字符集 | |||
| extended integer type | 扩充整数类型 | |||
| extended signed integer type | 扩充有符号整数类型 | |||
| extended source character set | 扩展源字符集 | |||
| extended unsigned integer type | 扩充无符号整数类型 | |||
| extension | 扩展，功能扩展 | |||
| extern specifier | extern 说明符 | |||
| external linkage | 外部连接 | |||
| feature | 特性 | |||
| function | 函数 | |||
| general | 通用 | |||
| header | 头文件 | |||
| I/O、Input/Output | 输入输出 | |||
| joiner | 缀连 | 【待商榷】 | ||
| keyword | 关键字 | |||
| localization | 本地化 | |||
| map | 图 | |||
| named requirement | 具名要求 | |||
| optional | 可选 | |||
| priority | 优先 | |||
| queue | 队列 | |||
| range | 范围 | |||
| standard | 标准 | |||
| type | 类型 | |||
| unordered | 无序 | |||
| variant | 变体 | |||
| wide | 宽 | |||