标识符是一个由数字，下划线，大小写拉丁字母和大多数 Unicode 字符（见下文的详细说明）组成的任意长度的序列。有效的标识符必须以一个非数字字符（拉丁字母，下划线或 Unicode 非数字字符）开头。标识符区分大小写（小写和大写字母是不同的），而且每一个字符都是起作用的。

注意：C++ 的文法中形式上要求 Unicode 字符以 \u 或 \U 进行转义，但根据翻译阶段 1 ，这只不过是将源代码中的原始 Unicode 字符呈现给编译器的方式。还要注意的是，对这个功能特性的支持可能是有限的，比如 gcc

在声明中

可以用标识符来命名对象、引用、函数、枚举项、类型、类成员、命名空间、模板、模板特化、形参包、goto 标号，以及其他实体，但有以下例外：

• 关键词标识符不能用于其他目的；
  • 关键词只有在属性记号中可做他用。（例如 [[private]] 是一个合法属性）(C++11 起)
• 作为特定运算符与标点符的代用表示不能用于其他目的；

• 其中任何位置带有双下划线的标识符都是被保留的；
• 以一个下划线跟着一个大写字母开头的标识符是被保留的；
• 以一个下划线开头的标识符在全局命名空间中是被保留的。

这里“被保留”的意思是，标准库的头文件可能 #define 或者声明这样的标识符以便其内部使用，编译器可能会预先定义这种非标准的标识符，而且名字重整算法可能会假定某些这样的标识符是没有被使用的。如果程序员使用了这样的标识符的话，其行为是未定义的。

此外，在一个翻译单元 #define 或 #undef 特定名字是未定义行为，详情请见保留宏名。

僵尸标识符

某些标识符只存在于以往的 C++ 标准，换而言之，它们已经被移除。但是在特定语境中，它们为兼容早期标准而被保留。

在表达式中

命名某个变量、函数、概念的特化 (C++20 起)或枚举项的标识符可以作为表达式使用。仅由这个标识符组成的表达式的结果，是该标识符所命名的实体。若该标识符命名的是某个函数、变量、模板形参对象 (C++20 起)或数据成员，则表达式的值类别为左值，否则为纯右值（例如枚举项是纯右值表达式，概念的特化是 bool 纯右值 (C++20 起)）。该表达式的类型以下列方式确定：

void f() {
  float x, &r = x;
  [=] {
    decltype(x) y1;             // y1 拥有 float 类型
    decltype((x)) y2 = y1;      // y2 拥有 float const& 类型
                                // 因为此 lambda 非 mutable 而 x 是左值
    decltype(r) r1 = y1;        // r1 拥有 float& 类型
    decltype((r)) r2 = y2;      // r2 拥有 float const& 类型
  };
}

• 否则，表达式的类型与被命名的实体的类型相同。

在非静态成员函数内，命名非静态成员的每个标识符 member 都隐式变换成一个类成员访问表达式 this->member 。

无限定的标识符

除了适当声明了的标识符之外，以下各项也可以以相同方式用在表达式中：

• 函数写法的重载运算符名，比如 operator+ 或 operator new；
• 用户定义转换函数的名字，比如 operator bool；
• 用户定义字面量运算符的名字，比如 operator "" _km；
• 模板的名字后随其实参列表，比如 MyTemplate<int>；
• ~ 字符后随类名，比如 ~MyClass；
• ~ 字符后随 decltype 说明符，比如 ~decltype(str)。

这些和标识符一起，被称作无限定的标识表达式。

有限定的标识符

有限定的标识表达式是在无限定的标识表达式前面带上作用域解析运算符 ::，以及可选地带上一系列以作用域解析运算符分隔的 枚举、 (C++11 起)类或命名空间的名字，或者 decltype 表达式 (C++11 起)。例如表达式 std::string::npos 是命名在命名空间 std 内的类 string 中的静态成员 npos 的表达式。表达式 ::tolower 命名的是全局命名空间内的函数 tolower 。表达式 ::std::cout 指名 std 命名空间（顶层命名空间）中的全局变量 cout 。表达式 boost::signals2::connection 指名的是声明于 signals2 命名空间中的类型 connection ，前者则声明于命名空间 boost 。

有限定标识符中，可能会需要以关键词 template 来消除待决模板名的歧义。

关于为有限定的标识符进行的名字查找的细节，请参见有限定的名字查找。

名字

名字是以下各项之一，用来代表某个实体或者某个标号：

• 标识符；
• 函数写法的重载运算符的名字（ operator+ 、 operator new）；
• 用户定义的转换函数的名字（ operator bool）；
• 用户定义的字面量运算符的名字（ operator "" _km）；
• 模板的名字后随其实参列表（ MyTemplate<int>）。

每个代表实体的名字都是由声明引入到程序中来的。代表标号的名字则既可以通过 goto 语句，也可以通过带标号语句引入到程序中来。在多个翻译单元中使用的相同名字，可以根据其连接代表相同或者不同的实体。

每当编译器在程序中遇到一个未知的名字时，它就会通过进行名字查找来将其与引入这个名字的声明联系起来，但对模板的声明和定义中的待决名不会这样做。（对于这些名字，编译器需要确定它们命名的是类型、模板还是某些其他实体，这可能需要显式消歧义）

标识符中的 Unicode 字符

允许在标识符中使用下列 Unicode 字符范围：

不允许以下列 Unicode 字符的范围为标识符的开头：

参阅