老生常谈const

C/C++中有关const的用法在网上很多，并且这一知识点也是很多企业招聘时的常考题目。之前看到过类似的总结，不过因为自己很懒不常常使用所以也忘得差不多了，仅仅记得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.cppD:/Program Files/Microsoft Visual Studio 9.0/VC/include/xlocale(342) : warning C4530: 使用了 C++ 异常处理程序，但未启用展开语义。请指定 /EHscconst.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常量分配内存空间，而是把它保存在符号表（这个名词在《程序员的自我修养》里有很清楚的解释，空时再看）。少了存储与读内存的操作。

 

两点trick:

 

• 在使用指向const对象指针A的时候，虽然不能够通过这个指针去修改其所指向的对象，但是并不表示每个被这种指针所指向的对象就一定受到良好的“保护”，因为这个对象本身就有可能已经被“偷梁换柱”。原因在于“非const对象的地址是允许赋给const对象的指针的”。
• const限定符既可以放在类型前也可以放在类型后，在运用typedef写const类型定义时容易犯错。所以较好的写法为把const放在类型的后面。

2011.2.24

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