标识符(identifier)是C++基本词法单元(即令牌token)之一,由字母(letter)、数字(digit)、下划线(underscore)组成,但是首字符必须为字母或下换线。
标识符的用途主要有两种:在声明中和在表达式中
用于声明中的标识符
声明(declaration)中的标识符用于为实体进行命名(name),包括:对象、引用、函数、枚举项、类型、类成员、命名空间、模版、模版特化、参数包(C++11)、goto标签等等。
某些特定标识符有特定含义,不再具备标识符功能:
- 关键字(keyword)
- 运算符的替代表示(Alternative Operator Representation)。为了兼容某些键盘缺少特定符号的情况,或者提高代码可读性,C++ 提供了一套可读性更强的替代运算符表示法。例如:使用and表示操作符&&
- 保留使用的标识符。这些标识符可能被编译器预定义,或者被标准头文件使用,建议用户程序中避免使用此类标识符,否则将会出现编译错误情况。例如:全局命名空间(global namespace)中以下划线开头、包含双下划线、下划线接大写字母等等。
用于表达式中的标识符
如果标识符用于命名变量、函数、枚举项或概念特化(specialization of a concept),那么这个标识符可以当做一个表达式(expression)。
此表达式的结果即为标识符所命名的实体,表达式的型(type)与此实体一致。同时,表达式的值类别(value category)(左值、右值等)也与此实体的类别有关。
表达式中有些特殊的名称,也具备标识符相同的角色:
- 重载运算符(overloaded operator)。例如:operator+
- 用户定义转换函数(user-defined conversion function)。例如:operator bool
- (C++11)用户定义字面量运算符(user-defined literal operator)。例如:operator "" _km
- 带参数列表的模版。例如:vector<int>
- 符号~后接类名,或(C++11)decltype说明符,或(C++26)包索引说明符(Pack Indexing Specifier)。例如:~MyClass、~decltype(str)、~pack...[0]
以上名称与普通标识符合称为非限定标识符表达式(unqualified identifier expression)。
相应的还有限定标识符表达式(qualified identifier expression),其中的标识符被域解析运算符(scope resolution operator)所修饰。例如:std::cout
当标识符表达式E为类C的非静态、非类型成员时,可能会进行隐式成员访问转换(Implicit member access transformation),将E转换为类成员访问表达式this->E。但是这种转换的发生需满足以下条件:
- 表达式E不能作为成员访问运算符(obj.E或ptr->E)的右操作数。
- 当E是限定标识符表达式(Class::member)时,不能直接作为取地址运算符&的非括号化操作数。
- 以下条件满足任一即可:
- E可以被求值(potentially evaluated)
- 类C是E所在的最内层封闭类
- 类C是E最内层封闭类的基类