CPP-constant object & pointer this

最新推荐文章于 2023-09-21 11:58:35 发布

翻译最新推荐文章于 2023-09-21 11:58:35 发布

· 513 阅读

文章标签：

#class #c++ #this #对象

CPP 专栏收录该内容

14 篇文章

订阅专栏

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;
}