为何一元运算符&无需完整类型？含编译代码的技术疑问

API 探路者

2026-5-21

为什么前向声明的类型可以用一元&取地址，而std::addressof不行？

这问题抓得很准，我来一步步给你拆解清楚：

首先看你的代码，核心点有两个：你的func函数并没有被实际调用，以及默认一元&和std::addressof的底层逻辑差异。

1. 默认一元`&`为什么能处理不完全类型？

当你对一个对象使用&s时，如果这个类型没有重载operator&()，编译器会直接生成取对象内存起始地址的指令——这个操作根本不需要知道类型的完整定义！不管stru里面有什么成员、多大尺寸，它在内存里都是一块连续的空间，前向声明struct stru;已经告诉编译器“这是一个结构体类型”，足够编译器处理取地址操作了。

那如果stru之后被定义时重载了operator&()呢？

如果func从来没被调用过，编译器根本不会去实例化func的函数体，自然不需要判断有没有重载的operator&()，编译完全没问题；
如果func被调用了，那此时你肯定已经有了stru的完整定义（毕竟要创建stru的对象才能传递引用），编译器会在调用点根据完整类型判断该用默认&还是重载的operator&()，也不会有问题。

2. 为什么`std::addressof`要求完整类型？

std::addressof的设计目标是绕过重载的operator&()，强制返回对象的实际内存地址。它的实现依赖于一些需要知道类型完整信息的操作（比如通过reinterpret_cast处理对象的内存布局），而且C++标准明确要求std::addressof的模板参数必须是完整类型（除非是引用类型，但引用的底层类型也得是完整的）。

哪怕你只是写了std::addressof(s)但没调用，编译器在处理这个模板函数的声明时，也会检查模板参数的完整性，所以用前向声明的不完全类型会直接报错。