类和动态内存分布

动态内存和类

静态数据成员在类声明中声明，在包含类方法的文件中初始化。但如果静态成员是整型或枚举型const，则可以在类声明中初始化。

字符串并不保存在对象中，字符串单独保存在堆内存中，对象仅保存了指出到哪里去查找字符串的信息。

strcpy(str,s);//这是将s复制到新的内存
str = s;//只是保存了s的地址。

特殊成员函数

C++自动提供下面这些成员函数（在没有定义的条件下）：

• 默认构造函数
• 默认析构函数
• 复制构造函数
• 赋值运算符
• 地址运算符

默认构造函数

如果没有提供任何构造函数，编译器会提供默认构造函数：
Klunk :: Klunk() { }//为Klunk类提供的
编译器会提供一个不接受任何参数，也不执行任何操作的构造函数。

带参数的构造函数也可以是默认构造函数，只要所有参数都有默认值，但是只能有一个默认构造函数。不能这样做：

Klunk () {Klunk_ct=0}
Klunk (int n=0) {klunk_ct = n;}

Klunk bus;//可以与没有参数的匹配，也可以与使用默认参数0的匹配

复制构造函数

用于将一个对象复制到新创建的对象中，用于初始化过程中（包括按值传递参数）。原型如下：
Class_name (const Class_name &);

何时调用
新建一个对象并将其初始化为同类现有对象时，复制构造函数都将被调用。
假设motto是一个StringBad对象，下面四种声明都将调用复制构造函数：

StringBad ditto(motto);
StingBad metoo = motto;
String also = StringBad(motto);
StringBad * pStringBad = new StringBad(motto);

当程序生成了对象副本时，编译器都将使用复制构造函数。具体地说，当函数按值传递对象或函数返回对象时，都将使用复制构造函数。按值传递意味着创建原始变量的一个副本。编译器生成临时对象时，也将使用复制构造函数。

默认的复制构造函数逐个复制非静态成员(成员复制也称为浅复制)，复制的是成员的值。
StringBad sailor = sports;
这种隐式复制构造函数将对象成员指向同一个，复制的是一个指针。后面调用析构函数就会出现程序异常。

深复制：复制构造函数应当复制字符串并将副本的地址赋给新对象的成员，而不仅仅是复制字符串的地址。这样每个对象都有自己的字符串，而不是引用另一个对象的字符串。

StringBad :: StringBad(const StringBad & st)
{
	len = st.len;
	str = new char [len+1];
	std::strcpy(str,st.str);//copy string to new location
}

赋值运算符

C++允许为类对象赋值，运算符的原型如下：
Class_name & Class_name :: operator=(const Class_name &);
赋值运算符的隐式实现也对成员进行逐个复制。会产生与复制构造函数相同的问题。
解决赋值的问题：

• 由于目标对象可能引用了以前分配的数据，所以函数应使用delete [ ]来释放这些数据。
• 函数应当避免将对象赋给自己。
• 函数返回一个指向调用对象的引用。

静态类成员函数

函数声明包含关键字static，有两个后果：

• 不能通过对象调用静态成员函数，甚至不能用this指针。如果静态成员函数是在公有部分声明的，则可以使用类名和作用域解析运算符来调用它。
• 静态成员函数只能使用静态数据。

在构造函数中使用new时注意的事项

注意：

• 如果在构造函数中使用new来初始化指针成员，则在析构函数中使用delete；
• new和delete必须相互兼容，new对应于delete，new[ ]对应于delete[ ];
• 如果有多个构造函数，则必须以相同的方式使用new，应该只有一个析构函数，所有的构造函数必须与它兼容，然而，delete（无论是带中括号还是不带中括号）可以用于空指针。
• 应定义一个复制构造函数，通过深度复制将一个对象初始化为另一个对象,与下面类似；

String :: String(const String & st)
{
	num_strings++;
	len = st.len;
	str = new char [len+1];
	std :: strcpy(str,st.str);
}

• 应当定义一个赋值运算符，通过深度复制将一个对象复制给另一个对象，与下面类似:

String & String :: operator=(const String & st)
{
	if(this == &st)//不能自己赋值给自己
		return *this
	delete [] str;//释放旧的字符串
	len = st.len;
	str = new char[len+1];
	std :: strcpy(str,st.str);
	return *this;
}

有关返回对象的说明

返回指向const对象的引用

如果函数返回传递给它的对象，可以通过返回引用来提供效率。
说明：

• 返回对象会调用复制构造函数，返回引用不会；
• 引用所指的对象应该在调用函数执行时存在；

返回指向非const对象的引用

常见的形式是：重载赋值运算符以及重载与cout一起使用的<<运算符。前者是避免函数调用复制构造函数创建一个新的对象，后者是必须这样做。

String s1("Good stuff");
cout<<s1<<"is coming";

如果返回类型是ostream，将调用ostream类的复制构造函数，而ostream没有公有的复制构造函数。

返回对象

如果返回的对象是被调用函数中的局部变量，则不应该按引用返回它，因为在被调用函数执行完毕，局部函数将调用其析构函数。

返回const对象

避免返回对象被修改，造成误用。

总结：如果方法或函数返回局部对象，应返回对象，在这种情况下，将使用复制构造函数来生成返回的对象。如果方法或函数要返回一个没有公有复制构造函数的类（如ostream类）的对象，必须返回一个指向这种对象的引用。如果可以返回对象或者对象的引用，应该首选引用，因为效率高。

队列模拟

队列是一种抽象的数据类型，先进先出的。

对于数据成员是常量，可以进行初始化，但是不能给它赋值。从概念上说，调用构造函数时，类的对象将在括号中的代码执行之前就被创建。因此调用构造函数会为成员变量分配内存，然后，程序进入到括号中，使用常规的赋值方式将值存储到内存中。因此创建对象时就要对常量数据成员进行初始化。

初始化列表：由逗号分隔的初始化列表组成（前面带冒号）。位于参数列表的右括号之后、函数体左括号之前，可以用来初试化常量。列如，数据成员的名称为mdata，并需要将它初始化为val，则初始化器为mdata（val）。只有构造函数可以使用这种初始化列表语法。对于const类成员和被声明为引用的类成员，必须使用这种语法。

队列入队函数：

bool Queue::enqueue(const Item & item)
{
	if(isfull())
		return false;
	Node * add = new Node;
	add->item = item;
	add->next = NULL;
	items++;
	if(front==NULL)
		front = add;
	else
		rear->next = add;
	rear = add;
	return true;

出队函数：

bool Queue::dequeue(Item & item)
{
	if(front == NULL)
		return false;
	item = front->item;
	items--;
	Node *temp = front;
	front = front->next;
	delete temp;
	if(items==0)
		rear=NULL;
	return true;

析构函数，保证队列到期后为空：

Queue::~Queue()
{
	Node *temp;
	while(front != NULL)
	{
		temp = front;
		front = front->next;
		delete temp;
	}
}