高质量C++编程指南学习笔记第11章---thanks to林锐

第十一章     其他编程经验

11、1利用const提高函数的健壮性

         const更大的魅力是它可修饰函数的参数、返回值、甚至函数的定义体。

11.1.1用const修饰函数的参数

若参数作输出用，无论是指针传递还是引用传递，都不能加const修饰，否则该参数将失去输出功能。const只能修饰输入参数：

Ø  若输入参数采用“指针传递”，则加const修饰可防止意外改动该指针。指针传递本质也是值传递，若使用指针常量，因调用时还要产生参数的副本，则其const将会失效，所以输入参数是常量指针而非指针常量。const在*前为常量指针，在其后为指针常量。

Ø  若输入参数采用“值传递”，因函数将自动产生临时变量用于复制该参数，该输入参数本来就无须保护，所以不要加const修饰。

Ø  对非内部数据类型的参数而言，像void Fun(A a)这样的声明注定效率较低。因函数体内将产生A类型的临时对象用于复制参数a，而临时对象的构造、复制、析构过程都需要时间。为提高效率，可将声明改为void Fun(A &a)，因引用传递不需产生临时对象。缺点：引用传递可能改变参数a，所以需改为void Fun(const A &a)。对内部数据类型，因不存在构造析构过程，所以不需改为引用传递。简而言之，即对非内部数据类型，应将“值传递”方式改为“const引用传递”方式。对内部类型，使用“值传递”。

11.1.2用const修饰函数的返回值

上面讲了输入参数的三种传递方式，函数的返回值也有三种方式，同输入参数的方式。

Ø  若给以“指针传递”方式的函数返回值加const修饰，那么函数返回值的内容不能被修改，该返回值只能赋给const修饰的同类型指针。例如：const char *GetString(void);

char *str = GetString();----------------------编译错误

const char *str = GetString();----------------正确

因不可将指向常量的指针赋给非指向常量的指针。

Ø  若返回值用“值传递”方式，因函数会把返回值复制到外部临时的存储单元中，加const修饰无意义。对非内部数据类型，可采用“const引用传递”，注意引用不能指向函数的局部变量，否则出错。

Ø  函数返回值采用“引用传递”的场合不多，一般仅用于类的赋值函数中，以实现链式表达。

11.1.3const成员函数

任何不会修改数据成员的函数都应该声明为const类型。若在编写const成员函数时，不慎修改了数据成员或调用了非const成员函数，编译将报错。声明格式如：

class Stack

{

public:

         int Pop(void);

         int GetCount(void) const;//const成员函数

private:

         int m_num;

};

int Stack::GetCount(void) const

{

         ++m_num;                                    //编译错误

         Pop();                                             //编译错误

         return m_num;

}

 

总结：const的用法：修饰函数函数参数、返回值、函数体本身。

对参数和返回值的传递方式，都有三种：指针传递、值传递、引用传递。

参数：const修饰输出参数无意义，仅修饰输入参数。const指针传递：可防止修改输入参数；值传递：const修饰无意义；const引用传递：对非内部数据参数有用，可避免产生临时对象，提高效率。

返回值：const指针传递：返回值内容不能被修改，只能赋给同类型的const指针；值传递：因要生成临时对象，const修饰无意义；const引用传递：对非内部数据有用，一般仅用于类的赋值函数中。注意指针传递和引用传递，返回值不要指向局部变量。

函数体本身：不修改数据成员就声明为const成员函数，其内部不可改变数据成员，也不可调用非const成员函数。

区分：指向常量的指针const int *p;指针常量int *const p;。