c语言之——const关键字

一、简介

(1)const关键字，在C语言中用来修饰变量，表示这个变量不可更改。

我们可能首先想到的是经过它修饰的变量便是常量了。其实我们这种想法是错误的，其实 const 修饰的变量是只读的，其本质还是变量。它只是告诉编译器该变量不能出现在赋值符号的左边。

那么，const修饰的变量真的不能修改吗？我么看如下代码

#include <stdio.h>

int main(void)
{
	const int a = 5;
	//a = 6;				// error: assignment of read-only variable ‘a’
	int *p;
	p = (int *)&a;			// 这里报警高可以通过强制类型转换来消除
	*p = 6;
	printf("a = %d.\n", a);	// a = 6,结果证明const类型的变量被改了
	return 0;
}

• const修饰的变量其实是可以改的（前提是gcc环境下）。
• 对于某些编译器，const修饰的变量是不可以改的。const修饰的变量到底能不能真的被修改，取决于具体的环境，C语言本身并没有完全严格一致的要求。
• 在gcc中，const是通过编译器在编译的时候执行检查来确保实现的（也就是说const类型的变量不能改是编译错误，不是运行时错误。）所以我们只要想办法骗过编译器，就可以修改const定义的常量，而运行时不会报错。

对于const与编译器的关系详见如下文章：https://blog.51cto.com/12810168/2095264

 

二、const关键字与指针

const修饰指针有4种形式，区分清楚这4种即可全部理解const和指针。

第一种：const int *p;

第二种：int const *p;

第三种：int * const p;

第四种：const int * const p;

关于指针变量的理解，主要涉及到2个变量：第一个是指针变量p本身，第二个是p指向的那个变量(*p)。一个const关键字只能修饰一个变量，所以弄清楚这4个表达式的关键就是搞清楚const放在某个位置是修饰谁的。

const后面要是直接跟着指针变量，就是修饰指针变量。例如 int * const p3;       // p本身是cosnt的，p指向的变量不是const的

• 常量指针是指针指向的内容是常量；
• 指针常量是指指针本身是个常量，不能在指向其他的地址；
• 指向常量的常指针，以上两种的结合。

#include <stdio.h>

int main(void)
{
	int a = 5;
	
	// 第一种
	const int *p1;		// p本身不是cosnt的，而p指向的变量是const的
	// 第二种
	int const *p2;		// p本身不是cosnt的，而p指向的变量是const的
	
	
	// 第三种
	int * const p3;		// p本身是cosnt的，p指向的变量不是const的
	// 第四种
	const int * const p4;// p本身是cosnt的，p指向的变量也是const的
	
	*p1  = 3;		// error: assignment of read-only location ‘*p1’
	p1 = &a;		// 编译无错误无警告
	
	*p2 = 5;		// error: assignment of read-only location ‘*p2’
	p2 = &a;		// 编译无错误无警告
	
	*p3 = 5;		// 编译无错误无警告
	p3 = &a;		// error: assignment of read-only variable ‘p3’
	
	p4 = &a;		// error: assignment of read-only variable ‘p4’
	*p4 = 5;		// error: assignment of read-only location ‘*p4’

	return 0;
}

note：const与typedef结合使用时，需要注意：

(1)typedef int *PINT; const PINT p2; 相当于是int *const p2;

(2)typedef int *PINT; PINT const p2; 相当于是int *const p2;

(3)如果确实想得到const int *p;这种效果，只能typedef const int *CPINT; CPINT p1;

 

三、const关键字与函数形参

(1)const一般用在函数参数列表中，用法是const int *p;（意义是指针变量p本身可变的，而p所指向的变量是不可变的）。

(2)const用来修饰指针做函数传参，作用就在于声明在函数内部不会改变这个指针所指向的内容，所以给该函数传一个不可改变的指针（char *p = "linux";这种）不会触发错误；而一个未声明为const的指针的函数，你给他传一个不可更改的指针的时候就要小心了。

(3)编程中函数的输入和输出都是靠函数形参的，返回值只是用来表示函数执行的结果是对（成功）还是错（失败）。如果这个参数是用来做输入的，就叫输入型参数；如果这个参数的目的是用来做输出的，就叫输出型参数。（在典型的linux风格函数中，返回值是不用来返回结果的，而是用来返回0或者负数用来表示程序执行结果是对还是错，是成功还是失败）。

#include <stdio.h>

int multip5_3(int a, int *p);


int main(void)
{
	int a, b = 0, ret = -1;
	
	a = 30;
	ret = multip5_3(a, &b);
	if (ret == -1)
	{
		printf("出错了\n");
	}
	else
	{
		printf("result = %d.\n", b);
	}
	

	return 0;
}


int multip5_3(int a, int *p)
{
	int tmp;

	tmp = 5 * a;
	if (tmp > 100)
	{
		return -1;
	}
	else
	{
		*p = tmp;
		return 0;
	}
}

小结：

看到一个函数的原型后，怎么样一眼看出来哪个参数做输入哪个做输出？函数传参如果传的是普通变量（不是指针）那肯定是输入型参数；如果传指针就有2种可能性了，为了区别，经常的做法是：如果这个参数是做输入的（通常做输入的在函数内部只需要读取这个参数而不会需要更改它）就在指针前面加const来修饰；如果函数形参是指针变量并且还没加const，那么就表示这个参数是用来做输出型参数的。

譬如C库函数（#include <string.h> 和 #include <stdio.h>）中strcpy函数

char *strcpy(char* dest, const char *src);

REF:

https://blog.51cto.com/12810168/2095264