指针的赋值
问题
将一个类型为 char** 的值赋值给一个 const char** 类型的对象是否合法呢？
先说结果，在vs的环境下，编译器不会报错也不会有任何警告。
但在linux环境下用gcc编译就会出现下面的警告：
warning: assignment from incompatible pointer type
警告:来自不兼容指针类型的赋值
为了代码的可移植性我们显然不能写出这样的代码，下面就让我们一步步探索这其中的奥妙。
首先来了解ANSI C有关标准
ANSI C 有关简单赋值的标准
要使赋值形式合法，必须满足下列条件之一：
- 1.两个操作数都是指向有限定符或无限定符的相容类型的指针
- 2. 左边指针所指向的类型必须具有右边指针所指向类型的全部限定符
还有一个关于类型的说明：
const float* 类型不是一个有限定符的类型——它的类型是 “指向一个具有 const 限定符的 float 类型的指针”，也就是说 const 限定符是修饰指针所指向的类型，而不是指针本身。
问题解决
在解决问题之前，我们先来看一组简单的。
char* 和 const char*
char* 和 const char* 是匹配的。它之所以合法，是因为在下面的代码中：
|
1
2
3
|
char* cp;const char* cpp;cpp = cp; |
- 左操作数是一个指向有const限定符的char的指针；
- 右操作数是一个指向没有限定符的char的指针；
- char类型与char类型是相容的，左操作数所指向的类型具有右操作数所指向类型的限定符（无），再加上自身的限定符（const）。
注意，反过来就不能进行赋值。
|
1
2
3
|
char* cp;const char* cpp;cp = cpp; //此时左操作数不具有右操作数的const限定符 |
char** 和 const char**
由上面的知识我们可以得知，char** 和 const char** 都是没有限定符的指针类型，但他们的指向的类型不一样（前者指向char*，后者指向const char*），这违反了上面赋值标准的第一条，所以它们是不相容的。
用这种方式理解这个有一点困难。可以用下面这种方法进行理解：
|
1
2
3
|
char** pp1;const char** pp2;pp2 = pp1; |
- 左操作数的类型是 const char**，它是一个指向 const char* 类型的指针，而 const char* 是一个没有限定符的指针，它指向一个带有 const 限定的 char 类型；
- 右操作数的类型是 char**，它是一个指向 char* 的指针，而 char* 是一个没有限定符的指针，它指向一个没有限定符的 char 类型。
const char* 和 char* 是相容的，而且他们本身没有限定符，所以符合标准的约束条件，两者之间的赋值是合法的。但 const char** 和 char** 之间的关系又有不同，虽然二者都没有限定符，但二者所指向的对象类型不相容，所以不能进行赋值。
const修饰
const修饰变量
首先，关键字const并不能把变量变成常量！在一个符号前加上const限定符只是表示这个符号不能被赋值。也就是说const修饰的变量是只读的，不可以被直接修改，但它不能防止被间接修改。
例如：
|
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <stdio.h>int main(){ const int i = 10; int* p = &i; printf("before:%d\n", i); *p = 20; printf("after:%d\n", i);//这里打印值变成了20，说明可以间接修改 return 0;} |
const修饰指针
const修饰指针变量有多种位置，下面我们将逐个介绍。
const int* p
注：const int* p 与 int const p 写法不同，作用是一样的。
这种写法的意思是：const修饰p，不能通过解引用（p）的方式直接修改所指向的变量，但可以通过改变指针指向的方式来修改p。
例如：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#include <stdio.h>int main(){ //通过下方直接解引用的方式来修改编译器会直接报错 //int i = 10; //const int* p = &i; //*p = 20; int i = 10; const int* p = &i; printf("before:%d\n", *p); int j = 20; p = &j;//通过这样改变p的指向，可以间接修改*p值 printf("after:%d\n", *p); return 0;} |
int* const p
这种写法的意思是：const修饰p，不能通过改变指针指向的方式修改*p的值，但可以通过解引用（*p）的方式直接修改所指向的变量。
例如：
|
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <stdio.h>int main(){ int i = 10; int* const p = &i; printf("before:%d\n", *p); *p = 20;//不能改变p的指向，但可以直接解引用修改值 printf("after:%d\n", *p); return 0;} |
const int* const p
这种写法是同时修饰p和*p，既不能改变p的指向，也不能用解引用直接修改。
总结
本篇文章就到这里了，希望能够给你带来帮助，也希望您能够多多关注服务器之家的更多内容!
原文链接：https://blog.csdn.net/qq_40080842/article/details/122940866
