C/C++编程：名称

曾经终败给现在 2023-01-14 05:55 91阅读 0赞

# 两个概念 #

*  如果一个名称使用域解析符`::`或者成员访问运算符`->`来显式表明它所属的作用域，我们就称该名称为**受限名称**。
    
     *  `this->count`是受限名称
     *  `count`不是（即使count实际上引用的也是一个类名称）
 *  如果一个名称(以某种方式)依赖于模板参数，我们就称它为**依赖型名称**；但是如果T是一个已知的`typedef`(类型定义，比如int)，那么`std::vector<T>：：iterator`就不是一个依赖名称

# 分类 #

**标识符（Identifier）**：

*  一个只有字母、数字、下划线组成的不间断字符序列
 *  不能以数字开始，**避免以下划线开头和使用两个连续的下划线**
 *  有些标识符为实现所保留：你不能在你的程序中引入
 *  注意，这里的**字母**还包括通用字符名称UCN，UCN采用非字符的编码格式来存储信息

**运算符id（Operator-function-id）**

*  在关键字`operator`后面紧跟一个运算符符号。比如 `operator new`和`operator []`
 *  很多运算符都有其他表示方法。比如`operator &` 可以写成`operator bitand`。（在头文件`<iso646.h>`中定义了 `#define bitand &`）

**类型转换函数id（Conversion-function-id）**

*  用来表示用户定义的隐式类型转换运算符。比如`operator int&`可以写成`operator int bitand`

**模板id(Template-id)**

*  是一个模板名称，在它后面紧跟位于一对`<>`内部的模板实参列表。
 *  比如`List<T, int, 0>`

**非受限id(Unqualified-id)**

*  广义化的标识符(identifier)。它可以是前面的任何一种或者析构函数的名称(比如Date或者List<T, T, N>)

**受限id(qualified-id)**

*  用一个类名或者名字空间对一个unqualified-id进行限定，或者使用全局作用域解析运算符`::`进行限定
 *  这种名称可以是多次限定的
 *  例子：`::X`，`S::x`，`Array<T>::y`，`::N::A<T>::z`

**受限名称(Qualified name)**

*  标准中并没有定义这个概念。当需要引用基于受限查找(qualified、lookup)的名称时，我们使用了这个概念
 *  明确的说，它是一个qualified-id或者显式的使用成员访问运算符`.`或者`->`的unqualified-id。比如`S::x，this->f，p->A::m`等

**非限名称(unqualified name)**

*  不是Qualified name的就是unqualified name
 *  非标准概念，只是用来表示调用非受限查找时引用的名称

**名称**

*  一个受限或者非受限的名称

**依赖型名称**

*  一个以某种方式依赖于模板参数的名称
    
     *  显示包含模板参数的受限名称或者非受限名称是依赖型名称
     *  一个用成员访问运算符(`.`/`->`)限定的受限名称
     *  如果访问运算符左边的表达式类型依赖于模板参数，该受限名称也是依赖型名称
     *  对于`this->b`中的b，如果是在模板中出现的，那么b也是依赖性名称
     *  对于类型`ident(x, y, z)`的调用，如果其中有某个参数是依赖于模板参数的类型，那么标识符ident也是依赖型名称