箭头(->)操作符,看起来很像二元操作符,左操作数是类对象,右操作数是类成员,即使如此,箭头操作符的重载函数是没有第二个形参的(第一个是隐含形参this),理解起来有点难度;
函数语句为:
a->b;(其中,b可以是函数或者成员;)
步骤1. 如果a是指针,指向一个具有成员b的类对象,那么a->b返回a类型的成员b,至此,语句结束;
解析:
1. d->Printf(); d是对象,执行d的“opterator->()" 成员函数,函数返回B*,即B类的指针,执行步骤1,执行Printf()成员,输出" I am B";
2. d.operator->()->Printf(); 等价于d->Printf();语句,
3. d->operator->()->Printf(); 按照结合性,划分执行循序:((((d->)operator->())->)Printf()); (d->)中d是对象,执行d的“opterator->()" 成员函数,函数返回B*(pB)指针; 接着按照步骤1执行pB的operator->() 成员函数,返回A*(pA)指针,pA->Printf();pA是指针,按照步骤1执行pA的成员函数Printf(),输出" I am A"
4. e->Printf(); e是对象,执行e的“opterator->()" 成员函数,函数返回B&(b),b是对象,再次执行b的“opterator->()" 成员函数,返回A*(pA)指针,按照步骤1,执行函数Printf(),输出 “ I am A ”;
函数语句为:
a->b;(其中,b可以是函数或者成员;)
步骤1. 如果a是指针,指向一个具有成员b的类对象,那么a->b返回a类型的成员b,至此,语句结束;
步骤2. 如果a是一个对象(对象必须重定义了“operator->”,否则报错),那么就调用a的operator->()函数,返回值:如果是指针则继续执行步骤1,如果是对象则继续执行步骤2,直到最终走到指针结束。
与此相对应,重载的箭头操作符的返回类型,只能是以下两种:
(1)返回指向类类型的指针;
(2)返回定义了自己的箭头操作符的类类型的对象;
示例:
/*******************************************************************/
// 重载箭头操作符
/*******************************************************************/
//类的定义,只有成员函数,没有数据成员
class A
{
public:
void Printf() { cout << "I am A " << endl; }
};
class B
{
public:
void Printf() { cout << "I am B " << endl; }
A* operator->() { return &m_A; }
private:
A m_A;
};
class D
{
public:
void Printf() { cout << "I am D " << endl; }
B* operator->() { return &m_B; } // 返回(&m_B)的解引用
private:
B m_B;
};
class E
{
public:
void Printf() { cout << "I am E " << endl; }
B& operator->() { return m_B; } // 返回 m_B 的引用
private:
B m_B;
};
//主函数
int main()
{
D d;
B b;
d->Printf(); // I am B
d.operator->()->Printf(); // I am B
d->operator->()->Printf(); // I am A
E e;
e->Printf(); // I am A
b = e.operator->(); //OK
//b = e->();//error!
//b = e->;//error!
b.Printf(); // I am B 调用B自身的成员函数
b->Printf();// I am A 先返回A,再指向A的成员函数
}
解析:
1. d->Printf(); d是对象,执行d的“opterator->()" 成员函数,函数返回B*,即B类的指针,执行步骤1,执行Printf()成员,输出" I am B";
2. d.operator->()->Printf(); 等价于d->Printf();语句,
3. d->operator->()->Printf(); 按照结合性,划分执行循序:((((d->)operator->())->)Printf()); (d->)中d是对象,执行d的“opterator->()" 成员函数,函数返回B*(pB)指针; 接着按照步骤1执行pB的operator->() 成员函数,返回A*(pA)指针,pA->Printf();pA是指针,按照步骤1执行pA的成员函数Printf(),输出" I am A"
4. e->Printf(); e是对象,执行e的“opterator->()" 成员函数,函数返回B&(b),b是对象,再次执行b的“opterator->()" 成员函数,返回A*(pA)指针,按照步骤1,执行函数Printf(),输出 “ I am A ”;