为何C++允许单独重载*和->运算符？

首先得纠正一个认知：虽然普通指针里a->b确实等价于(*a).b，但用户自定义类型的operator->重载规则和operator*完全不一样，这是C++单独给它开的“特例”，也是必须单独重载的核心原因。

1. operator->的特殊递归行为 #

C++规定，当你重载operator->时，编译器会自动递归调用这个运算符，直到返回一个原始指针（比如T*），然后再用这个指针去访问成员。举个例子：

class Target {
public:
    int some_member = 0;
};

class Proxy {
public:
    Target* operator->() { return ⌖ }
private:
    Target target;
};

class SmartPtr {
public:
    Proxy operator->() { return proxy; }
private:
    Proxy proxy;
};

// 使用时
SmartPtr ptr;
ptr->some_member; // 等价于 (ptr.operator->().operator->())->some_member

这种递归链式调用是operator*做不到的——operator*返回的是对象或引用，不会自动继续解引用。如果只能靠operator*模拟->，你没法实现这种多层代理的场景，必须手动写一堆嵌套的(*(*ptr)).some_member，完全失去了->的简洁性。

2. 避免不必要的对象开销 #

很多场景下，我们不想在解引用时直接构造或返回对象。比如智能指针std::unique_ptr，它的operator*返回对象引用（T&），而operator->返回原始指针（T*）。如果->只能依赖operator*，那ptr->b就等价于(*ptr).b，这没问题，但如果是更复杂的代理类：

• 假设你有一个延迟加载的代理，只有当真正访问成员时才创建对象。如果用operator*，调用*proxy就必须立刻创建对象返回引用；但用operator->，你可以返回一个“轻量代理指针”，直到访问成员时才触发对象构造，大大节省开销。

3. 语义上的精准控制 #

*的语义是“获取对象本身”，->的语义是“访问对象的成员”，两者虽然相关，但并非完全绑定。有些类可能允许用户通过->访问成员，但禁止直接解引用对象（比如某些只读代理，防止用户修改对象本身）；反过来，有些类可能只允许解引用，不需要成员访问。单独重载让设计者能灵活控制这两种操作的权限和行为，而不是被迫绑定在一起。

4. 贴合指针的直觉行为 #

C++设计用户自定义类型的运算符重载，核心是让用户类型能像内置类型（比如指针）一样使用。内置指针里，*是解引用拿对象，->是直接访问成员，这是两个独立的操作。单独重载->能让自定义类型的行为和内置指针更一致，符合程序员的直觉，而不是强行把两个操作绑定成依赖关系。

你的思路里假设->只是(*a).b的宏，但实际上C++给operator->设计了特殊规则，让它能处理更复杂的场景，这也是为什么必须单独重载的原因。

内容的提问来源于stack exchange，提问作者k huang