看到const 关键字,C++程序员首先想到的可能是const 常量,这可不是良好的条件反射。如果只知道用 const 定义常量,那么相当于把火药用于制作鞭炮。Const 更大的魅力是它可以修饰函数的参数和返回值,甚至函数的定义体。
用const 修饰函数的参数
如果参数用于输出,不论它是什么数据类型,也不论它采用“指针传递”还是“引用传递”,都不能参加const 修饰,否则该参数将失去输出功能。Const 只能修饰输入参数。
提示:如果输入参数采用“指针传递”,那么加const 修饰可以防止意外的改动该指针指向的内存单元,起到保护作用。
例如,StringCopy 函数:
Void StringCopy(char *strDest, const char *strSrc);
其中strSrc 是输入参数,strDest 是输出参数。给strSrc加上const 修饰符后,如果函数体内的语句试图改动 strSrc 指向的内存单元,编译器将指出错误。
如果还想保护指针本身,则可以声明指针本身为常量,防止该指针的值被改变,例如:
Void OutputString(const char *constpStr);
用const 修饰函数的返回值
如果给“指针传递”的函数换回值加const 修饰符,那么函数返回值是一种契约性常量,不能被直接修改,并且该返回值只能被赋值给加const 修饰的同类型指针(除非强制类型转型)。例如:
Const Char * GetString(void);
则如下语句将出现编译错误:
Char *str = GetString();
正确的用法是:
Const *str = GetString();
如果函数返回值采用“值传递”的方式,在一般情况下由于函数会把返回值复制到外部临时的存储单元中,所以加const 修饰没有什么意义。例如:
Int GetInt(void);
一般作为右值来调用:
Int x=GetInt();
函数的返回值采用“引用传递”的方式并不常见,这种方式一般出现在类的赋值函数中,目的是实现链式表达式,如下:
Class A{
Public:
…….
A& operate=(const A &other);
};
A a, b, c;
……….
a=b=c;
(a=b)=c;
如果将赋值函数的返回值加const 修饰,那么该返回值的内容不允许被修改。上例中,语句a=b=c仍然正确,但是语句(a=b)=c 则是错误的。
Const A& GetA(void);
但是千万要小心,一定要搞清楚函数究竟是想返回一个对象的“拷贝”,还是仅返回“别名”(即引用)就可以了,否则程序会出错的。