C++构造函数、拷贝构造函数、赋值函数、析构函数在函数调用中的使用过程

时间：2014-03-28 19:15:37 阅读：639 评论：0 收藏：0 [点我收藏+]

一、问题

先上代码

/*
	C++构造\析构\赋值\函数调用

	by cjc

	2014/3/27
*/
#include<iostream>
using namespace std;

class B
{
public:
	B():data(0)
	{
		cout<<"default constructor"<<endl;
	}
	~B()
	{
		cout<<"destructed by parameter "<<data<<endl;
	}
	B(int i):data(i)
	{
		cout<<"constructed by parameter "<<data<<endl;
	}
	B(B &b)
	{
		data=b.data;
		cout<<"copyed by parameter "<<data<<endl;
	}
	B& operator =(const B &b)
	{
		this->data=b.data;
		cout<<"= by parameter "<<data<<endl;
		return *this;
	}
private:
	int data;
};

B Play(B b)
{
	return b;
}

void main(void)
{
	Play(1);
	B t1=Play(2);
	B t2;
	t2=Play(3);
	return;
}

以上是程序的执行结果，如果你能完全理解其中的原理，下面的文章就是渣渣啦，可以忽略……下面对程序的执行过程进行详细地介绍，不妥之处，欢迎批评指正，不胜感激，进入正题。

二、函数调用的过程

这里先不解释上面的结果，首先补充一下C语言函数调用的东西。

明确几个问题：

1、函数的形式参数是局部变量，它隶属于所在的函数。

为什么不是其它类型变量呢？比如说全局变量……额，明显不可能是这样的，之所以是局部变量，可以通过学习C语言时美女老师讲解的“值传递和指针传递”的问题来理解。既然是局部变量那么在函数调用时，形式参数是怎样传递的呢？学习过C语言的都知道，通过实参拷贝构造了形式参数，即将一个程序空间的局部变量传递给另外的一个程序空间。局部变量的生命期是所在函数的生命期。

2、函数的返回值是复制产生的。

同样是两个程序空间传值问题。一般来说，局部变量的作用域只在所属函数内部，在函数返回后，局部变量的内存已经释放了。因此，如果函数返回的是局部变量的值，不涉及地址，程序不会出错，因为在返回的时候传递的是复制后的局部变量，即一个副本。但是如果返回的是局部变量的地址(指针)的话，程序运行后一般会出错。因为函数只是把指针复制后返回了，但是指针指向的内容已经被释放了，即野指针，这样指针指向的内容就是不可预料的东东，调用就会出错。准确的来说，函数不能通过返回指向栈内存的指针(注意这里指的是栈，返回指向堆内存的指针是可以的)。

下面以函数返回局部变量的指针举几个典型的例子来说明：

(1)指向只读数据段的指针可返回

#include <stdio.h>
#include <stdlib.h>

char* func(void)
{
	char* p="cjc is a good boy";
	return p;
}

int main(void)
{
	char* str;
	str=func();
	printf("%s\n",str);
	system("pause");
	return 0;
}

这里输出是没有问题的，原因是，指针p指向的是一个常量字符串，子程序func结束之后，指向.rodata(只读数据段)的指针仍然有效，因为只读数据段的内容(程序编译时已分配)并没有释放。

(2)指向栈的指针不能返回(自动变量指针不能返回)

#include <stdio.h>
#include <stdlib.h>

char* func(void)
{
	char p[]="cjc is a good boy";
	return p;
}

int main(void)
{
	char* str;
	str=func();
	printf("%s\n",str);
	system("pause");
	return 0;
}

输出的结果出现了问题，因为"cjc is a good boy"是一个局部自动变量，存放在栈中，子程序结束会被释放。

(3)静态变量指针可以返回

#include <stdio.h>
#include <stdlib.h>

char* func(void)
{
	static char p[]="cjc is a good boy";
	return p;
}

int main(void)
{
	char* str;
	str=func();
	printf("%s\n",str);
	system("pause");
	return 0;
}

突然又没有问题啦，不同点在于这里使用了关键字static，静态变量使用的空间在程序编译时已经确定，子程序结束不会被释放。

(4)堆内存要手动释放

#include <stdio.h>
#include <string.h>
#include <stdlib.h>

char* func(void)
{
	char p[]="cjc is a good boy";
	char* str;

	str=(char*)malloc(sizeof(char)*20);
	strcpy(str,p);
	return str;
}

int main(void)
{
	char* str;
	str=func();
	printf("%s\n",str);
	system("pause");
	return 0;
}