老生常谈const

C/C++中有关const的用法在网上很多，并且这一知识点也是很多企业招聘时的常考题目。之前看到过类似的总结，不过因为自己很懒不常常使用所以也忘得差不多了，仅仅记得const是让其修饰的对象仅拥有“只读”的权限。不过今天在学习到《Essential C++》第4.1节时又有了“稍进一步”的发现，即当const来修饰一个类的成员函数时，它并不仅仅是禁止修改类里面的数据，而且要求其里面用到的成员都是具有const属性的。如下以为示例：

 

Code:

1. // CONST.CPP   
2. #include <iostream>   
3.   
4. using namespace std;   
5.   
6. class MyClass   
7. {   
8.     public:   
9.         MyClass();   
10.         int getValueA();   
11.         int getValueB()const;   
12.     private:   
13.         int a;   
14.         int b;   
15. };   
16.   
17. MyClass::MyClass()   
18. {   
19.     a = 1;   
20.     b = 2;   
21. }   
22. inline int MyClass::getValueA()   
23. {   
24.     return a;   
25. }   
26.   
27. inline int MyClass::getValueB()const  
28. {   
29.     cout <<"value a: " <<getValueA();   
30.     return b;   
31. }   
32. int main()   
33. {   
34.     MyClass myclass;   
35.   
36.   
37.     cout <<endl;   
38.     cout <<"value a: " <<myclass.getValueB();   
39.   
40.     return 0;   
41. }  

在上面的代码中，MyClass中以const修饰的成员函数getValueB()中调用了非const成员函数getValueA()，这段代码在编译是会提示有误：

IDE: VS2008

Code:

1. const.cpp   
2. D:/Program Files/Microsoft Visual Studio 9.0/VC/include/xlocale(342) : warning C   
3. 4530: 使用了 C++ 异常处理程序，但未启用展开语义。请指定 /EHsc   
4. const.cpp(29) : error C2662: “MyClass::getValueA”: 不能将“this”指针从“const  
5.  MyClass”转换为“MyClass &” 转换丢失限定符  

IDE: CODEBLOCKS

Code:

1. F:/Programs/CodeBlocks/C++/Const/const.cpp||In member function 'int MyClass::getValueB() const':|   
2. F:/Programs/CodeBlocks/C++/Const/const.cpp|29|error: passing 'const MyClass' as 'this' argument of 'int MyClass::getValueA()' discards qualifiers|   
3. ||=== Build finished: 1 errors, 0 warnings ===|  

如上错误可以在将getValueA()添加const修饰后得到更正。

附：
自己说的这些可能早就已经在某些书上指出，不过自己没有碰到，既然刚刚学到，就记下来以备忘。另外下面再总结下const的其他点点。

1. const修饰常量、引用等时

   “只读”属性。

2. 限定符const与指针时

   有两种用法，一为指向const对象的指针，二为const指针。
3. const可以提高编译效率

   编译器在编译期间通常不为const常量分配内存空间，而是把它保存在符号表（这个名词在《程序员的自我修养》里有很清楚的解释，空时再看）。少了存储与读内存的操作。

两点trick:

   1) 在使用指向const对象指针A的时候，虽然不能够通过这个指针去修改其所指向的对象，但是并不表示每个被这种指针所指向的对象就一定受到良好的“保护”，因为这个对象本身就有可能已经被“偷梁换柱”。原因在于“非const对象的地址是允许赋给const对象的指针的”。

   2) const限定符既可以放在类型前也可以放在类型后，在运用typedef写const类型定义时容易犯错。所以较好的写法为把const放在类型的后面。

 

2011.2.24

现在想想这是顺其自然的事，因为只有在保证const成员函数里面调用的成员函数不修改对象的情况下，才能够保证这个const成员函数也不改变对象。