C++学习：构造函数

一、C++的类对象中成员变量的初始值

从程序设计的角度，对象只是变量，因此类的对象也应该有下面的特性：

1、在栈上创建的对象，成员变量初始值是随机值；

2、在堆上创建的对象，成员变量初始值为随机值；

3、在静态存储区创建的对象，成员变量初始值为0。

程序实例1：局部类对象，成员变量默认初始值

#include <stdio.h>

class Test
{
private:
	int i;
	int j;
public:
	int getI() { return i; };
	int getJ() { return j; };
};

int main()
{
	Test t1;

	printf("i = %d\n", t1.getI());
	printf("j = %d\n", t1.getJ());

	return 0;
}

输出结果：

i = -858993460
j = -858993460

结果分析：一看结果就知道是个随机值，因为类是一种特殊的自定义类型，类的对象相当于变量，t1是一个test类对象，定义在main函数的内部，是一个局部变量，局部变量保存在栈中，ti的成员数据的初始值就是一个随机值。

程序实例2：全局类对象，成员变量默认初始值

#include <stdio.h>

class Test
{
private:
	int i;
	int j;
public:
	int getI() { return i; };
	int getJ() { return j; };
};

Test t2;

int main()
{
	
	printf("i = %d\n", t2.getI());
	printf("j = %d\n", t2.getJ());

	return 0;
}

输出结果：

i = 0
j = 0

结果分析：因为类是一种特殊的自定义类型，类的对象相当于变量，t2定义在main函数的外面，是一个全局变量，全局变量保存在全局数据区，未初始化的变量，默认初始值为0。

程序实例3：堆空间申请一个对象

#include <stdio.h>

class Test
{
private:
	int i;
	int j;
public:
	int getI() { return i; };
	int getJ() { return j; };
};



int main()
{
	Test* t3 = new Test;//在堆空间申请一个对象
	printf("i = %d\n", t3->getI());
	printf("j = %d\n", t3->getJ());

	delete t3;
	return 0;
}

输出结果：

i = -842150451
j = -842150451

结果分析: t3是在堆空间申请的对象，成员变量的默认值是随机值；

二、对象的初始化（构造函数）

通过前面的3段代码，我们可以看出，类对象定义在不同的区域，默认值是不一样的，这个随机性不是一个好事，写代码还是严谨一些比较好。因此需要想办法把每个对象都初始化一个特定的值。

方案1：在类中定义一个成员函数，这个函数专门用来初始化类中的成员变量initialize，对象创建后立即调用initialize函数进行初始化。

程序实例4：创建初始化函数，在定义了对象之后马上调用初始化函数。

#include <stdio.h>

class Test
{
private:
	int i;
	int j;
public:
	int getI() { return i; };
	int getJ() { return j; };
	void initialize()
	{
		i = 1;
		j = 2;
	}
};



int main()
{
	Test t1; //定义一个类对象
	t1.initialize(); //调用类对象的初始化函数

	printf("i = %d\n", t1.getI());
	printf("j = %d\n", t1.getJ());

	return 0;
}

输出结果：

i = 1
j = 2

结果分析：显然，调用initialize函数可以将对象的成员变量初始化。但是总是手动调用初始化函数，万一忘记了怎么办，太不智能了，应该有更好的办法。

解决方案2：构造函数

C++中可以定义与类名相同的特殊成员函数，这个特殊的成员函数就是构造函数；

构造函数可以像解决方案1中的初始化函数initialize一样，将对象初始化；构造函数在对象定义的时候自动被调用,不用自己手动的调用，显然这样更方便。

程序实例5：构造函数的自动调用

#include <stdio.h>

class Test
{
private:
	int i;
	int j;
public:
	int getI() { return i; };
	int getJ() { return j; };

	Test() //定义构造函数，与类同名，没有返回值
	{
		i = 3;
		j = 4;
		printf("调用了构造函数Test()\n");
	}
};



int main()
{
	Test t1; //定义一个类对象,自动调用了构造函数

	printf("i = %d\n", t1.getI());
	printf("j = %d\n", t1.getJ());

	return 0;
}

输出结果：

调用了构造函数Test()
i = 3
j = 4

结果分析：我们只是定义了一个构造函数，构造函数将t1对象的成员变量i和j初始化，但是我们在t1被定义之后，并没有显式的调用构造函数，为什么输出结果与定义构造函数里面的值是一样的？因为类对象在定义的时候，编译器自动的调用了构造函数，只是你看不到而已。 

三、构造函数的特征

1、构造函数用于对象的初始化；

2、构造函数与类同名；

3、构造函数与类同名且没有返回值；

4、构造函数在对象被定义时自动被调用；

带参数的构造函数

构造函数可以根据需要定义参数；

一个类中可以存在多个重载的构造函数；

构造函数的重载遵循C++的重载规则；

带参构造函数的意义在于，可以给类对象不同的初始化值；就像买汽车一样，有不同的配置，你选什么样的配置，交付到你手上就是什么样的配置，这个配置就是初始化的过程，不同的配置就好比不同的构造函数。

需要注意的是，对象定义与声明是不一样的概念

对象的定义：申请对象的存储空间，并调用构造函数；

对象的声明：告诉编译器存在这样一个对象；

构造函数的自动调用

一般情况下，构造函数在定义的时候被自动调用，但是在一些特殊情况下，需要手动调用构造函数

程序实例6：构造函数的自动调用

#include <stdio.h>

class Test
{
public:

    //无参的构造函数
    Test()
    {
        printf("using Test()\n");
    }

    //带参数的构造函数
    Test(int v)
    {
        printf("using Test(int v), v = %d\n",v);
    }
};


int main()
{
    Test t1;  //调用Test()
    Test t2(2); //调用Test(int v)
    Test t3 = 3;//调用Test(int v)

    return 0;
}

输出结果：

using Test()
using Test(int v), v = 2
using Test(int v), v = 3

结果分析：

对象t1 调用的是无参构造函数；

定义对象t2的时候，t2后面还有括号，括号里面还有一个参数2;这其实是在告诉编译器，定义了一个对象，要调用构造函数Test(int v)来初始化它，初始化的值是2；

定义对象t3的时候更奇怪，Test t3 = 3;有点像C语言的写法，定义一个变量之后马上初始化一个值，但是我们知道t3的类型是Test，而3的类型是int，这里面涉及到类型的默认转换，C++编译器总觉得自己很牛逼，你写的代码不管怎么垃圾，它总是把你往好的方面去想，还自己想尽办法来证明你写的语句没问题。最终的结果就是t3也调用构造函数Test(int v)来初始化它，初始化值是3。

构造函数的手动调用

在生活中，我们买车的时候，还是要自己先确定车的配置之后，再来讨价还价，顺便加装一些东西吧。很少有这种土豪直接把钱往销售身上一甩，说你看看这么多钱够买什么配置的车，随便给我来一辆，销售就喜欢这样的土豪。土豪的做法就相当于自动调用构造函数，正常人还是希望自己手动的来调用构造函数，这样做事明明白白，减少纠纷。

程序实例7：构造函数的手动调用，创建对象数组

#include <iostream>

using namespace std;

class Test
{
private:
    int m_value;

public:

    //定义一个无参构造函数
    Test()
    {
        cout << "using Test()\n";
        m_value = 0;
    }

    //定义一个带参数的构造函数
    Test(int v)
    {
        cout << "using Test(int v), v = "<< v << endl;;
        m_value = v; //类成员变量初始化为v
    }

    //定义一个成员函数来返回成员变量m_value的值
    int getValue()
    {
        return m_value;
    }
};


int main()
{
    //手动调用构造函数
    //定义一个数组ta,ta有3个元素，元素的类型是Test类
    Test ta[3] = {Test(), Test(1), Test(2)}; //分别调用Test()、Test(int v)、Test(int v)
    
    //遍历数组ta，打印每个数组成员的 成员变量的值
    for (int i = 0; i < 3; i++)
    {
        cout << "ta[" << i << "] = " << ta[i].getValue() << endl;
    }
    
    //定义一个对象t,用Test(100)来初始化它
    Test t = Test(100); //这也是一种初始化的方式

    //打印对象t的成员变量的值
    cout << "t.getValue() = " << t.getValue() << endl;

    return 0;
}

输出结果：

using Test()
using Test(int v), v = 1
using Test(int v), v = 2
ta[0] = 0
ta[1] = 1
ta[2] = 2
using Test(int v), v = 100
t.getValue() = 100

 结果分析：

语句 Test ta[3] = {Test(), Test(1), Test(2)};就是安排的明明白白的，第一个元素就用Test()构造函数来初始化，第二个元素和第三个元素用Test(int v)构造函数来初始化。

四、开发一个数组类解决原生数组的安全问题

我们知道C语言里面的数组稍微不小心就会越界，我们可以编写一个类

1、可以获取数组长度

2、可以获取数组元素值

3、可以设置数组元素值

IntArray.h头文件

#ifndef INTARRAY_H
#define INTARRAY_H

class IntArray
{
    
private:
    //定义两个成员变量来封装数组的长度和数据
	int		m_length;  //封装长度
	int*	m_pointer; //封装数据

public:
	IntArray(int len); //定义一个构造函数来初始化数组的长度
    
	int length(); //获得数组的长度
    
	bool get(int index, int& value); //获得对应位置的元素值
    
	bool set(int index, int value); //设置对应位置的元素值
    
    void free();

};

#endif // INTARRAY_H

IntArray.cpp源文件

#include "intarray.h"

//构造函数
//构造函数在堆中申请一段数组空间，数组的长度为len
IntArray::IntArray(int len)
{
    m_pointer = new int[len]; //在堆中申请一段数组内存
    for (int i = 0; i < len; i++)
    {
        m_pointer[i] = 0; //数组里面元素值设置为0
    }

    m_length = len; //确定数组的长度
}

//返回数组的长度
int IntArray::length()
{
    return m_length;
}

//获取数组中特定位置的值
bool IntArray::get(int index, int& value)
{
    bool ret = (0 <= index) && (index <= length());//确保数组不越界

    if (ret)
    {
        value = m_pointer[index]; //通过引用获得特定位置的值
    }

    return ret;
}

//设置数组特定位置的值
bool IntArray::set(int index, int value)
{
    bool ret = (0 <= index) && (index <= length());//确保数组不越界

    if (ret)
    {
        m_pointer[index] = value ;
    }

    return ret;
}

//有new就要有delete
void IntArray::free()
{
    delete[] m_pointer;
}

main文件

#include <iostream>
#include "intarray.h"

using namespace std;




int main()
{
    IntArray a(5); //定义一个对象a，并调用构造函数在堆中申请一段数组空间5个int元素
    for (int i = 0; i < a.length(); i++)
    {
        a.set(i, i+1); //遍历数组，将数组的值分别设置为1/2/3/4/5
    }

    //遍历数组，获得每个元素的值，并将值传给value,并打印
    for (int i = 0; i < a.length(); i++)
    {
        int value = 0;
        if (a.get(i, value))
        {
            printf("a[%d] = %d\n", i, value);
        }
    }

    a.free(); //释放堆空间

    return 0;
}

输出结果：

a[0] = 1
a[1] = 2
a[2] = 3
a[3] = 4
a[4] = 5

结果分析：注释已经写的很清晰了，既然想要的是安全，可以试下 打印a[10],肯定是打印不出来的。

五、对象的构造与内存操作的关系

特殊的构造函数

构造函数已经很特殊了，还有更特殊的无参构造函数、拷贝构造函数。

无参构造函数：没有参数的构造函数

无参构造函数前面一直在用，特殊在哪里？

前面使用的无参构造函数时我们自己编写的。

但是当类中没有定义构造函数的时候，编译器会默认提供一个构造函数，也是一个构造函数，并且函数体是空的，什么都不做。

如果我们已经定义了构造函数，那编译器就不会提供默认的无参构造函数。

拷贝构造函数：参数为const class_name&的构造函数

当类中没有定义拷贝构造函数的时候编译器会默认提供一个拷贝构造函数，简单的进行成员变量值的复制。

编译器提供的无参构造函数

C++有一个准则：创建一个类对象的时候必须要调用构造函数将类对象进行初始化。

如果已经定义了构造函数，编译器就不会提供无参构造参数。

那么下面的代码，使用一个没有定义构造函数的类，在编译的时候竟然没报错

#include <iostream>

using namespace std;

//定义一个类，没有定义构造函数
class Test
{
private:
    int i;
    int j;
public:
    int getI() { return i; }
    int getJ() { return j; }
};


int main()
{
    Test t; //定义个一个类对象t

    return 0;
}

原因分析：你没有编写构造函数那是你的事，不代表类没有构造函数，当类中没有编写构造函数时，编译器会给类提供一个默认的无参构造函数。前面有说过C++的编译器认为自己很牛逼，它总会想办法让代码正确。编译器没看到构造函数，自己就动手添一个，如下面代码所示

#include <iostream>

using namespace std;

//定义一个类，没有定义构造函数
class Test
{
private:
    int i;
    int j;
public:
    int getI() { return i; }
    int getJ() { return j; }
    
    //空的构造函数
    Test()
    {
        
    }
};


int main()
{
    Test t; //定义个一个类对象t

    return 0;
}

 编译器提供的拷贝构造函数

首先拷贝构造函数也是构造函数；

拷贝函数时用来兼容C语言的初始化方式，C语言可以用一个变量来初始化另一个变量，如：

int i = 2;
int j = i; //用变量初始化变量

使用拷贝函数可以用一个已经存在的对象去初始化另一个对象；如

#include <iostream>

using namespace std;

//定义一个类，没有定义构造函数
class Test
{
private:
    int i;
    int j;
public:
    int getI() { return i; };
    int getJ() { return j; };

};


int main()
{
    Test t1; //定义个一个类对象
    Test t2 = t1; //用对象t1去初始化t2，需要调用拷贝构造函数

    cout << "t1.i = " << t1.getI() << " t1.j = " << t1.getJ() << endl;
    cout << "t2.i = " << t2.getI() << " t2.j = " << t2.getJ() << endl;

    return 0;
}

Test t2 = t1; 语句就是用对象t1去初始化t2，需要调用拷贝构造函数，但是代码里面根本就没有拷贝构造函数，也没有构造函数，那编译器就自作主张给你搞一个拷贝构造函数和一个无参构造函数，效果如下面的代码所示：

#include <iostream>

using namespace std;

//定义一个类，没有定义构造函数
class Test
{
private:
    int i;
    int j;
public:
    int getI() { return i; };
    int getJ() { return j; };

    Test(const Test& t)
    {
        i = t.i;
        j = t.j;
    }

    Test()
    {

    }
};


int main()
{
    Test t1; //定义个一个类对象
    Test t2 = t1; //用对象t1去初始化t2，需要调用拷贝构造函数

    cout << "t1.i = " << t1.getI() << " t1.j = " << t1.getJ() << endl;
    cout << "t2.i = " << t2.getI() << " t2.j = " << t2.getJ() << endl;

    return 0;
}

深拷贝与浅拷贝

拷贝函数还要分深拷贝与浅拷贝；

浅拷贝，就是拷贝后对象的物理状态相同，编译器提供的拷贝构造函数只进行浅拷贝；

深拷贝，就是拷贝后对象的逻辑状态相同；

看下面的代码，没有编写拷贝构造函数，使用编译器提供的拷贝函数

#include <iostream>

using namespace std;

//定义一个类，没有定义构造函数
class Test
{
private:
    int i;
    int j;
    int* p;

public:
    int getI() { return i; }
    int getJ() { return j; }
    int* getP() {return p;}

    Test(int v)
    {
        i = 1;
        j = 2;
        p = new int;
        *p = v;
    }

};


int main()
{
    Test t1(3); //定义个一个类对象
    Test t2 = t1; //用对象t1去初始化t2，需要调用拷贝构造函数

    cout << "t1.i = " << t1.getI() << " t1.j = " << t1.getJ() << " t1.p = "<< t1.getP() << endl;
    cout << "t2.i = " << t2.getI() << " t2.j = " << t2.getJ() << " t2.p = "<< t2.getP() << endl;


    return 0;
}

输出结果

t1.i = 1 t1.j = 2 t1.p = 0x1121ba0
t2.i = 1 t2.j = 2 t2.p = 0x1121ba0

结果分析：

t1.p与t2.p的结果是一样的，它们指向相同的堆空间的内容，这就会存在问题，因为按照规矩，使用new在堆空间申请一片空间之后，要使用delete来释放，我们又知道同一片堆空间释放两次是要出问题的，如下面的代码所示，同一块空间释放两次，出错。

#include <iostream>

using namespace std;

//定义一个类，没有定义构造函数
class Test
{
private:
    int i;
    int j;
    int* p;

public:
    int getI() { return i; }
    int getJ() { return j; }
    int* getP() {return p;}

    Test(int v)
    {
        i = 1;
        j = 2;
        p = new int;
        *p = v;
    }
    
    //释放堆空间
    void free()
    {
        delete p;
    }

};


int main()
{
    Test t1(3); //定义个一个类对象
    Test t2 = t1; //用对象t1去初始化t2，需要调用拷贝构造函数

    cout << "t1.i = " << t1.getI() << " t1.j = " << t1.getJ() << " t1.p = "<< t1.getP() << endl;
    cout << "t2.i = " << t2.getI() << " t2.j = " << t2.getJ() << " t2.p = "<< t2.getP() << endl;

    t1.free();
    t2.free();

    return 0;
}

所以要想办法，让类对象给对象初始化时，使用的构造函数让两个对象使用不同的地址空间，就像用变量对变量进行初始化的时候，变量的地址空间是不一样的，这就不能使用编译器提供的拷贝构造函数了，需要自己编写拷贝构造函数。如下所示

#include <iostream>

using namespace std;

//定义一个类，没有定义构造函数
class Test
{
private:
    int i;
    int j;
    int* p;

public:
    int getI() { return i; }
    int getJ() { return j; }
    int* getP() {return p;}

    Test(int v)
    {
        i = 1;
        j = 2;
        p = new int;
        *p = v;
    }

    //定义一个拷贝构造函数
    Test(const Test& t)
    {
        i = t.i;
        j = t.j;
        p = new int; //重新申请堆空间

        *p = *t.p; //再赋值
    }

    //释放堆空间
    void free()
    {
        delete p;
    }

};


int main()
{
    Test t1(3); //定义个一个类对象
    Test t2 = t1; //等效于 Test t2(t1),用对象t1去初始化t2，需要调用拷贝构造函数

    cout << "t1.i = " << t1.getI() << " t1.j = " << t1.getJ() << " t1.p = "<< t1.getP() << " *t1.p = "<< *t1.getP() << endl;
    cout << "t2.i = " << t2.getI() << " t2.j = " << t2.getJ() << " t2.p = "<< t2.getP() << " *t1.p = "<< *t1.getP()<< endl;

    t1.free();
    t2.free();

    return 0;
}

输出结果

t1.i = 1 t1.j = 2 t1.p = 0x9c1ba0 *t1.p = 3
t2.i = 1 t2.j = 2 t2.p = 0x9c1980 *t1.p = 3

这样就地址不一样，值一样了。

如何判断使用深拷贝还是浅拷贝

对象中有成员指代了系统中的资源，如：成员指向了动态内存空间；成员打开了外存的文件；成员使用了系统中的网络端口等就要使用深拷贝，要自己定义拷贝构造函数。

一般自定义拷贝构造函数，就使用深拷贝。