标识符（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最内层封闭类的基类