C语言中const和指针的秘密你知道吗

目录
  • 指针的赋值
    • 问题
    • ANSI C 有关简单赋值的标准
    • 问题解决
      • char* 和 const char*
      • char** 和 const char**
  • const修饰
    • const修饰变量
    • const修饰指针
      • const int* p
      • int* const p
      • const int* const p
  • 总结

指针的赋值

问题

将一个类型为 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* 是匹配的。它之所以合法,是因为在下面的代码中:

char* cp;
const char* cpp;
cpp = cp;
  • 左操作数是一个指向有const限定符的char的指针;
  • 右操作数是一个指向没有限定符的char的指针;
  • char类型与char类型是相容的,左操作数所指向的类型具有右操作数所指向类型的限定符(无),再加上自身的限定符(const)。

注意,反过来就不能进行赋值。

char* cp;
const char* cpp;
cp = cpp; //此时左操作数不具有右操作数的const限定符

char** 和 const char**

由上面的知识我们可以得知,char** 和 const char** 都是没有限定符的指针类型,但他们的指向的类型不一样(前者指向char*,后者指向const char*),这违反了上面赋值标准的第一条,所以它们是不相容的。

用这种方式理解这个有一点困难。可以用下面这种方法进行理解:

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修饰的变量是只读的,不可以被直接修改,但它不能防止被间接修改。

例如:

#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。
例如:

#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)的方式直接修改所指向的变量。

例如:

#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的指向,也不能用解引用直接修改。

总结

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注我们的更多内容!

(0)

相关推荐

  • C语言编程const遇上指针分析

    const关键字 可以有很多用处,比如: #define ROW 10 就代表ROW的值恒为10,不可修改. 而 const int ROW=10; 也可以将值恒定,无法修改.还有 const int num[10];//将数组整个保护,无法修改. 但,并不是将被保护量变为常量,而是在处理时将其看为常量,不能对其修改. 当const与指针结合 我们先来看看这个 const int num[] = { 1,2,3,4,5 }; int* p = num; num[0] = 10; *p = 10;

  • 深入了解C语言中的const和指针

    目录 前言 指针的赋值 问题 ANSI C 有关简单赋值的标准 问题解决 const修饰 const修饰变量 const修饰指针 前言 文章内容由阅读<C专家编程>整理而来.希望可以帮助大家解决在指针赋值和const方面的问题,也希望大家多多指正文章中的错误,共同进步. 指针的赋值 问题 将一个类型为 char** 的值赋值给一个 const char** 类型的对象是否合法呢? 先说结果,在vs的环境下,编译器不会报错也不会有任何警告. 但在linux环境下用gcc编译就会出现下面的警告:

  • C语言中const,指针和引用的关系

    目录 const 与指针 const 与引用 const 与指针.引用 总结 const 与指针 我们写一段代码来探究以下 int a = 10, b = 20; int* p1 = &a; *p1 = 100; p1 = &b; const int* p2 = &a; int const* p3 = &a; int* const p4 = &a; const int* const p5 = &a; 在上面 const int* p2;与int const*

  • C语言关键字const和指针的结合使用

    我们先定义三个变量 1.const int *p1 2.int const *p2 3.int *const p3 p1.p2.p3这三个指针都是指向int类型的,那它们有什么区别呢 写个代码测试一下 编译一下 可看到第11,12,16行报错,从中可得出以下结论: const int * 与 int const *是一样的效果,指向的内存是不能改变的,即指针指向的内容是只读的,或者说是一个常量.不过指向的位置是可以更改的,即p1和p2可以重新指向别的常量. 而char *const 刚好相反,表

  • C语言中const与指针使用方法总结

    C语言中const与指针使用方法总结 在这里分享一下自己的心得,希望和大家一起分享技术,如果有什么不足,还请大家指正.写出这篇目的,就是希望大家一起成长,我也相信技术之间没有高低,只有互补,只有分享,才能使彼此更加成长. 总结: * const 值不能改变,指向可改变 const * 值能改变,指向不可改变 const * const 都不能改变 实例代码: #include <stdio.h> int main(int argc, const char * argv[]) { // 1 可改

  • C语言中const和指针的秘密你知道吗

    目录 指针的赋值 问题 ANSI C 有关简单赋值的标准 问题解决 char* 和 const char* char** 和 const char** const修饰 const修饰变量 const修饰指针 const int* p int* const p const int* const p 总结 指针的赋值 问题 将一个类型为 char** 的值赋值给一个 const char** 类型的对象是否合法呢? 先说结果,在vs的环境下,编译器不会报错也不会有任何警告. 但在linux环境下用g

  • c语言和c++语言中const修饰的变量区别浅析

    目录 c: 修饰全局变量: 修饰局部变量: c++: 修饰全局变量: 修饰局部变量: 总结: 在c语言中: 在c++语言中: 总结 c: 修饰全局变量: 用const修饰的全局变量是没有办法直接修改的,间接的修改也是不成功的(语法可以通过,但是编译运行的时候会报错.)(const只要是修饰全局变量,那么就会储存到常量区中,收到常量区的保护.) 修饰局部变量: 但是如果用const修饰局部变量,同样的也是没有办法直接修改的,但是是可以间接修改的. int main() { const int b

  • C语言中6组指针和自增运算符结合方式的运算顺序问题

    在C语言中,当指针运算符和++或者–结合时很容易分不清运算顺序,在这里总结一下,下面一共分析6中组合: * p++,(* p)++,* (p++),++* p,++( * p), * (++p). 先看段代码以及输出: #include<stdio.h> int main() { int a[3]={1,3,5}; int *p=a; printf("----------------1----------------\n"); printf("%d\n"

  • 详解C++中的const关键字及与C语言中const的区别

    const对象默认为文件的局部变量,与其他变量不同,除非特别说明,在全局作用域的const变量时定义该对象的文件局部变量.此变量只存在于那个文件中中,不能别其他文件访问.要是const变量能在其他文件中访问,必须显示的指定extern(c中也是)   当你只在定义该const常量的文件中使用该常量时,c++不给你的const常量分配空间--这也是c++的一种优化措施,没有必要浪费内存空间来存储一个常量,此时const int c = 0:相当于#define c 0:    当在当前文件之外使用

  • 详解C语言中Char型指针数组与字符数组的区别

    详解C语言中Char型指针数组与字符数组的区别 1.char 类型的指针数组:每个元素都指向一个字符串,指向可以改变 char *name[3] = { "abc", "def", "gbk" }; for(int i = 0 ; i < strlen(name); i ++){ printf("%s\n", *(name+i)); //printf("%s\n", name[i]); } //指向改

  • C语言中const和C++中的const 区别详解

    C语言中const和C++中的const 区别详解 C++的const和C语言的#define都可以用来定义常量,二者是有区别的,const是有数据类型的常量,而宏常量没有,编译器可以对前者进行静态类型安全检查,对后者仅是字符替换,没有类型安全检查. 而C语言中的const与C++也有很大的不同,在C语言中用const修饰的变量仍是一个变量,表示这个变量是只读的,不可显示地更改,而在C++中用const修饰过后,就变成常量了.例如下面的代码: const int n=10; int a[n];

  • 详解C语言中const关键字的用法

    关键字const用来定义常量,如果一个变量被const修饰,那么它的值就不能再被改变,我想一定有人有这样的疑问,C语言中不是有#define吗,干嘛还要用const呢,我想事物的存在一定有它自己的道理,所以说const的存在一定有它的合理性,与预编译指令相比,const修饰符有以下的优点: 1.预编译指令只是对值进行简单的替换,不能进行类型检查 2.可以保护被修饰的东西,防止意外修改,增强程序的健壮性 3.编译器通常不为普通const常量分配存储空间,而是将它们保存在符号表中,这使得它成为一个编

  • C语言中const,volatile,restrict的用法总结

    1. const 变量声明中带有关键词const,意味着不能通过赋值,增量或减量来修改该变量的值,这是显而易见的一点.指针使用const则要稍微复杂点,因为不得不把让指针本身成为const和指针指向的值成为const区别开来.下面的声明表示pf指向的值必须是不变的 constfloat *pf:而pf则是可变的,它可以指向另外一个const或非const值:相反,下面的声明说明pf是不能改变的,而pf所指向的值则是可以改变的: float* const pf: 最后,当然可以有既不能改变指针的值

随机推荐