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

短命女 2022-06-06 08:42 433阅读 0赞

# ** 本文概述 ** #

楼主再次更新本文内容，如本文测试的结果或者表述有错处之处，还望大家批评与指正，谢谢！更改时间：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指向某变量的值。如图所示：

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70][]

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

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

**如图所示：**

**指针常量可以改变指向：**

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 1][]

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

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 2][]

**运用代码如下：**

**指针常量可以改变指向：**

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的内容不变）

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

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 3][]

\-----------------------------------------

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

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 4][]

**指向非常量的常量指针指向时（当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为常量时）：**

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 5][]

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

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

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

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 6][]

**指向非常量的常量指针能修改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;

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

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 7][]

代码如下：

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;
    }

# **总结：** #

**（1）**声明时，根据常见以const限定的数据类型，来区分指针常量与常量指针的区别。

**（2）不同的类型分为如下：**

**指针常量：**指向非常量的指针常量，指向常量的指针常量

**常量指针：**指向非常量的常量指针，指向常量的常量指针

**（3）指向规则：**

**指针常量：**无论指向的变量是否是常量，都可以指向，可修改指向。

**常量指针：**

一定要初始化，并且该指针从产生到销毁都只能指向一个对象。

**指向非常量的常量指针：**当指向的变量是非常量时，可以指向当指向的变量为常量，不可指向，更不用说对其进行解引用。

**指向常量的常量指针：**无论指向的变量是否是常量，均可指向。

**（4）改变指向某变量的值情况：**

**指针常量：**可以改变指向某变量的值。

**常量指针：**

**指向非常量的常量指针：不可改变**

**指向常量的常量指针：不可改变**

**（因为本文是之前复习到指针时写的文章，可能会存在错误的地方，所以此后有时间再认真检查一遍本文内容。如果发现有错误的地方或者觉得废话过多，我将会重新总结这个知识点。记录于2021.3.14）**

## **书本的部分内容截图所示** ##

图1来源--《C++程序设计语言》第5.4.1。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 8][]

图1

图2是常量指针。--来源《C++编程思想》第8.2.2

![20190604132155570.png][]

图2

图3是指向const的指针，也就是指针常量。来源--《C++编程思想》第8.2.1

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 9][]

图3

图4是指针常量。来源--《C/C++程序员面试宝典》。

![20190604132743656.png][]

图4

图5是常量指针。--来源《C/C++程序员面试宝典》。

![20190604132904990.png][]

图5

图6指针常量。--来源《Primer C++第5版》第2.4.2

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 10][]

图6

图7常量指针。--来源《Primer C++第5版》第2.4.2

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 11][]

图7

图8--来源《深入理解C指针》。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 12][]

图8

图9--来源《深入理解C指针》

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 13][]

图9

**  说明：**楼主发现还有其他书籍对这两个指针命名都是一样的，就不知道为何会出现在其他教学视频和大多数文章里描述的命名相反的情况。不知道谁对谁错，但不管怎么样，弄懂其含义和作用才是至关重要。对于命名相反的问题，楼主就不必再对此钻牛角尖了。

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70]: /images/20220606/e9fc6c8723cf49a582465d2a5e394207.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 1]: /images/20220606/a4eef0569e5549aa9fc5d9d6fce912f6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 2]: /images/20220606/b076ff21e1b94d0499c46cc436f39693.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 3]: /images/20220606/0fb867d56cbe4bcc9b371504b94a0cc3.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 4]: /images/20220606/cde640d394d8433aa2a08e7eb243415e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 5]: /images/20220606/7d62ca3554e04338bcd35cc798c58f6c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 6]: /images/20220606/79dc0b9fe6aa4c61a22bbe7c213a8e90.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 7]: /images/20220606/f079237925fd4f4996e4a40f03c7ae0c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 8]: /images/20220606/f32c8fd3e246485089bd7e0277019976.png
[20190604132155570.png]: /images/20220606/79ec47cc53ca4684996ea935f05dc5c4.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 9]: /images/20220606/97cdaa233b294dfea01312fcaabdbd60.png
[20190604132743656.png]: /images/20220606/13bd879425dd4bacbafec44ee7cb94cb.png
[20190604132904990.png]: /images/20220606/2bf92f2e3b2241b3bb3d2ce5fc379cc6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 10]: /images/20220606/cad12f8bbc4040e794f6d4d727c48b73.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 11]: /images/20220606/2cf13986dffc4c33a1069f3bafac6b35.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 12]: /images/20220606/6afbee51b6e84707ba956fe395b4c45c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoZW4xMDgzMzc2NTEx_size_16_color_FFFFFF_t_70 13]: /images/20220606/e26bc485fceb4fdab558caa81868d7cd.png