operator->必须返回指针或重载了operator->的类对象，返回T&、T、std::optional等非指针类型会导致编译错误，因编译器无法对非结构体类型执行->操作。
为什么 operator-> 返回非指针/智能指针类型会触发这个错误
这个报错本质是编译器在解析 a->b 时，发现 a 不是类、结构体或联合体（即不是“structure or union”），也不具备合法的 operator->。最常见的情况是：你重载了 operator->，但它返回了一个普通对象（比如 T 或 T&），而不是 T*、T const*、std::unique_ptr<t></t> 这类能继续被 -> 解引用的类型。
例如：
struct Wrapper {
int value = 42;
int& operator->() { return value; } // ❌ 错误：返回引用，不能继续 -> 成员
};
当你写 w->value，编译器试图对 int& 做 -> 操作，自然报 “request for member in something not a structure”。
-
operator->必须返回指针类型（裸指针或重载了operator->的类对象） - 如果返回
T*，编译器会直接解引用并访问成员；如果返回另一个类对象，会递归调用它的operator-> - 返回
T&、T、std::optional<t></t>等都不合法
用 std::unique_ptr 或 std::shared_ptr 却忘了解引用就直接 ->
新手常误以为智能指针变量本身是“对象”，于是写 ptr->member 前没确认 ptr 是否已初始化，或误把 ptr.get() 当成原对象来用。但更隐蔽的坑是：你传入的是值而非智能指针，比如函数参数写成 void f(MyClass obj)，却在里面写 obj->x —— 此时 obj 是个普通对象，没有 operator->，当然报错。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 检查变量声明：是
std::unique_ptr<t> p;</t>还是T p;？只有前者支持-> - 若用
p.get()，得到的是T*，可以->；但若写成p.get()->x而p为空，运行时崩溃，编译期不报这个错 - 函数参数若为值传递（如
void foo(MyClass x)），x是对象本体，只能用.，不能用->
模板类中 operator-> 返回类型依赖未推导，导致编译器误判
在泛型代码里，比如自定义迭代器或包装器，operator-> 返回类型常写作 value_type* 或 pointer。但如果 value_type 是 const T，而你返回 T*，类型不匹配；更糟的是，若 pointer 是 typedef 但未正确定义（比如漏了 using pointer = T*;），模板实例化后 operator-> 可能被推导成 void 或其他非法类型，编译器就认定“不是 structure”。
- 确保类内明确定义
using pointer = T*;（或对应 const 版本） - 返回类型必须与声明一致：
pointer operator->() { return ptr_; }，不能写成T& operator->() - 用
static_assert(std::is_pointer_v<decltype>().operator->())>)</decltype>在编译期验证返回类型
忘记加括号导致运算符优先级出错
极少见但真实存在：你写了类似 ptr->func()->member，但 func() 返回的是一个临时对象，而你本意是先取地址再调用。更典型的是宏或模板展开后，-> 左侧实际是表达式（如 (get_ptr())->x），但漏了括号变成 get_ptr()->x，而 get_ptr() 返回非指针类型 —— 编译器看到的是对函数调用结果做 ->，自然报错。
- 遇到报错位置在某行末尾（如
foo()->bar），先单独打印decltype(foo())::value_type看返回类型 - 对不确定的表达式加括号：
(foo())->bar比foo()->bar更安全，便于调试 - 用 IDE 的 “Go to Definition” 跳转到
foo()返回类型声明处，确认是不是指针或可解引用类型
这个错误表面看是语法问题，根子往往在类型设计上：C++ 的 -> 是纯语法糖，背后全靠类型系统支撑。一旦返回类型偏离预期，编译器不会尝试“猜测”，而是直接拒绝。所以修的时候别只改符号，重点盯住 operator-> 的签名和调用链上每一步的静态类型。
