嵌套类受声明位置、作用域限定、访问权限三重约束，必须在外部类定义体内完整声明，不可前向声明或类外定义；其访问权限控制类型名可见性，且无法隐式访问外部类非静态成员。
嵌套类不是“写在花括号里就自动能用”的语法糖，它受三重约束：声明位置、作用域限定、访问权限。不满足任一条件，编译器就会报 'Inner' is inaccessible 或 'x' was not declared in this scope。
嵌套类必须在外部类定义体内完整声明
不能只前向声明，也不能拖到 .cpp 里定义主体。常见错误是：
-
class Outer { class Inner; };—— ❌ 前向声明在类内部无效，Inner不构成完整类型 -
class Outer { class Inner; }; class Outer::Inner { /* ... */ };—— ❌ 类外定义不被允许，C++ 标准禁止分离声明与定义
正确写法是直接在 Outer 的 { } 内写出完整定义：
class Outer {
public:
class Inner {
public:
void f() { /* ... */ }
};
};即使 Inner 很大，也得塞进 Outer 的定义块里；头文件变大是代价，但这是语言强制要求。
立即学习“C++免费学习笔记（深入）”；
Outer::Inner 的访问权限由声明位置决定
嵌套类的 public/private/protected 修饰的是“外部能否看到这个类型名”，不是它内部的成员可见性。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 放在
private:下 →Outer::Inner对外部不可见，连sizeof(Outer::Inner)都编译不过 - 放在
protected:下 → 只有Outer及其派生类能用Outer::Inner - 放在
public:下 → 外部可用，但必须带作用域限定符：Outer::Inner x;，不能简写为Inner x;（除非在Outer成员函数内且 C++11+）
注意：这个规则和 friend 无关——friend class Inner; 是冗余且非法的，因为 Inner 已是 Outer 的一部分。
嵌套类无法隐式访问外部类非静态成员
这是最容易踩坑的地方：Inner 不持有 Outer 的 this 指针，所以不能像普通成员函数那样直接读 outerData。
- 静态成员可直接访问：
Outer::s_static或s_static（如果无歧义）✅ - 非静态成员必须显式传入对象或指针：
void f(Outer& o) { std::cout ✅ - 想修改
Outer的私有非静态成员？只能靠friend class Inner;声明在Outer内部（不是Inner内）✅
典型错误示例：
class Outer {
int x = 10;
public:
class Inner {
public:
void bad() { std::cout << x; } // ❌ 编译失败：x 未声明
};
};模板类中的嵌套类要注意依赖名解析
当 Outer 是模板时，Outer<t>::Inner</t> 中的 Inner 是依赖名，在模板定义阶段可能不被识别，尤其在继承或 typedef 场景下。
- 在模板内部使用嵌套类，需加
typename前缀（如果它是个类型）：typename Outer<t>::Inner*</t> - 避免在模板参数未实例化时直接写
Outer::Inner，应写作Outer<t>::Inner</t> - 若嵌套类本身也要模板化，推荐独立定义为
template<typename u> class Inner</typename>，而非依赖外围模板参数
真正难的从来不是“怎么写”，而是“为什么不能省略 Outer::”“为什么 friend 要写在 Outer 里而不是 Inner 里”——这些细节一旦忽略，错误信息往往指向完全无关的行号。
