被const修饰的函数
标签(空格分隔):c/c++
部分参考:http://www.tuicool.com/articles/Nz6N3e
用const修饰函数的参数
如果输入参数采用
指针传递
,那么加 const 修饰可以防止意外地改动该指针,起到保护作用。
例如 StringCopy 函数:void StringCopy(char *destination, const char *source);
如果输入参数采用“值传递”,由于函数将自动产生临时变量用于复制该参数,则输入参数无需保护,所以不要加 const 修饰,即不是所有的入参都需要进行const保护。
【一种特殊的情况】
即对于非内部数据类型的参数而言,像 void func(A a) 这样声明的函数注定效率比较低。因为函数体内将产生A类型的临时对象用于复制参数a,而临时对象的构造、复制、析构过程都将消耗时间。为了提高效率,可以将函数声明改为 void func(A &a),因为“引用传递”仅借用一下参数的别名而已,不需要产生临时对象。但是函数 void func(A &a) 存在一个缺点:“引用传递”有可能改变参数a,这是我们不期望的。解决这个问题很容易,加const修饰即可,因此函数最终成为 void func(const A &a)。
那么问题来了:是否应将 void func(int x) 改写为 void func(const int &x),以便提高效率?完全没有必要,因为内部数据类型的参数不存在构造、析构的过程,而复制也非常快,“值传递”和“引用传递”的效率几乎相当。
【总结一下】
(1)对于非内部数据类型的输入参数,应该将“值传递”的方式改为“const 引用传递”,目的是提高效率。例如将 void func(A a) 改为 void func(const A &a)。
(2)对于内部数据类型的输入参数,不要将“值传递”的方式改为“const 引用传递”。否则既达不到提高效率的目的,又降低了函数的可理解性。例如 void func(int x) 不应该改为void func(const int &x)。用const 修饰函数的返回值
如果给以“指针传递”方式(返回值)的函数返回值加 const 修饰,那么函数返回值(即指针)的内容不能被修改, 该返回值只能被赋给加 const 修饰的同类型指针。如下语句将出现编译错误:
char *str = getString();
正确的用法是:
const char *str = getString();
如果函数返回值采用“值传递方式”,由于函数会把返回值复制到外部临时的存储单元中,加const 修饰没有任何价值。例如,不要把函数 int getInt(void) 写成 const int getInt(void)。同理不要把函数 A getA(void) 写成 const A getA(void),其中 A 为用户自定义的数据类型。
如果返回值不是内部数据类型,将函数 A getA(void) 改写为 const A & getA(void) 的确能提高效率。但此时千万千万要小心,一定要搞清楚函数究竟是想返回一个对象的“拷贝”还是仅返回“别名”就可以了,否则程序会出错。
const 成员函数
任何不会修改数据成员的函数都应该声明为 const 类型。
在类中,const关键字位于函数名之后的位置(注意写法),比如:class classname{ ... int GetCount(void) const; // const 成员函数 ... };
总结
关于 const 函数的几点规则:
- const 对象只能访问 const 成员函数(类似于类的静态成员函数),而非 const 对象可以访问任意的成员函数,包括 const 成员函数。
- const 对象的成员是不可修改的,然而 const 对象通过指针维护的对象(指针对象作为成员)却是可以修改的。
- const 成员函数不可以修改对象的数据,不管对象是否具有 const 性质。它在编译时,以是否修改成员数据为依据,进行检查。
- 然而加上 mutable 修饰符的数据成员,对于任何情况下通过任何手段都可修改,自然此时的 const 成员函数是可以修改它的。
【解释:为什么const对象只能访问const成员函数】
当我们的对象是const对象时,比如const CTest ttt;
这时候表示什么意思呢?ttt的内容是不可以改变的,当我们把&ttt作为一个参数传到形参this时,矛盾出现了:(1)ttt的成员不可以被改变。(2)this指针的成员变量是可以改变的(只是this指向的对象地址不能改变)。如果我能正确的将ttt的地址传给this,那么ttt这个常量的值就可以在this中被改变了!,所以,编译器是不允许这种情况出现的,也就是说如果我们用const对象访问了非const成员函数就提示错误了。故,const对象不能访问非const成员函数。
当我们的成员函数是const成员函数时,例:CTest::ttt() const;
,在编译器解释时会将该函数解释为CTest::ttt(const CTest const this)
,this指针及其所指向的内容都不可以被修改,前面提到的矛盾也就不存在了,所以const对象可以访问const成员变量。【const成员函数的访问权限】
a. const成员函数不被允许修改它所在对象的任何一个数据成员。
b. const成员函数能够访问对象的const成员,而其他成员函数不可以。
补充
使用const的优点之节省空间、提高效率
【节省空间】const定义常量从汇编的角度来看,只是给出了对应的内存地址,而不是象#define一样给出的是立即数,所以,const定义的常量在程序运行过程中只有一份拷贝,而#define定义的常量在内存中有若干个拷贝。
【提高效率】编译器通常不为普通const常量分配存储空间,而是将它们保存在符号表中,这使得它成为一个编译期间的常量,没有了存储与读内存的操作,使得它的效率也很高。const修饰成员变量
const修饰类的成员,表示成员常量,不能被修改,同时它只能在初始化列表中赋值。将const类型转化为非const类型的方法
采用const_cast 进行转换。
用法:const_cast <type_id> (expression)
其他补充
如果在非const成员函数中,this指针只是一个类类型的;如果在const成员函数中,this指针是一个const类类型的(底层的const,this本身是默认顶层的const);如果在volatile成员函数中,this指针就是一个volatile类类型的。
new返回的指针必须是const类型的。