为何C++未将string识别为关键字？测试代码可正常运行求解答

原提问场景 #

用户编写的测试代码如下：

#include <iostream>
using namespace std;
int main()
{ 
     char string[4] = 'xyz';  
     return 0;
}

用户的疑惑：一直认为string是C++的关键字，按道理用它当变量名编译器应该抛出错误，但实际这段代码可以正常运行，想知道背后的原因。

编译通过的核心逻辑 #

• 首先纠正一个普遍的认知误区：string从来不是C++的原生关键字
  C++语言层面强制保留的关键字是写在语法规范里的特殊标识，比如int、char、class、if这类，这些名字被编译器硬编码为禁止用作自定义标识符的保留字。但string只是标准库在std命名空间下定义的普通类名（是std::basic_string<char>的特化别名），本质是标准库提供的普通标识符，从来没有被纳入语言的保留字列表，本来就允许用户自定义同名实体。
  哪怕你引入<iostream>头文件（头文件内部为了支持流操作会连带引入<string>的定义，间接带出了std::string的实现）、加了using namespace std;把std命名空间的名字导入当前全局作用域，这些库定义的名字也没有获得“禁止自定义重名”的特权。

• C++的名字遮蔽规则让局部变量优先级远高于导入的库名
  你定义的char string[4]是main函数块内部的局部变量，按照C++的名字查找逻辑：编译器查找某个标识符时，会从最内层的当前作用域开始向外逐层匹配，只要内层作用域存在合法的同名实体，就会直接停止查找，外层的同名字会被完全遮蔽。
  对应到这段代码里，编译器碰到string这个名字时，第一时间就匹配到了main内部的局部字符数组，根本不会去std命名空间找那个字符串类型的类名，自然不会报重名冲突的错误。

• 顺带提一句这段代码本身的不规范之处：
  代码里写的char string[4] = 'xyz';用单引号包裹多字符内容，属于C++标准定义的实现定义行为——标准只规定了单字符字面量的语义，对多字符常量的取值没有统一要求，不少老编译器会对这种写法放宽校验不直接报编译错误，才让这段不规范的代码也能跑通。正常要给字符数组初始化字符串，应该用双引号包裹的"xyz"写法。
  类似的可以随便拿来当局部变量名的库名还有很多，比如cout、endl、vector这些，只要你在局部作用域定义了同名变量，编译器都会优先匹配你定义的实体，这是语言正常的设计规则，不是编译器的漏洞。

内容的提问来源于stack exchange，提问作者chintu tyagi