const关键字
1、可以在class外部修饰global或namespace作用域中的常量;
2、修饰文件、函数、或区块作用域中被声明为static的对象;
3、修饰class内部的static和non-static成员变量;
4、对于指针,可以指出指针本身、指针所指物、或两者都是const;
const和指针关系
1、关键字const出现在星号左边 -> 被指物为常量;
2、关键字const出现在星号右边 -> 指针自身为常量;
3、关键字const出现在星号两边 -> 被指物和指针为常量;
const和迭代器关系
STL迭代器以指针为基础进行实现的,所以迭代器的作用相当于一个T*指针。
1、声明迭代器为const,即const std::vector<int>::iterator iter = vec.begin(),表示这个迭代器不可以指向不同的东西,但是可以修改迭代器所指向东西的值
++iter是错误的;
*iter = 19;是正确的。
2、希望迭代器所指的东西不可以被改动,可声明为const_iterator。
const和函数关系
这部分是const最为精华的部分,可以分为3部分进行理解
1、const可以和函数返回值产生关联:
令函数的返回值为const,往往可以降低因客户错误造成的意外。
2、const可以和函数各参数产生关联:
3、const可以和函数本身产生关联:
将const实施与函数本身的目的:为了确认成员函数可以作用于const对象身上。
1、它们使const接口比较容易理解;
2、它们是“操作const对象”成为了可能;
接下来从三个方面来对const成员函数进行理解:
1、const成员函数和non-const成员函数可以构成重载;
2、bitwise const和logical const的关系;
3、在const 和 non-const成员函数中避免重复;
const成员函数和non-const成员函数可以构成重载
class TextBlock
{
public:
const char& operator[] (std::size_t position)const
{
return text[position]
}
const char& operator[] (std::size_t position)
{
return text[position]
}
private:
std::string text;
}
//
void print(const TextBlock& ctb)
{
std::cout << ctb[0];
...
}
TextBlock tb("Hello");
const TextBloct stb("World");
std::cout << tb[0];//operator [ ]
tb[0] = 'x';//ok
std::cout<< ctb[0];//operator [ ] const
ctb[0]='x';//error
结果分析:non-const operator[]的返回值是个reference to char,不是char。如果operator[]只返回一个char,tb[0]=‘x’无法通过编译。
原因:1、如果函数返回值是个内置类型,那么改动函数返回值从来都不合法。
2、c++以by value返回对象意味着改动的是tb.text[0]的一份副本,不是tb.text[0]自身。
bitwise const和logical const的关系
在const 和 non-const成员函数中避免重复