class a; 不能直接调用 a::func()，因为前向声明仅告知编译器 a 是个类，不提供成员信息，访问成员函数或变量会导致“invalid use of incomplete type”错误。
为什么 class A; 不能直接调用 A::func()
正向声明只告诉编译器“A 是个类”，不提供任何成员信息。一旦你尝试访问它的函数、成员变量，或者取 sizeof(A)，编译器立刻报错——典型错误是 invalid use of incomplete type 'class A'。
常见踩坑场景：在头文件里写 class A;，然后紧接着定义一个返回 A 或接受 A& 的函数；这看似合理，但若函数体在头文件中（比如内联函数），就会触发不完整类型错误。
- 正向声明只够用于指针 / 引用声明、函数参数 / 返回值（非值传递）、
sizeof以外的声明 - 函数定义必须放在看到
A完整定义之后的位置（通常是.cpp文件里 includeA.h） - 如果用了
std::unique_ptr<a></a>，正向声明足够；但std::shared_ptr<a></a>在某些旧标准库实现中可能要求完整类型（尤其析构时），稳妥起见仍建议在实现文件中 include
哪些头文件能被安全替换成前向声明？
判断依据很简单：这个头文件是否只被用来声明指针或引用类型？如果是，且你没在当前文件里 new/delete 它、没调用它的成员、没继承它、没用它做模板实参（如 std::vector<a></a>），那基本可以换。
典型可替换项：<string></string>（如果你只用 std::string*）、<vector></vector>（只声明 std::vector<t>*</t>）、项目内其他模块的头文件（如 NetworkManager.h）。
立即学习 “C++ 免费学习笔记（深入）”；
- 不能用前向声明替代
<iostream></iostream>—— 因为std::cout是对象，不是类型声明 -
std::function<void></void>不能靠class function;解决，它内部有模板展开逻辑，必须 include 完整头文件 - 枚举类（
enum class Status）可以用enum class Status;前向声明，但 C 风格枚举不行（enum Status {OK};必须定义可见）
include 和 forward declare 混用时的编译依赖陷阱
很多人以为“我在 .h 里 forward declare，.cpp 里 include 就万事大吉”，结果改了某个被 forward declare 的类定义后，相关 .cpp 并不重新编译——因为 Makefile 或 CMake 没把那个头文件列为依赖项。
根本原因：编译器只对实际 #include 的文件生成依赖关系，前向声明不触发依赖检查。一旦被前向声明的类结构变了（比如加了私有成员），而对应 .cpp 没重编译，链接期可能出诡异问题，甚至运行时崩溃。
- CMake 中用
target_include_directories(…… PRIVATE ……)不会自动解决这个问题；需确保所有用到该类型的 .cpp 都显式 include 对应头文件 - Clang/GCC 的
-M或-MM生成依赖时，不会包含前向声明涉及的头文件，得靠构建系统手动补全 - 更隐蔽的问题：模板类中用了前向声明的类型作为成员，但模板实例化发生在别处（比如导出的 inline 函数），此时错误可能延迟到链接或运行时
struct 和 class 前向声明有区别吗？
没有本质区别。C++ 标准规定 struct A; 和 class A; 是等价的前向声明，都表示“存在一个名为 A 的类类型”。区别只在于后续定义时默认访问权限不同，和前向声明本身无关。
但实际协作中建议统一风格：如果最终定义是 class A {……};，就用 class A; 前向声明；反之亦然。否则容易让新人误以为类型不一致，尤其在跨语言绑定或 IDE 补全时造成混淆。
- 不能混用
struct A;和class A {……};在同一翻译单元中（虽然某些编译器容忍，但标准未保证） - 前向声明后又用
typedef struct A A;是冗余且易错的，现代 C++ 完全不需要 - 模板参数中的前向声明（如
template<typename t> class Container;</typename>）不适用此规则——那是模板声明，不是类型前向声明
事情说清了就结束。前向声明不是银弹，它省的是头文件文本解析时间，不是类型理解成本；真正难的，是判断“这里到底需不需要知道 A 的内存布局”。
