C++面向对象-5-类的构造函数调用规则

继续来学习构造函数的知识，通过前面学习，我们知道一个类中可以有 无参构造，有参构造，拷贝构造，那么编译器是如何决定调用这些构造函数，本篇就来学习这个调用规则。

知识点：

默认情况下，C++编译器至少给一个类添加3个函数
1.默认构造函数（无参，函数体为空）
2.默认析构函数（无参，函数体为空）
3.默认拷贝构造函数，对属性进行值拷贝

构造函数的调用规则如下：
如果用户定义有参构造函数，c++不再提供默认无参构造，但是会提供默认拷贝构造
如果用户定义拷贝构造函数，c++不会再提供其他构造函数

下面我们分别用代码来验证以上知识点。

 

1.只要创建一个类，C++编译器会给这个类至少添加三个函数。

这里，我们知道编译器会自动添加无参构造函数，所以我们来代码证明看看编译器添加拷贝构造的效果。

#include<iostream>
using namespace std;

class Point
{

public:

    //构造函数
    Point()
    {
        cout << "调用了构造函数"<< endl;
    }

    //有参构造
    Point(int x, int y)
    {
	cout << "调用了有参构造函数" << endl;
	X = x;
	Y = y;
    }

    //拷贝构造
    Point(const Point &p)
    {
	cout << "调用了拷贝构造函数" << endl;
	//将p的属性拷贝到当前类的初始化
	X = p.X;
	Y = p.Y;
    }

    //析构函数
    ~Point()
    {
        cout << "调用了析构函数" << endl;
    }

public:
    int X;
    int Y;
};

void test01()
{
    Point p;
    p.X = 5;
    p.Y = 5;
    //利用拷贝构造
    Point p1(p);
    cout << "p1的X值为" << p1.X << endl;
}

int main()
{
    test01();
    system("pause");
    return 0;
}

上面代码我们补全了无参和有参和拷贝构造，运行代码

这个结果是我们前面一篇就已经知道的效果，现在我们把上面代码中的拷贝构造函数给注销，看看编译器会不会给我们自动加上拷贝构造函数。

注销这段代码，然后test01()代码保持不变，运行

分析：

1）Point p肯定走默认无参构造，然后p对象进行了X和Y的设置值

2）通过右侧运行结果，显示p1的X坐标也是5，说明发生了拷贝，而且有两个析构函数调用的打印

3）第二点说明了，C++编译器自动给我们运行了拷贝构造，至于这个拷贝代码是什么，我们不清楚，但是效果就是，X和Y都进行值的拷贝。

 

2.证明如果用户提供有参构造，编译器不再提供无参构造

我们把上面类代码改成这样，不写无参构造，只留下一个有参构造，然后代码中特意调用无参构造，看看报什么错误。

#include<iostream>
using namespace std;

class Point
{

public:

    //有参构造
    Point(int x, int y)
    {
	cout << "调用了有参构造函数" << endl;
	X = x;
	Y = y;
    }

    
    //析构函数
    ~Point()
    {
        cout << "调用了析构函数" << endl;
    }

public:
    int X;
    int Y;
};

void test01()
{
    Point p;
}

int main()
{
    test01();
    system("pause");
    return 0;
}

尝试运行以上代码

这里代码想调用无参构造，但是由于这个规则（用户写了有参构造，编译器不会自动添加无参构造），所以报以上错误。这里虽然不提供无参构造，但是还是会提供拷贝构造，下面代码改成这样，运行可以证明

 

3.证明如果用户写了拷贝构造，编译器不提供其他构造函数

#include<iostream>
using namespace std;

class Point
{

public:

    //拷贝构造
    Point(const Point &p)
    {
	cout << "调用了拷贝构造函数" << endl;
	//将p的属性拷贝到当前类的初始化
	X = p.X;
	Y = p.Y;
    }

    
public:
    int X;
    int Y;
};

void test01()
{
    Point p;
}

int main()
{
    test01();
    system("pause");
    return 0;
}

只有一个拷贝构造，编译一下，

这个证明了如果用户提供拷贝构造函数，编译器不会提供无参构造函数。