c++类中的包含机制

 本人在学习Qt的时候发现了一个非常有趣的现象。有很多函数的调用方法都写成了如下的形式：

object.func().func2();

这令小弟着实不懂。在上面这段代码中，第一个对象调用它的成员函数func()是完全没有问题的，但是后面那个func2()就奇怪了。我们只知道，点运算符（.）的作用就是调用对象的成员，但是如果按照上面这个程序的字面意思来理解，就是对象object调用它的成员函数func()，然后函数func()再调用它的成员函数func2()。这怎么能解释得通哩？？我们只知道对象有成员函数，但是从来没有听说过函数也可以有成员函数的啊。没有办法，只有翻C++的工具书，最后，居然发现了这个原来就是C++中的“包含”思想。那么究竟何为包含呢，且听小弟慢慢叙来......^_^

      何为“包含”，其实说白了就是一个类可以包含另一个类的对象。即如下程序所示：

class A
{
                   //...
 
};
 
class B
{
                   //...
    A a;
    A b;
};

在上面这个程序中，我们定义了类A和类B。其中类B里面我们定义了类A的两个对象a和b。这样的情况就叫类B包含了类A。

下面，我们用一个程序来看一下“包含”：

//#include <stdio.h>
//#include <stdlib.h>
#include <iostream>
using namespace std;

class A
{
public:
    A(int i) :x(i)
    {
        cout << "A's constructor" << endl;
    }

    void getx()
    {
        cout << "A's a is" << x << endl;
    }
    ~A()
    {
        cout << "A's destructor" << endl;
    }

private:
    int x;

};

class B
{
public:
    B(int x,int z) :a(x), z(z)
    {
        cout << "B' constructor" << endl;
    }

    A& getA()
    {
        return a;
    }
    
    ~B()
    {
        cout << "B's destructor" << endl;
    }

private:
    A a;
    int z;


};

void playstage()
{
    B b1(1,2);
    b1.getA().getx();
}

void main()
{
    playstage();
    system("pause");
    
    
}

• 首先对两个类进行分析：在上面这个程序中，我们定义了两个类A和B。其中可以看到，在类B的私有成员变量里面，我们定义了一个类B自己的成员变量，另外还定义了类A的对象a（47行）；另外在类B的公有函数中，我们定义了返回值为类A的函数：getA()，它的作用就是返回在类B中定义的类A的对象a。在这里我们特别应该注意的是类B的构造函数：

B(int x,int z) :a(x), z(z)

这个构造函数很有意思。我们可以看到它不仅初始化了自己的私有成员变量z，而且也顺带初始化了类A的对象a。那么它肯定会调用类A的构造函数。然后再调用B类自己的构造函数。那么析构的时候顺序应该就是相反的，首先调用B类的析构函数，然后再调用A类的析构函数。我们可以看到后面的程序输出图这样说滴，^_^。（见输出的红色框）

此处怎么比我们预计的多了一项输出呢？（箭头所指处）。。

因为在调用b1.getA().getX()时，getA()返回了我们所创建的A类的对象a，此处相当于复制了一份（其实是调用了默认的copy构造函数）。所以我们最后需要多析构一次对象a.（作为返回值调用copy构造函数）

下面来印证我的猜想：

我们在类A中定义copy构造函数，其他代码不变。

class A
{
public:
    A(int i) :x(i)
    {
        cout << "A's constructor" << endl;
    }
    A(A &a)
    {
        x = a.x;
        cout << "A's copy constructor" << endl;
    }
    void getx()
    {
        cout << "A's a is" << x << endl;
    }
    ~A()
    {
        cout << "A's destructor" << endl;
    }

输出如下：

 

看到了吧!!    (0.0)

其实，我们为了避免拷贝构造函数的使用，我们可以返回A类的引用。这样就避免了copy构造函数的调用。

    //A getA()
    A& getA()
    {
        return a;
    }

输出如下：