使用const 提高函数的健壮性

1，用const修饰函数的参数

1.1

如果此参数是作输出用，则不论它是什么数据类型，也不论它采用“指针传递”或“引用传递”，都不能加const修饰，否则该将失去输出功能。

如果此参数是作输入用，则用const 修饰可以防止意外地改动该指针，采用规则（常量指针，或指针常量而定），如果直接采用值传递的话

则不需要加const，因为函数体中自动产生临时变量来复制该参数，因此该参数并不需要保护

1.2

 采用自定义数据类型时，如果用函数声明为type func(A a) 这样，则函数的效率是比较底的，因为函数体中要产生

临时用于复制对象a，则需要进行对象的构造，复制，和析构等过程，要消耗一定的时间。可采用type func(const A &a)来以免产生临时对象。

2，用const修饰函数的返回值

2.1 

如果给以“指针传递”方式的函数返回值加const修饰，那么函数返回值的内容不能被修改，该返回值只能被赋给加const修饰的同类型指针。

2.2

如果函数返回值采用“值传递方式”，由于函数会把返回值复制到外部临时的存储
单元中，加const 修饰没有任何价值

3函数返回值采用“引用传递”的场合并不多，这种方式一般只出现在类的赋值函数

中，目的是为了实现链式表达。
例如
class A
{⋯
A & operate = (const A &other); // 赋值函数
};
A a, b, c; // a, b, c 为A 的对象
⋯
a = b = c; // 正常的链式赋值
高质量C++/C 编程指南，v 1.0
2001 Page 84 of 101
(a = b) = c; // 不正常的链式赋值，但合法
如果将赋值函数的返回值加const 修饰，那么该返回值的内容不允许被改动。上例
中，语句 a = b = c 仍然正确，但是语句 (a = b) = c 则是非法的。

4 const 成员函数
任何不会修改数据成员的函数都应该声明为const 类型。如果在编写const 成员函
数时，不慎修改了数据成员，或者调用了其它非const 成员函数，编译器将指出错误，
这无疑会提高程序的健壮性。
以下程序中，类stack 的成员函数GetCount 仅用于计数，从逻辑上讲GetCount 应
当为const 函数。编译器将指出GetCount 函数中的错误。
class Stack
{
public:
void Push(int elem);
int Pop(void);
int GetCount(void) const; // const 成员函数
private:
int m_num;
int m_data[100];
};
int Stack::GetCount(void) const
{
++ m_num; // 编译错误，企图修改数据成员m_num
Pop(); // 编译错误，企图调用非const 函数
return m_num;
}
const 成员函数的声明看起来怪怪的：const 关键字只能放在函数声明的尾部，大
概是因为其它地方都已经被占用了