operator->重载问题总结
编写程序的时候,想让一个对象表现的像一个指针,因此需要重载->运算符。因此写下了如下的代码。由于全部贴出程序比较多,用简化的代码说明一下:
class A
{
public:
int i;
A(){i = 100;}
void print(
int a){printf("%d/n", a);}
A& operator->(){
return *this;}
};
int main()
{
int ret;
A a;
ret = a->i;
a->print(200);
}
发现编译不过去,想一想也对, A& operator->()这个按照正常的重载方法必须要有参数,比如a->i,则应为A& operator->(int i)。a->print(200),参数必须为函数。这又让我比较纠结了。考虑到这里想不"->"操作符的重载必然不是这种方法,但是我记得以前看过的书中又提到->重载的,却想不起来是那本书,在哪里。于是把c++ primer翻出来看了一下,没找到!又找了一下more effective c++也没找到。后来偶然在thinking in c++中看到了,虽然以前看过这本书,不过现在想来当时看的太不仔细了。不过由此也让我知道了->操作符重载与其他操作符重载不同的地方!
以下摘录于thinking in c++原文中部分描述。大概在280页的不常用的运算符章节
A pointer dereference operator must be a member function. It has additional, atypical constraints: It must return an object (or reference to an object) that also has a pointer dereference operator, or it must return a pointer that can be used to select what the pointer dereference operator arrow is pointing at. Here’s a simple example:
大致的意思就是重载->运算符一定是一个成员函数,它有额外的、非典型的限制:它必须返回一个对象(或对象的引用),该对象也有一个重载->运算符的函数;或者必须返回一个指针,被用于选择重载->箭头所指向的内容。
看完这段后,那么将我们的重载函数修改为A* operator->(){
return this;}应该就可以完成需要的行为了。下面给一段thinking in c++中的例子:
#include <iostream>
#include <vector>
#include "../require.h"
using namespace std;
class Obj {
static int i, j;
public:
void f() const { cout << i++ << endl; }
void g() const { cout << j++ << endl; }
};
// Static member definitions:
int Obj::i = 47;
int Obj::j = 11;
// Container:
class ObjContainer {
vector<Obj*> a;
public:
void add(Obj* obj) { a.push_back(obj); }
friend class SmartPointer;
};
class SmartPointer {
ObjContainer& oc;
int index;
public:
SmartPointer(ObjContainer& objc) : oc(objc) {
index = 0;
}
// Return value indicates end of list:
bool operator++() { // Prefix
if(index >= oc.a.size()) return false;
if(oc.a[++index] == 0) return false;
return true;
}
bool operator++(int) { // Postfix
return operator++(); // Use prefix version
}
Obj* operator->() const {
require(oc.a[index] != 0, "Zero value "
"returned by SmartPointer::operator->()");
return oc.a[index];
}
};
int main() {
const int sz = 10;
Obj o[sz];
ObjContainer oc;
for( int i = 0; i < sz; i++)
oc.add(&o[i]); // Fill it up
SmartPointer sp(oc); // Create an iterator
do {
sp->f(); // Pointer dereference operator call
sp->g();
} while(sp++);
}
#include <vector>
#include "../require.h"
using namespace std;
class Obj {
static int i, j;
public:
void f() const { cout << i++ << endl; }
void g() const { cout << j++ << endl; }
};
// Static member definitions:
int Obj::i = 47;
int Obj::j = 11;
// Container:
class ObjContainer {
vector<Obj*> a;
public:
void add(Obj* obj) { a.push_back(obj); }
friend class SmartPointer;
};
class SmartPointer {
ObjContainer& oc;
int index;
public:
SmartPointer(ObjContainer& objc) : oc(objc) {
index = 0;
}
// Return value indicates end of list:
bool operator++() { // Prefix
if(index >= oc.a.size()) return false;
if(oc.a[++index] == 0) return false;
return true;
}
bool operator++(int) { // Postfix
return operator++(); // Use prefix version
}
Obj* operator->() const {
require(oc.a[index] != 0, "Zero value "
"returned by SmartPointer::operator->()");
return oc.a[index];
}
};
int main() {
const int sz = 10;
Obj o[sz];
ObjContainer oc;
for( int i = 0; i < sz; i++)
oc.add(&o[i]); // Fill it up
SmartPointer sp(oc); // Create an iterator
do {
sp->f(); // Pointer dereference operator call
sp->g();
} while(sp++);
}
使用ObjContainer的函数add()将指向这些对象的指针存储在类型为ObjContainer的容器中。ObjContainer看起来像一个指针数组,但却没有办法取回这些指针。然而,类SmartPointer被声明为友元类,所以它允许进入这个容器内。
在main()中,一旦Obj对象装入容器oc,一个SmartPointer类的SP就创建了,灵巧指针按下面的表达式进行调用:
sp->f(); // Pointer dereference operator call
sp->g();
这里尽管sp实际上并没有成员函数f()和g(),但指针间接引用运算符自动的为用SmartPointer::operator->返回的Obj*调用那么函数。
sp->g();
这里尽管sp实际上并没有成员函数f()和g(),但指针间接引用运算符自动的为用SmartPointer::operator->返回的Obj*调用那么函数。
原文地址:http://wsqhs.spaces.live.com/blog/cns!94F639580F58209C!346.entry
原文地址:http://blog.csdn.net/zhuxiufenghust/article/details/5708167