如何理解C++作用域运算符::访问嵌套类与typedef的规则

你对::运算符的认知存在一个常见偏差：作用域解析运算符::的核心作用是查找指定作用域下的名字，并非专门用于访问类的静态成员。

嵌套类、typedef不属于类的静态成员 #

类的作用域下一共包含两类可被::查找到的实体：

• 类的成员实体：包括静态数据成员、静态/非静态成员函数、非静态数据成员
• 类作用域内声明的类型实体：包括嵌套类、typedef/using定义的类型别名、嵌套枚举类型等

嵌套类、typedef属于第二类「类型实体」，根本不属于类的成员范畴，更谈不上是静态成员。它们只是遵循类的作用域规则，名字被限制在类的内部以避免全局命名污染，本身不依赖任何类的实例存在，这也是你可以直接用test::testinner、test::testdef定义变量的原因——你只是通过::找到了类作用域下声明的类型而已，这个逻辑和用命名空间名加::查找命名空间内的类型完全一致。

你示例中LINE(4)的编译错误，不是因为::找不到非静态成员s，而是找到之后的操作非法：非静态数据成员依附于每个具体的类实例存在，必须通过对象才能访问其存储的值，脱离实例直接赋值是语法不允许的。你可以尝试如下代码，是完全可以正常编译的：

// 合法：通过::获取非静态成员的成员指针，不需要类实例
int test::*p_member = &test::s;

这足以证明非静态成员同样可以被::定位到，只是后续使用需要遵守非静态成员的访问规则。而静态成员之所以可以直接通过类名::静态成员名操作，本质是因为静态成员本身不依附于实例，属于整个类共有，找到之后可以直接操作，和::运算符本身的能力边界无关。

typedef定义的类型别名本质 #

typedef的核心作用是为已存在的类型起一个别名，不会创建全新的类型。你示例中的test::testdef就是int的别名，变量tt3的实际类型就是int，两者不存在任何类型差异，互相赋值不需要做任何类型转换。

需要注意的是，这种等价性是类型语义层面的：test::testdef这个名字本身受类作用域保护，你在类外无法直接使用testdef这个名字，必须写全test::testdef的限定形式，但这只是C++名字查找层面的规则，不影响两个名字指向同一个类型的本质。

内容的提问来源于stack exchange，提问作者Kevin eyeson