对象的构造（十四）
我们在 C 语言中，每个变量都有其初始值。那么问题来了，对象中成员变量的初始值是多少呢？从设计的角度来看，对象只是变量，因此：在栈上创建对象时，成员变量初始为随机值；在堆上创建对象时，成员变量初始为随机值；在静态存储区创建对象时，成员变量初识为 0 值。
成都创新互联公司专业为企业提供宝塔网站建设、宝塔做网站、宝塔网站设计、宝塔网站制作等企业网站建设、网页设计与制作、宝塔企业网站模板建站服务，10余年宝塔做网站经验，不只是建网站，更提供有价值的思路和整体网络服务。
下来我们以代码为例进行验证，代码如下
#includeclass Test { private: int i; int j; public: int getI() { return i; } int getJ() { return j; } }; Test gt; int main() { printf("gt.i = %d\n", gt.getI()); printf("gt.j = %d\n", gt.getJ()); Test at; printf("at.i = %d\n", at.getI()); printf("at.j = %d\n", at.getJ()); Test* pt = new Test; printf("pt->i = %d\n", pt->getI()); printf("pt->j = %d\n", pt->getJ()); return 0; }
gt 对象是在静态存储区创建的，所以 gt.i 和 gt.j 应该都为 0,；at 对象是在栈上创建的，所以 at.i 和 at.j 应该都为随机值；pt 对象是在堆上创建的，所以 pt->i 和 pt->j 应该也为随机值。我们来编译下，看看是否如我们所分析的那样呢？
我们看到前面两个如我们所分析的那样，最后一个不一样。我们再来看看BCC编译器呢
我们看到BCC编译器是如我们所分析的那样。所以我们不能依赖于某种编译器的特性。
在生活中的对象都是在初始化后上市的，初识状态（出厂设置）是对象普遍存在的一个状态。那么程序中如何对一个对象进行初始化呢？一般而言，对象都需要一个确定的初识状态。解决方案便是在类中提供一个 public 的 initialize 函数，对象创建后立即调用 initialize 函数进行初始化。下来我们以代码为例进行分析，在上面代码基础上加上 initialize 函数
#includeclass Test { private: int i; int j; public: int getI() { return i; } int getJ() { return j; } void initialize() { i = 1; j = 2; } }; Test gt; int main() { gt.initialize(); printf("gt.i = %d\n", gt.getI()); printf("gt.j = %d\n", gt.getJ()); Test at; at.initialize(); printf("at.i = %d\n", at.getI()); printf("at.j = %d\n", at.getJ()); Test* pt = new Test; pt->initialize(); printf("pt->i = %d\n", pt->getI()); printf("pt->j = %d\n", pt->getJ()); return 0; }
我们编译，看看结果是否初始化好呢
我们看到已经全部初始化为按照我们所想要的状态了。但是这个就存在一个问题了，initialize 只是一个普通的函数，必须显示调用才行。如果为调用 initialize 函数的话，结果是不确定的。如果我们忘记在 at 对象中调用 initialize 函数，编译结果如下
那么这时问题来了，我们该如何解决这个问题呢？在 C++ 中介意定义与类名相同的特殊成员函数，这种特殊的成员函数叫做构造函数。注意：构造函数没有返回类型的声明；构造函数在对象定义时自动被调用。那么这时我们就可以将上面的程序改为这样
#includeclass Test { private: int i; int j; public: int getI() { return i; } int getJ() { return j; } Test() { printf("Test() Begin\n"); i = 1; j = 2; printf("Test() End\n"); } }; Test gt; int main() { printf("gt.i = %d\n", gt.getI()); printf("gt.j = %d\n", gt.getJ()); Test at; printf("at.i = %d\n", at.getI()); printf("at.j = %d\n", at.getJ()); Test* pt = new Test; printf("pt->i = %d\n", pt->getI()); printf("pt->j = %d\n", pt->getJ()); return 0; }
我们编译后结果如下
我们这样是不是就方便很多呢？那肯定了。我们可以明显看到定义了三个对象后，调用了三次构造函数。那么我们既然知道了有构造函数这一类的函数，它是否能像一般函数那样进行带参数呢？构造函数可以根据需要定义参数；一个类中可以存在多个重载的构造函数；构造函数的重载遵循 C++ 重载的规则。我们之前说过定义和声明不同，在对象这块也同样适用。对象定义和对象声明时不同的：对象定义 -- 申请对象的空间并调用构造函数；对象声明 -- 告诉编译器存在这样一个对象。下来我们以代码为例进行分析
#includeclass Test { public: Test() { printf("Test()\n"); } Test(int v) { printf("Test(int v), v = %d\n", v); } }; int main() { Test t1; // 调用 Test() Test t2(1); // 调用 Test(int v) Test t3 = 2; // 调用 Test(int v) int i(10); printf("i = %d\n", i); return 0; }
我们看到第 18 行的 t1 对象的构造函数肯定调用了 Test()，第 19 和 20 行则是调用了 Test(int v)；在 C 语言中还有 int i(10) 这种写法，我们看看编译是否会通过？
我们看到编译通过，并且如我们所分析的那样。那么构造函数的调用是否有什么规则呢？在一般情况下，构造函数在对象定义时被自动调用，一些特殊情况下，需要手工调用构造函数。我们如何利用构造函数来创建一个数组呢？
#includeclass Test { private: int m_value; public: Test() { printf("Test()\n"); m_value = 0; } Test(int v) { printf("Test(int v), v = %d\n", v); m_value = v; } int getValue() { return m_value; } }; int main() { Test ta[3] = {Test(), Test(1), Test(2)}; for(int i=0; i<3; i++) { printf("ta[%d].getValue() = %d\n", i, ta[i].getValue()); } Test t = Test(10); printf("t.getValue() = %d\n", t.getValue()); return 0; }
我们首先来分析下，数组第一个成员调用的构造函数应该是 Test()，后面两个成员调用的是 Test(int v) 函数，并打印出相应的值。最后定义的对象 t，它会打印出构造函数和得到的值都为 10，我们来看看编译结果
下来我们来开发一个数组类解决原生数组的安全性问题：提供函数获取数组长度；提供函数获取数组元素；提供函数设置数组元素。我们来看看它是怎么实现的
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();
};
#endifIntArray.cpp 源码
#include "IntArray.h"
IntArray::IntArray(int len)
{
m_pointer = new int[len];
for(int i=0; itest.cpp 源码
#include
#include "IntArray.h"
int main()
{
IntArray a(5);
for(int i=0; i 我们编译后得到如下结果
下来我们来看看特殊的构造函数：无参构造函数和拷贝构造函数。无参构造函数顾名思义就是没有参数的构造函数，而拷贝构造函数则是参数为 const class_name& 的构造函数。那么这两类构造函数有什么区别呢？无参构造函函数是当类中没有定义构造函数时，编译器默认提供一个无参构造函数，并且其函数体为空；拷贝构造函数是当类中没有定义拷贝构造函数时，编译器默认提供一个拷贝构造函数，简单的进行成员变量的值复制。下来我们以代码为例进行分析
#include
class Test
{
private:
int i;
int j;
public:
int getI()
{
return i;
}
int getJ()
{
return j;
}
/*
Test()
{
printf("Test()\n");
}
Test(const Test& t)
{
printf("Test(const Test& t)\n");
i = t.i;
j = t.j;
}
*/
};
int main()
{
Test t1;
Test t2 = t1;
printf("t1.i = %d, t1.j = %d\n", t1.getI(), t1.getJ());
printf("t2.i = %d, t2.j = %d\n", t2.getI(), t2.getJ());
return 0;
}
我们先将自己提供的无参构造函数和拷贝构造函数注释掉，编译下，看编译器是否提供默认的构造函数，是否可以通过
我们看到编译是通过的，也就是说，编译器通过了默认的构造函数。我们再来自己提供呢，看看是否会发生冲突
我们看到打印出了自己定义的语句，证明它是调用了我们自己写的构造函数。那么这个拷贝构造函数的意义在哪呢？一是兼容 C 语言的初始化方式，二是初始化行为能够符合预期的逻辑。那么这块就牵扯到是浅拷贝还是深拷贝。浅拷贝是拷贝后对象的物理状态相同，深拷贝是拷贝后对象的逻辑状态相同。注意：编译器提供的拷贝构造函数只进行浅拷贝！
下来我们以实例代码看看对象的初始化是怎样进行的
#include
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);
printf("t1.i = %d, t1.j = %d, *t1.p = %d\n", t1.getI(), t1.getJ(), *t1.getP());
printf("t2.i = %d, t2.j = %d, *t2.p = %d\n", t2.getI(), t2.getJ(), *t2.getP());
t1.free();
t2.free();
return 0;
}
我们看看 t1 应该进行的是浅拷贝，t2 应该进行的是深拷贝。我们看看编译结果
我们如果只有浅拷贝，没有深拷贝的话，看看结果会是怎样的，将第 34 - 41 行的代码注释掉，将第 54 和 55 行的打印 *p 的值改为打印 p 的地址。
我们看到它运行的时候报段错误了，t1.p 和 t2.p 指向了同一个地址。我们看看它是怎样进行的
我们看到将同一个地址释放两次肯定是会出问题的，这时我们就需要进行深拷贝了。那么我们就要考虑到底什么时候需要进行深拷贝？当对象中有成员指代了系统中的资源时，如：成员指向了动态内存空间，成员打开了外存中的文件，成员使用了系统中的网络端口...
我们在实现拷贝构造函数这块有个一般性的原则，自定义拷贝构造函数时，必须要实现深拷贝。那么我们再来优化下之前的数组类
IntArray.h 源码
#ifndef _INTARRAY_H_
#define _INTARRAY_H_
class IntArray
{
private:
int m_length;
int* m_pointer;
public:
IntArray(int len);
IntArray(const IntArray& obj);
int length();
bool get(int index, int& value);
bool set(int index, int value);
void free();
};
#endifIntArray.cpp 源码
#include "IntArray.h"
IntArray::IntArray(int len)
{
m_pointer = new int[len];
for(int i=0; itest.cpp 源码
#include
#include "IntArray.h"
int main()
{
IntArray a(5);
for(int i=0; i<5; i++)
{
a.set(i, i+1);
}
for(int i=0; i 我们看看编译结果是否如我们代码所写的那样，创建数组并初始化。用数组 a 初始化数组 b。
通过对对象的构造的学习，总结如下：1、每个对象在使用之前都应该初始化；2、类的构造函数用于对象的初始化，构造函数与类同名并且没有返回值；3、构造函数在对象定义时被自动调用，构造函数可以根据需要定义参数；4、构造函数之间可以存在重载关系，并且构造函数遵循 C++ 中重载函数的规则；5、对象定义时会触发构造函数的调用，在一些情况下可以手动调用构造函数；6、C++ 编译器会默认提供构造函数；7、无参构造函数用于定义对象的默认初识状态，拷贝构造函数在创建对象时拷贝对象的状态；8、对象的拷贝有浅拷贝和深拷贝两种方式：浅拷贝使得对象的物理状态相同，而深拷贝则使得对象的逻辑状态相同。
欢迎大家一起来学习 C++ 语言，可以加我QQ：243343083。
文章名称：对象的构造（十四）
分享网址：http://hbruida.cn/article/ijohec.html
