分类: C/C++
2013-02-25 13:39:51
3. 成员访问(->)操作符的重载
(参考了C++primer)
箭头(->)操作符,看起来很像二元操作符,左操作数是类对象,右操作数是类成员,即使如此,箭头操作符的重载函数是没有第二个形参的(第一个是隐含形参this),理解起来有点难度;
函数语句为:a->b;(其中,b可以是函数或者成员;)
步骤1. 如果a是指针,指向一个具有成员b的类对象,那么a->b返回a类型的成员b,至此,语句结束;
步骤2. 如果a是一个对象(对象必须重定义了“operator->”,否则报错),那么就调用a的operator->()函数,返回值:如果是指针则继续执行步骤1,如果是对象则继续执行步骤2,直到最终走到指针结束。
实例:
#include
#include
using namespace std;
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 C " << 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;
d->Printf(); // I am B
d.operator->()->Printf(); // I am B
d->operator->()->Printf(); // I am A
E e;
e->Printf(); // I am A
return 1;
}
解析:
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 ”;