1: 常对象(constant objects)
对象通常是指类型为类的一种变量。我们已知可以声明常变量和函数参数,这对类也适用。如:
const Clock ck;
如果试图调用一个成员函数去改变常对象:
ck.tick(); //error
或者,如果调用一个有指针或引用(reference)指向可变的Clock作为参数:
void f1(Clock *cp);
void f2(Clock& cr);
f1(&ck); //error
f2(ck); //error
编译器将给出错误提示。
某些成员函数不改变实际对象的数据成员值。这类成员函数称为常成员函数(constant functions).普通成员函数不能被常对象调用,但是可以调用常成员函数。问题是,如果我们不指明,编译器不知道所调用的成员函数是常函数。如,下面的语句将导致编译错误:
int hour = ck.read_hour();
因此,应该在类的定义中明显的定义那一个成员函数是常函数。做法是在函数定义中的参数列表之后写上const.如前所用的Clock类中的read_hour,read_min,read_sec和write都是常函数,可以写为:
class Clock {
public:
Clock() {};
Clock(int hour, int min, int sec);
void set(int hour, int min, int sec);
int read_hour() const { return h; }
int read_min() const { return m; }
int read_sec() const { return s; }
void write(bool write_sec = true) const;
void tick();
private:
int h, m, s;
};
现在,常对象ck就能调用下列函数:
ck.write(); //ok
int min = ck.read_min(); //ok
如果在常函数中试图改变对象的值,将出现编译错误。因此,在类定义中,暗示那个函数是常函数是非常好的习惯。
2:this 指针
当一个成员函数被调用时候,总是针对某个特定的对象而言的,如果做如下调用:
c1.tick();
c2.tick();
成员函数tick将被对象c1和c2分别调用。注意到并没有对象的名字在成员函数中出现。因此问题是tick函数怎么知道第一行的时候改变对象c1中的数据成员,而在第二行的时候改变c2中的数据成员值的呢?答案是所有成员函数都有一个隐藏的参数,此参数即不在参数列表中出现,也不在函数调用时出现。此隐藏参数总是叫做this。 它的类型是”指向c”,c是当前类的名字。所有在类Clock中的成员函数都有 一个隐藏类型为Clock *的隐藏参数this.
指针this被自动初始化,因此无论何时被调用时,总指向实际的对象。因此c1.tick(), this 将指向c1, c2.tick(), this 将指向c2.当成员函数中一个数据m被写的时候,编译器解释为this->m。
一般来讲,我们不必要考虑this,因为编译器自动管理。但下面两种情况我们必须在成员函数中明确使用this。
第一种:从一个成员函数内部调用另外一个成员函数,并且这个成员函数有一个实际的类作为参数的对象。
假设有以下函数声明:
void plan(Flight& f);
它得到一个航班的引用并放在一个列表中。如果我们想从类Flight一个成员函数mf中调用此函数,那么要写为:
void Flight :: mf()
{
.....
plan(*this); //give this object as argument
另外一个情况是如果我们想从成员函数返回实际对象,或引用,或指向对象的指针。例如,在下面列子中,这样做是必须的:
k.set(10,25,30).tick().tick().write();
成员函数set和tick必须改变,这些调用的结果必须是个实际对象,因此我们能直接用dot operator. 声明以下函数:
Clock& set(int hour,int min,int sec);
Clock& tick();
我们应该让成员函数返回一个实际对象的reference,而不是一个对象的拷贝。两个成员函数的定义必须改变:
Clock& Clock::set(int hour,int min, int sec)
{
h=hour;m=min;s=sec;
return *this;
}
Clock& Clock::tick()
{
...
return *this;
}