再议C/C++中const的用法-c++ const用法

关于C/C++中const的用法，我们之前也介绍过很多，大家可以看看这两篇文章，《C++基础详细介绍const的用法》和《C++初学者 const使用详解》，供参考。

今天在学习到《Essential C++》第4.1节时又有了“稍进一步”的发现，即当const来修饰一个类的成员函数时，它并不仅仅是禁止修改类里面的数据，而且要求其里面用到的类的成员都是具有const属性的。如下以为示例：

// CONST.CPP  
#include <iostream>  
using namespace std;  
class MyClass  
{  
public:  
MyClass();  
int getValueA();  
int getValueB()const;  
private:  
int a;  
int b;  
};  
MyClass::MyClass()  
{  
a = 1;  
b = 2;  
}  
inline int MyClass::getValueA()  
{  
return a;  
}  
inline int MyClass::getValueB()const 
{  
cout <<"value a: " <<getValueA();  
return b;  
}  
int main()  
{  
MyClass myclass;  
cout <<endl;  
cout <<"value a: " <<myclass.getValueB();  
return 0;  
}

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

IDE: VS 2008

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

IDE: CODEBLOCKS

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

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

附：

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

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

“只读”属性。

2. 限定符const与指针时

有两种用法，一为指向const对象的指针，二为const指针。

3. const可以提高编译效率

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

注意：

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

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

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