【转】C++对成员访问运算符->的重载

/*******************************************************
* File Name：main.cpp
* Description：演示成员访问操作符->的重载 
* Version：V1.0 
* Author：Mengjia 
* Date：2018-05-20 
* Copyright (C)2018, Mengjia
* Others:
******************************************************************************
运算符->的重载比较特别，它只能是非静态的成员函数形式（即不能在类外重载），
而且没有参数。
1、如果返回值是一个原始指针，那么就将运算符的右操作数当作这个原始
指针所指向类型的成员进行访问；
2、如果返回值是另一个类型的实例，那么就继续调用这个返回类型的operator->()，直到
有一个调用返回一个原始指针为止，然后就按第一种情况处理。

如果上述条件不满足（如：右操作数不是返回的原始指针指向的类型的成员，或者，
返回的另一个类型的实例中没有重载operator->()），那么编译将报错。
******************************************************************************
*******************************************************/
#include <iostream>
using namespace std;

//原始类
struct Origin
{
    int a;
};
//包装器类1，包装Origin类
struct Wrapper
{
    Origin* orig;
    Origin* operator->() const 
    {
        return orig;    //返回原始指针
    }
};
//包装器类2，包装Wrapper类
struct Wrapper2
{
    Wrapper* wrap;
    Wrapper& operator->() const
    {
        return *wrap;    //返回类对象
    }
};
int main()
{
    Origin o;
    o.a = 7;
    Wrapper w;
    w.orig = &o;
    Wrapper2 w2;
    w2.wrap = &w;

    cout << "w->a" << "\t\t\t\t" << w->a << endl;    
    cout << "w.operator->()" << "\t\t\t" << w.operator->() << endl;
    cout << "w.operator->()->a" << "\t\t" << w.operator->()->a << endl;
    
    cout << "w2->a" << "\t\t\t\t" << w2->a << endl;
    cout << "&w2.operator->()" << "\t\t" << &w2.operator->() << endl;
    cout << "w2.operator->()->a" << "\t\t" << w2.operator->()->a << endl;
    cout << "w2.operator->().operator->()" << "\t" << w2.operator->().operator->() << endl;
    cout << "w2.operator->().operator->()->a" << "\t" << w2.operator->().operator->()->a << endl;

    system("pause");
    return 0;

}

/*
*输出结果：
w->a                            7
w.operator->()                  00AFF7E4
w.operator->()->a               7
w2->a                           7
&w2.operator->()                00AFF7D8
w2.operator->()->a              7
w2.operator->().operator->()    00AFF7E4
w2.operator->().operator->()->a 7
**/