C++学习心得--常量、初始化

1、编写一个新类时注意缺省的复制构造函数和赋值操作的行为是否符合预期的要求。一般地那些包含指针的类要特别注意，如果被指向的对象是属于该产生的对象，那么缺省的复制构造函数就有可能是错误的，因为它只是简单的复制了指针而不是指针所指向的对象。如果为类实现复制构造函数非常困难，则将其声明为私有的并且不提供任何定义，可防止无意间的调用减少因执行缺省复制构造函数而产生的错误。

2、(operator=)赋值操作符应该返回一个被赋值对象的常量引用，如：const Classname& Classname::Classname(){//具体实现细节略}阻止将赋值结果作为左值的做法如：(a=b)=c;

3、类中静态成员必须初始化(在类外)格式为：type Classname::variantname=?;

4、引用在定义时必须被初始化，引用一旦初始化，它就维系在一定的目标上，再也不分开。任何对该引用的赋值，都是对引用所维系的目标赋值，而不是将引用维系到另一个目标上。如下面的程序结果是33 44，将b的值给c后，a的值也跟着变了。
#include <iostream.h>
int main()
{
 int a=3,b=4;
 int &c=a;
 cout<<c<<a<<endl;
 c=b;
 cout<<c<<a<<endl;
 return 0;
}

5、缺省情况下，在构造函数的函数体被执行前，对象中的所有成员都已经被它们的缺省构造函数所初始化了。那些没有构造函数的成员则将拥有一个未定义的初始值。如果我们在构造函数定义中的参数列表结束的括号后面增添一个冒号以及一个初始体列表，每个初始体都包括一个名字以及一个参数列表，则会告诉编译器只使用一次函数调用来初始化列表中的成员。如果有这样一个构造函数：
Classname::Classname(const String& variantname)
{
 variant=variantname;
}
此时由于String是一个类，类Classname成员variant先将会被String的缺省构造函数所初始化，其值不定，然后在Classname的构造函数中，它的值又会因为赋值操作而再一次改变。这是两个步骤，可以通过上面的方法合成一个步骤，如：
Classname::Classname(const String& variantname):variant(variantname){}

6、常量和引用的初始化必须放在构造函数正在建立数据成员结构的时候，也就是放在构造函数的冒号后面。类中的成员以其在类中声明的顺序构造，而不是看构造函数说明中冒号后面成员初始化的顺序。原因是如果构造函数中指定了一个特殊的构造顺序，那么析构函数不得不去查询构造函数的定义，以获得如果对成员进行析构的顺序，由于构造函数和析构函数可以在不同的文件中定义，这就将给编译器的实现者造成一个难题，更遭的是，一个类可以有两个或者更多的构造函数，对于这些构造函数的定义，我们并不能保证它们中的成员出现的实现都是一致的。所以使用类的声明来解决成员的构造和析构顺序。
7、Thing get_a_thing();
void change_thing(Thing&);
chang_thing(get_a_thing());//编译错误
将一个未命名的临时对象作为一个非常量指针传递给函数是非法的，如果被调函数对引用参数的值进行了修改，但调用函数却忽视了这种修改，认为这种行为是一种bug。这样是可以的：
void look_at_thing(const Thing&);
void look_at_thing(get_a_thing());

8、通过在函数的声明体和定义体的参数列表后面添加关键字const，我们可以把一个成员函数声明为一个常量成员函数，但我们只能对常量对象调用常量成员函数。在常量成员函数定义体中，对象的所有数据成员都是常量，"this"指针也是一个“指向常量对象的常量指针”，而不是“指向对象的常量指针”。因此常量对象不能调用非常量的成员函数但是非常量对象不仅可以调用非常量成员函数还可以调用常量成员函数。