const关键字细节汇总

最新推荐文章于 2023-07-04 11:22:17 发布

原创最新推荐文章于 2023-07-04 11:22:17 发布 · 401 阅读

0 ·

CC 4.0 BY-SA版权

C/C++ 专栏收录该内容

43 篇文章

订阅专栏

前言

关键字const多才多艺，你可以用它在class外部修饰global或namespace作用域中的常量，或修饰文件、函数、或区块作用域(block scope)中被声明为static的对象，也可以修饰class内部的static和non-static成员变量。
面对指针，也可以指向指针本身、指针指向物，或两者都(或都不)是const。

const与指针

规则：如果const出现在星号左边，表示被指物是常量；如果出现在星号右边，表示指针自身是常量；如果出现在星号两边，表示被指物和指针两者都是常量。

修饰指针变量

如果被指物是常量(const出现在星号左边)，有些习惯将const写在类型之前，有些习惯会把它写在类型之后，星号之前，两者写法意义相同：

void f1(const Widget* pw);	//f1获得一个指针，指向一个常量的(不变的)Widget对象
void f2(Widget const * pw );	//f2也是

好吧，我承认我喜欢第一种写法，但是都要懂得这些写法。

变与不变

const_iterator这个迭代器不得指向不同的东西，但它所指的东西的值是可以改动的。
注意下面的案例，自己经常弄混。

using namespace std;
vector<int> vec;
...
const vevtor<int>::iterator iter = vec.begin();
*iter = 10;//没问题，改变iter所指物
++iter;//错误，iter是指针
vector<int>::const_iterator cIter = vec.begin();
*cIter = 10;//错误，*cIter是const
++cIter;//没问题，改变cIter

const返回值

令函数返回一直常量值，往往可以降低因客户错误而造成的意外，而又不至于放弃安全性和高效性。

举例：

Rational a,b,c;
...
(a * b) = c;	//在a * b的成果上调用operator=

因为此允许对两值乘积做赋值动物也就没什么意思了。将operator*的回传值声明为const可以预防这个"没意思的赋值动作"，这就是该那么做的原因。

const成员函数

将const实施于成员函数的目的，是为了确认该成员函数可作用于const对象身上。
这一类成员函数的重要性在于：

它们使得class接口比较容易被理解。这是因为，得知哪个函数可以改动对象内容而哪个函数不行，很是重要；
它们使"操作const对象"成为可能。而此技术可行的前提是，我们有const成员函数可用于处理取得(并经修饰而成)的const对象。

好吧，我承认我对于原因2难以理解，先说明记录一下。
对于const成员函数，主要有两个流行概念：bitwise constness(又称physical constness)和logical constness。
bitwise constness：指成员函数只是在不更改对象之任何成员变量(除外)时才可以说是const。也就是说它不更改对象内的任何一个bit。
这种概念会有时候导致反直观结果。如果一个更改了"指针所指物"的成员函数虽然不能算是const，但如果只有指针(而非其所指物)隶属于对象，那么称此函数为bitwise const不会引发编译器异议。例如：

class CTextBlock{
public:
	...
	char& operator[](std::size_t position) const	//bitwise const声明，但其实不适当
	{return pText[position];}
private:
	char* pText;
}

const cTextBlock cctb("Hello");		//声明一个常量对象。
char* pc = &cctb[0];				//调用const operator[]取得一个指针，指向cctb的数据

*pc = 'J';							//cctb现在有了"Jellp"这样的内容

处理bitwise constness约束

如果在const成员函数里面需要更改某个数据怎么办？解决办法就是利用C++的一个与const相关的摆动场：mutable(可变的)。mutable释放掉non-static成员变量的bitwise constness约束。具体使用如下：

class CTextBlock{
public:
	...
	std::size_t length() const;
private:
	char* pText;
	mutable std::size_t textLength;		//这些成员变量可能总是会被更改，即使在const成员函数内
	mutable bool lengthIsValid;			//同上
};
std::size_t CTextBlock::length() const
{
	if(!lengthIsValid){
		textLength = std::strlen(pText);//现在，可以被更改
		lengthIsValid = True;			//同上
	}
}

const成员函数转non-const成员函数

如果const成员函数和non-const成员函数代码等价时，为避免代码重复的安全做法，我们可以使用转型来处理这一问题。

class TextBlock{
public:
	...
	const char& operator[](std::size_t position) const
	{
		...
		...
		...
		return text[position];
	}
	char& operator[](std::size_t position)	//现在只调用const op[]
	{//将op[]返回值的const转除为*this加上const,调用cosnt op[]
		return const_cast<char&>(
			static_cast<const TextBlock&>(*this)
				[position]
		); 
	}
...
};