指针常量和常量指针的区别

最新推荐文章于 2025-09-23 14:05:53 发布

原创最新推荐文章于 2025-09-23 14:05:53 发布 · 2w 阅读

132 ·

CC 4.0 BY-SA版权

文章标签：

#指针

c++ 专栏收录该内容

19 篇文章

订阅专栏

本文概述

楼主再次更新本文内容，如本文测试的结果或者表述有错处之处，还望大家批评与指正，谢谢！更改时间：2019.3.30

备注：此文与一些相关的文章和部分教学视频不同之处就是：指针常量和常量指针的命名与本文讲述的相反，但含义以及作用是一样的。楼主主要是参考了一些比较经典的书籍来写本文的。对于命名相反的问题，还是望大家来分析一下，谢谢！（文章末尾专门对一些书籍的部分内容截图作为参考，但请大家不必对此钻牛角尖，因为楼主为此也花了较多的精力分析，结果仍然得不到答案，不是很值得）--2019.6.4

我们较难理解指针常量和常量指针是因为使用他们时对其概念容易混淆，理不清这对“双胞胎”兄弟的用处与区别。所以，本文重新整理了下，楼主尽量把以前说得模糊（其实楼主当时对这对“双胞胎”还没学到家）的内容梳理得顺畅些。本文即将会从“常量”、“指针常量”、“常量指针”这三种类型之间关系的角度来进行解释，尤其是楼主会基于常量的基础上，来进行分析“指针常量”和“常量指针”的区别，这有助于大家容易辨别这对“双胞胎”各自的个性。与此同时，楼主会专门制作图片来对此加深理解。

为了考虑大家快速理解代码，楼主尽量使编码规范些，下文假设编码命名如下：

1.普通变量.命名为为a,b,c之类的例如int a,char c。

2.普通指针变量命名为ptr.

3.指针常量的指针变量命名为PtrConst。

4.指向非常量的常量指针命名为ConstPtr。

5.指向常量的常量指针命名为ConstConstPtr。

5.如果在同一函数再用到相同类型指针，就编号区分，例如PtrConst，PtrConst2

正文

常量

假设大家都知道这个常量的意思，就是限定某变量的值不会被修改。

但是用在指针方面显然有点复杂的多，const限定在指针时，并不是直接限定指向某变量的值，而是限定指针解引用的操作。所以说const在指针的作用就在于解引用时是否修改指向的数据或者修改指向的地址。

指针常量

指向常量的指针，这里所说的“常量”其实在解引用时起到所谓常量的作用，并非是指向的变量就是常量，指向的变量既可以是非常量也可以是常量。总体意思是不能修改指向某变量的值。

const int *PtrConst;

int const *PtrConst;两者等价。

方便理解：

我们都知道在一级指针int *ptr中,ptr是一个指针变量，而*ptr是ptr指向某变量的值。因此，我们可以分析指针常量的声明如下：

从右往左看，PtrConst是一个指针变量，* PtrConst是指向某变量的值。而const作为常量修饰符，它修饰的是“int * PtrConst”或者“*PtrConst”，则认为const限定了PtrConst指向某变量的值。如图所示：

在查询资料中，有很多人对指针常量产生误解，即误以为指针指向的变量一定是一个常量，但实际上并非如此。实际上，指针常量指向的变量既可以是常量，也可以是非常量。

当然，对于非指针变量例如int a之类的，用const修饰，就是限定a本身存储的值，即常量a。然而，在指针常量中，对指针变量PtrConst用const修饰，在这里指针变量PtrConst并非常量，而是它指向的变量被修饰为“常量”（实际上指向的变量也不一定是常量，例如PtrConst指向的变量是a，则“常量”可以是int a,也可以是非常量const int a ，其在指针常量解引用中，作用效果还是一致的，下文会详细分析）。

如图所示：

指针常量可以改变指向：

指针常量不能修改指向的某变量的值：

运用代码如下：

指针常量可以改变指向：

int main()
{
	//在这里声明，a,b都既可以是常量const int也可以是非常量int
	int a=1;
	int b=2;
	int const *PtrConst=&a;
	cout<<"a：:"<<a<<endl;
	cout<<"*PtrConst："<<*PtrConst<<endl;

	PtrConst=&b;//指针常量可以由指向a改变为指向b
	cout<<"b："<<b<<endl;
	cout<<"*PtrConst："<<*PtrConst<<endl;
	return 0;
}

结果：

a:1
*PtrConst：1
b：2
*PtrConst：2

指针常量不能修改指向变量的值（当a是非常量时）：

int main()
{
	//当a是非常量时
	int a=1;
	int *ptr=&a;
	int const *PtrConst=&a;
	cout<<"a：:"<<a<<endl;
	cout<<"*ptr："<<*ptr<<endl;
	cout<<"*PtrConst："<<*PtrConst<<endl;
	//企图修改a的值
	*ptr=2;//正确
//	*PtrConst=2;//报错，error C3892: “PtrConst”: 不能给常量赋值
	cout<<"a："<<a<<endl;
	cout<<"*ptr："<<*ptr<<endl;
//	cout<<"*PtrConst："<<*PtrConst<<endl;
	return 0;
}

结果：

a：:1
*ptr：1
*PtrConst：1
a：2
*ptr：2

指针常量不能修改指向变量的值（当a是常量时）：

int main()
{
	//当a是常量时
	const int a=1;
	int *ptr=&a;
	int const *PtrConst=&a;
	//企图修改a的值
	*ptr=2;//报错，“初始化”: 无法从“const int *”转换为“int *”
	*PtrConst=3;//报错，error C3892: “PtrConst”: 不能给常量赋值
	return 0;
//结论:
//*ptr报错原因就是数据类型不一致，但即使转换为const int*也报错提示为：不能给常量赋值
}

*****************************************************

常量指针：

常量指针：不能改变指向的变量（即不能改变指针保存的内容）。

int *const ConstPtr=&a;//必须初始化，只能指向一个变量，绝不可再改变指向另一个变量。

方便理解：

我们都知道在一级指针变量int *ptr中，ptr是一个指针变量，*是一个指针符号。对于常量指针的声明有如下分析：

从右往左看，ConstPtr是个指针变量，const是常量，限定ConstPtr，因此ConstPtr保存的内容（即ConstPtr保存某变量的地址）不会被改变。（相似：int const a,a的内容不变）

这种指针在进行声明时，就一定要对其进行初始化，否则的话，编译时就会报错。因为如果它不进行初始化的话，那它根本就不存在只能指向固定变量的意义了。如果需要时它才被赋值，显然就相当于它起到能够指向另一个变量的作用，即改变指向任意变量，所以不初始化是没有意义的。（这段话可以忽略，先看懂后面所有文字，然后再回过头来看这段话，这样就不会容易搞懵了。）

-----------------------------------------

指向非常量的常量指针指向时（当a为非常量时）：

指向非常量的常量指针指向时（当a为非常量时）代码如下：

int main()
{
	 int a=1;
	 int b=2;
	 //int *const ConstPtr;//报错，error C2734: “ConstPtr”: 如果不是外部的，则必须初始化常量对象
	 int *const ConstPtr=&a; //初始化，从ConstPtr产生到结束，一直指向a。
	// ConstPtr=&b;//报错：常量指针不可改变指向
	return 0;
}

指向非常量的常量指针指向时（当a为常量时）：

指向非常量的常量指针指向时（当a为常量时）代码如下：

int main()
{
	const int a=1;
	int *const ConstPtr=&a; //报错，“初始化”: 无法从“const int *”转换为“int *const ”
	return 0;
//结论：报错原因就是指针指向的类型不一致。
//因为ConstPtr是指向非常量的常量指针,而a是常量类型的。
}

指向非常量的常量指针能修改a的值（当a为非常量时）：

指向非常量的常量指针能修改a的值（当a为非常量时）代码如下：

int main()
{
	 int a=1;
	int *const ConstPtr=&a; 
	*ConstPtr=123;//正确,可以修改非常量a
	return 0;
}

指向非常量的常量指针（当a为常量时）：

因为指向非常量的常量指针是int *const 类型的，而a作为常量是const int *类型的。因此，两者数据类型不相同，就就会报错。既然int *const ConstPtr=&a；就会报错，那么自然不可能会有对a的值进行操作了。要是与常量a的数据类型相同，并对其进行解引用，就会用到指向常量的常量指针，下文会讲到。

指向常量的常量指针

const int *const ConstConstPtr;

其指向以及解引用的作用与指向非常量的常量指针是相同的，但不同的是：指向非常量的常量指针不可指向常量，而指向常量的常量指针均可指向非常量或常量。

代码如下：

int main()
{
	//当a为非常量时
	  int a=1;
	const int *const ConstPtr=&a; 
//	*ConstPtr =13;//报错，不能给“常量a”赋值
	//当b为常量时
	const int b=2;
	const int *const ConstPtr2=&b; 
//	*ConstPtr2 =13;//报错，不能给“常量a”赋值

//如何区分指向非常量的常量指针和指向常量的常量指针，本文末尾总结时将会讲到
//由结果可知：常量指针指向非常量和常量时，都是不可修改指向变量的值。
	return 0;
}