C++深度解析9const 常量？只读变量？

Posted 2023-05-16 im18620660608

文章目录
1 const 常量的判别准则
1.1 编程实验
2 小结

看了前面的关于 const 的内容，不知道是不是有疑问，const 什么时候为只读变量，什么时候是常量？
1 const 常量的判别准则
只有用字面量初始化的 const 常量才会进入符号表
使用其他变量初始化的 const 常量仍然是只读变量
被 volatile 修饰的 const 常量不会进入符号表
综上所述，在编译期间不能直接确定初始值的 const 标示符，都被作为只读变量处理。

const 引用的类型与初始化变量的类型

相同：初始化变量成为只读变量
不同：生成一个新的只读变量
1.1 编程实验
// 9-1.c
#include<stdio.h>
int main()

const int x = 1;
const int& rx = x;
int& nrx = const_cast<int&>(rx);
nrx = 5;
printf("x = %d\\n", x);
printf("rx = %d\\n", rx);
printf("nrx = %d\\n", nrx);
printf("&x = %p\\n", &x);
printf("&rx = %p\\n", &rx);
printf("&nrx = %p\\n", &nrx);

volatile const int y = 2;
int* p = const_cast<int*>(&y);
*p = 6;
printf("y = %d\\n", y);
printf("p = %p\\n", p);

const int z = y;
p = const_cast<int*>(&z);
*p = 7;
printf("z = %d\\n", z);
printf("p = %p\\n", p);

char c = \'c\';
char& rc = c;
const int& trc = c;
rc = \'a\';
printf("c = %c\\n", c);
printf("rc = %c\\n", rc);
printf("trc = %c\\n", trc);
return 0;

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
程序第 5-8 行，x 通过字面量初始化，是常量，存储在符号表中；rx 通过变量 x 初始化，不能在编译器确定初始值，是只读变量；nrx 通过 const_cast 去掉了只读属性。修改nrx 修改的是内存的值，不能修改符号表中的值，所以 x 值不变，rx 和 nrx 值修改为 5。rx 是 x 的引用，nrx 是 rx 的引用，所以三者的地址是相同的。
第 16-18 行，变量 y 被 volatile 修饰，是只读变量，指针 p 使用 const_cast 去除其只读属性，并指向变量 y，修改指针 p 指向的值也就是修改了内存，y 变为 6。
第 22- 24 行，const 修饰的 z 通过变量 y 初始化，具有只读属性，指针 p 通过const_cast 去除其只读属性，并指向 z，修改 *p 也就是修改了内存值，所以 z 被修改为 7。
第 28-30 行，trc 为 const int 型的引用，c 为 char 变量，类型不同，trc 生成一个新的只读变量，所以修改 rc 会 改变 c 的值，但是不影响 trc。
编译运行：

$ g++ 9-1.c -o 9-1
$ ./9-1
x = 1
rx = 5
nrx = 5
&x = 0x7ffee6ed4440
&rx = 0x7ffee6ed4440
&nrx = 0x7ffee6ed4440
y = 6
p = 0x7ffee6ed4444
z = 7
p = 0x7ffee6ed4448
c = a
rc = a
trc = c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
当 const 修饰的变量是只读变量时，仅仅是说明不能通过这个只读变量修改内存的值，但是可以通过其他方法修改内存值。

2 小结
1、const 引用能够生成新的只读变量
2、编译时不能直接确定初始值的 const 标示符都是只读变量
————————————————
版权声明：本文为CSDN博主「-出发-」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/happyjacob/article/details/104091999

 

C++中加const与不加const的区别

“常量”与“只读变量”的区别。

常量肯定是只读的，例如5， "abc"，等，肯定是只读的，因为常量是被编译器放在内存中的只读区域，当然也就不能够去修改它。

“只读变量”则是在内存中开辟一个地方来存放它的值，只不过这个值由编译器限定不允许被修改。C语言关键字const就是用来限定一个变量不允许被改变的修饰符（Qualifier）。

在ANSI C 语言中用enum类型和#define宏，这两个都可以用来定义常量。 

类型声明中const用来修饰一个常量，有如下两种写法.

 　　1)、const在前面 　　
	const int nValue； //nValue是const 　　
	const char *pContent; //*pContent是const, pContent可变 　　
	const (char *) pContent;//pContent是const,*pContent可变 　　
	char* const pContent; //pContent是const,*pContent可变 　　
	const char* const pContent; //pContent和*pContent都是const 　　

     2)、const在后面，与上面的声明对等 　　
	int const nValue； // nValue是const 　　
	char const * pContent;// *pContent是const, pContent可变 　　
	(char *) const pContent;//pContent是const,*pContent可变 　　
	char* const pContent;// pContent是const,*pContent可变 　　
	char const* const pContent;// pContent和*pContent都是const 

     3)、const与指针
	int me； 　　const int * p1=&me；//p1可变，*p1不可变，此时不能用*p1来修改，但是p1可以转向 　　
	int * const p2=&me；//p2不可变，*p2可变，此时允许*p2来修改其值，但是p2不能转向。 　　
	const int *const p3=&me；//p3不可变，*p3也不可变，此时既不能用*p3来修改其值，也不能转向 

const使用: 　　
	1. 用于指针的两种情况:const是一个左结合的类型修饰符. 　　
		
		int const *A; //A可变,*A不可变 　　
		int *const A; //A不可变,*A可变 　　
	
	2.限定函数的传递值参数: 　　

		void function(const int Var); //传递过来的参数在函数内不可以改变. 　　
	3.限定函数返回值型. 　　

		const int function(); //此时const无意义 　　
		const myclassname function(); //函数返回自定义类型myclassname. 　　

	4限定函数类型. 　　

		void function()const; //常成员函数, Const成员函数不能改变对象的成员函数。 　　
	例如： 　　int Point::GetY() 　　
			{ 　　
				return yVal;
				 　　} 　　

		这个函数被调用时，不改变Point对象，而下面的函数改变Point对象： 　　

		void Point:: SetPt (int x, int y) 　　
			{ 　　
				xVal=x; 　　
				yVal=y;
				 　　} 　　
		为了使成员函数的意义更加清楚，我们可在不改变对象的成员函数的函数原型中加上const说明： 　　
			class Point 　　
			{ 　　
				public: 　　
					int GetX() const; 　　
					int GetY() const; 　　
					void SetPt (int, int); 　　
					void OffsetPt (int, int); 　　
				private: 　　
					int xVal, 
					yVal; 　　
				}; 　　
	
		const成员函数应该在函数原型说明和函数定义中都增加const限定： 　　

			int Point::GetY() const 　　
			{ 　　
				return yVal; 　　} 　　

			class Set 
			{ 　　
				public: 　　
					Set (void)
						{ card = 0; } 　　
					bool Member(const int) const; 　　
					void AddElem(const int); 　　//... 　　}; 　　
			bool Set::Member (const int elem) const 　　
					{ 　　//... 　　} 　　

			非常量成员函数不能被常量成员对象调用，因为它可能企图修改常量的数据成员： 　　

			const Set s; 　　
			s.AddElem(10); // 非法: AddElem不是常量成员函数 　　
			s.Member(10); // 正确 　　

*******但构造函数和析构函数对这个规则例外，它们从不定义为常量成员，但可被常量对象调用（被自动调用）。它们也能给常量的数据成员赋值，除非数据成员本身是常量。 

当const所在代码段中不包含括号时，沿着*号划一条线，如果const位于*的左侧，则const就是用来修饰指针所指向的变量，即指针指向为常量；如果const位于*的右侧，const就是修饰指针本身，即指针本身是常量。你可以根据这个规则来看上面声明的实际意义，相信定会一目了然。 　　
另外，需要注意：对于const (char *) ; 因为char *是一个整体，相当于一个类型(如 char)，因此，这时限定指针是const。 　　

一个简单的判断方法：指针运算符*，是从右到左，那么如：char const * pContent，可以理解为char const (* pContent)，即* pContent为const，而pContent则是可变的。

我们定义的类的成员函数中，常常有一些成员函数不改变类的数据成员，也就是说，这些函数是"只读"函数，而有一些函数要修改类数据成员的值。如果把不改变数据成员的函数都加上const关键字进行标识，显然，可提高程序的可读性。其实，它还能提高程序的可靠性，已定义成const的成员函数，一旦企图修改数据成员的值，则编译器按错误处理。

const成员函数和const对象 　　

	实际上，const成员函数还有另外一项作用，即常量对象相关。对于内置的数据类型，我们可以定义它们的常量，用户自定义的类也一样，可以定义它们的常量对象。

	例如，定义一个整型常量的方法为： 　　
		
		const int i=1 ； 　　

	同样，也可以定义常量对象，假定有一个类classA，定义该类的常量对象的方法为： 　　

		const classA a(2)； 　　
	
	这里，a是类classA的一个const对象，"2"传给它的构造函数参数。const对象的数据成员在对象寿命期内不能改变。但是，如何保证该类的数据成员不被改变呢？ 　　为了确保const对象的数据成员不会被改变，在C++中，const对象只能调用const成员函数。如果一个成员函数实际上没有对数据成员作任何形式的修改，但是它没有被const关键字限定的，也不能被常量对象调用。下面通过一个例子来说明这个问题： 　　

		class C 　　
		{ 　　
			int X; 　　
			public: 　　
				int GetX() 　　{ 　　return X; 　　} 　　
				void SetX(int X) 　　{ 　　this->X = X; 　　} 　　}; 　　
				void main() 　　{ 　　const C constC; 　　cout<<constC.GetX(); 　　} 　　

		如果我们编译上面的程序代码，编译器会出现错误提示：constC是个常量对象，它只能调用const成员函数。虽然GetX( )函数实际上并没有改变数据成员X，由于没有const关键字限定，所以仍旧不能被constC对象调用。如果我们将上述代码中： 　　

		int GetX() 　　改写成： 　　int GetX()const 　　再重新编译，就没有问题了。 　　

const成员函数的使用 　　

		const成员函数表示该成员函数只能读类数据成员，而不能修改类成员数据。定义const成员函数时，把const关键字放在函数的参数表和函数体之间。有人可能会问：为什么不将const放在函数声明前呢？因为这样做意味着函数的返回值是常量，意义完全不同。下面是定义const成员函数的一个实例： 　　

		class X 　　
			{ 　　int i; 　　
				public: 　　
					int f() const; 　　}; 　　

		关键字const必须用同样的方式重复出现在函数实现里，否则编译器会把它看成一个不同的函数： 　　

		int X::f() const 　　
			{ 　　return i; 　　} 　　

		如果f( )试图用任何方式改变i或调用另一个非const成员函数，编译器将给出错误信息。任何不修改成员数据的函数都应该声明为const函数，这样有助于提高程序的可读性和可靠性。

--转载于百度知道