1. const与指针、迭代器
2. const成员函数
2.1 const与non-const重载
#include <iostream>
#include <string>
using namespace std;
class CTextBook
{
public:
CTextBook(string s) : text(s) {};
~CTextBook() {};
const char& operator[](size_t position) const{ //operator for const object
cout << "const operator[] called" << endl;
return text[position];
}
char& operator[](size_t position){ //operator for non-const object
cout << "non-const operator[] called" << endl;
return text[position];
}
private:
string text;
};
int main()
{
CTextBook nc("non-const");
const CTextBook c("const");
cout << nc[0] << endl;
cout << c[0] << endl;
return 0;
}
输出:
2.2 bitwise constness
bitwise const
阵营的人认为,成员函数只有在不改变对象的任何成员变量时(static
除外)才可以说是const
。… bitwise constness
正是C++对常量的定义,所以在const
成员函数中不能更改对象内的任何non-const
成员变量。 如果成员变量声明前有mutable
则可以在const
成员函数中被改变。
有些函数虽然写明了是const,但是函数内有对指针(某一成员变量)的操作,不会引发编译错误。
这个比较难理解。
#include <iostream>
#include <string>
using namespace std;
class CTextBook
{
public:
CTextBook(string s){
text = const_cast<char*>(s.c_str());
};
~CTextBook() {
};
char& operator[](size_t position) const {//在const成员函数中确实没有改变其他成员变量
return text[position];
}
private:
char* text;
};
int main()
{
const CTextBook c("const");
cout << c[0] << endl;
c[0] = 'x';// c是const的, 但是其中的值可以改变, 这不符合逻辑, 实际上是因为const成员函数的返回值不是const的
cout << c[0] << endl;
return 0;
}
输出:
在const成员函数中不能改变成员变量,除非成员变量前加上mutable。否则会编译出错!
2.3 在const与non-const成员函数中避免重复
如果想在const成员函数中修改其他成员变量,需要在其他成员变量前加上mutable,但是总感觉怪怪的。
避免重复的方法就是在non-const函数中调用const成员函数,并且转型(casting)。
#include <iostream>
#include <string>
using namespace std;
class CTextBook
{
public:
CTextBook(string s){
text = const_cast<char*>(s.c_str());
};
~CTextBook() {
};
const char& operator[](size_t position) const {
cout << "const operator[] called" << endl;
return text[position];
}
//在non-const成员函数中调用const成员函数, 这样non-const与const类型的对象都能调用相关的函数.而且代码得到复用
char& operator[](size_t position){
cout << "non-const operator[] called" << endl;
return const_cast<char&>(static_cast<const CTextBook&>(*this)[position]);
}
private:
char* text;
};
int main()
{
CTextBook nc("non-const");
const CTextBook c("const");
cout << nc[0] << endl;
cout << c[0] << endl;
return 0;
}
输出:
可以看出,cout << nc[0] << endl;
这句调用的是non-const
成员函数,但是non-const
成员函数中又调用了const
成员函数,所以先输出·non-const operator[] called·再输出const operator[] called
。
const成员函数承诺不改变对象的逻辑状态,但是non-const不承诺,所以在const成员函数中不能调用non-const成员函数,反之则可以。
2.4 const对象默认调用const函数,non-const对象默认调用non-const函数
如果const函数与non-const函数同时存在,则const对象默认调用const函数,non-const对象默认调用non-const函数。
3.总结
注意第三条!