C之const总结

C之const总结

最近开始复习C语言，复习到关键字这一块儿，发现const关键字有特别多用法，但是在《C primer plus》一书中，分别把它拆开放到了第4、10、12章中讲解，本文打算把它们汇总一下，方便以后再次复习或者用到的时候回顾。

1.const修饰符

const关键字把一个变量声明转换成常量声明：

     const int MONTHS = 12;   //MONTHS是一个代表12的符号常量

这使得MONTHS成为一个只读值，即可以显示MONTHS并把它用于计算中，但是不能改变MONTHS值，这比使用#define更灵活。

2.保护数组内容

2.1对形式参量使用const

如果函数想修改数组，那么在声明数组参量时不要使用const；如果函数不需要修改数组，那么在声明数组参量时最好使用const。
如下程序所示，有两个viod类型函数，一个函数显示数组，另一个函数对数组的每个元素乘上一个给定的数值。因为第一个函数不需要修改数组，所以使用const；因为第二个函数需要修改数组，所以不要使用const。

#include <stdio.h>
#define SIZE 5
void show_array(const double ar[], int n);
void mult_array(double ar[], int n, double mult);
int main(void)
{
	double dip[SIZE] = { 20.0,17.66,8.2,15.3,22.22 };
	printf("The original dip array:\n");
	show_array(dip, SIZE);
	mult_array(dip, SIZE, 2.5);
	printf("The dip array after calling mult_array():\n");
	show_array(dip, SIZE);
	return 0;
}
/*显示数组内容*/
void show_array(const double ar[], int n)
{
	int i;
	for (i = 0; i < n; i++)
		printf("%8.3f", ar[i]);
	putchar('\n');
}
/*用同一个乘数去乘上每个数组元素。注意：该函数确实使数组dip得到了新的值，但不是使用return机制实现的*/
void mult_array(double ar[], int n, double mult)
{
	int i;
	for (i = 0; i < n; i++)
	{
		ar[i] *= mult;
	}
}

输出结果如下：

2.2有关const的其他内容

2.2.1创建数组常量

数组常量一旦创建后，后续代码便不可更改它，否则将得到一个编译时的错误消息。

     #define MONTHS 12
     ...
     const int days[MONTHS] = {31,28,31,30,31,30,31,31,30,31,30,31};   
     days[9] = 44;   /*编译错误*/

2.2.2指向常量的指针

• 指向常量的指针不能用于修改数值
  1.无论是采用数组符号还是指针符号，都不能使pc修改所指向数据的值。
  2.rates并没有声明为常量，所以仍可以使用rates来修改其数值。
  3.可以让pc指向其他地址。

double rates[5] = {88.99,100.12,59.45,183.11,340.5};
const double *pc = rates; //pc被声明为指向const double的指针，且指向数组开始处。

*pc = 29.89; //不允许
pc[2] = 222.21; //不允许
rates[0] = 99.89; //允许，因为rates不是常量

pc++;  /*让pc指向rates[1]，这是允许的*/

• 常量或非常量数据的地址均可赋给指向常量的指针

double rates[5] = {88.99,100.12,59.45,183.11,340.5};
const double locked[4] = {0.008,0..75,0.00725,0.007};
const double *pc = rates;  //合法
pc = locked;  //合法
pc = &rates[3];  //合法

• 非常量数据的地址才可以赋给普通的指针

double rates[5] = {88.99,100.12,59.45,183.11,340.5};
const double locked[4] = {0.008,0..75,0.00725,0.007};
double *pc = rates;  //合法
pc = locked;  //非法
pc = &rates[3];  //合法

• 实践结果演示
  如果将show_array函数、mult_array函数原型按如下定义,则有，像show_array( )这样的函数可以接受普通数组和常量数组的名称作为实际参数，因为两种参数都可以赋值给指向常量的指针；而像mult_array( )这样的函数不能接受常量数组的名称作为参数。
  但其实声明作为函数形式参量的指针，在函数原型和函数头部，参量声明const int array[ ]与const int *array相同因此，该声明表明array指向的数据是不可变的。
  因此，在函数参量定义中使用const，不仅可以保护数据，而且使函数可以使用声明为const的数组。

void show_array(const double *ar,int n);
void mult_array(double *ar,int n,double mult);

2.2.3指针常量

使用const声明并初始化指针，以保证指针不会指向别处，关键在于const的位置。注意：可以更改所指向数据的值

double rates[5] = {88.99,100.12,59.45,183.11,340.5};
double * const pc = rates;  //pc指向数组的开始处
pc = &rates[2];  //不允许
*pc = 92.99; //可以，更改rates[0]的值

总结一下：一个位于✳左边任意位置的const使得数据成为常量，而一个位于✳右边的const使得指针自身成为常量。

2.2.4使用两个const

使用两个const来创建指针，这个指针既不可以更改所指向的地址，也不可以修改多指向的数据：

double rates[5] = {88.99,100.12,59.45,183.11,340.5};
const double * const pc = rates;  //pc指向数组的开始处
pc = &rates[2];  //不允许
*pc = 92.99; //不允许

3.类型限定词const

C99授予类型限定词一个新属性：幂等（idempotent），只是意味着可以在一个声明中不止一次地使用同一限定词，多余地将被忽略掉：（这点其实不是很重要，大家看看就行~~）

const const const int n = 9;  //相当于：const int n = 9;

但是以下序列可以被接受：

typedef const int zip;
const zip q = 8;

如果变量声明中带有关键字const，则不能通过赋值、增量或减量运算来修改改该变量地值。

const int nochange;  //已经把nochange限定为常量了
nochange = 9;  //这是不允许的
const int nochange = 9;  //这是允许的，初始化为一个只读变量了。

3.1对全局使用const

在文件之间共享const数据，可以采用两个策略

• 遵循外部变量的管用规则：在一个文件中进行定义声明，在其他文件中进行引用声明（使用关键字extern）

/*file1.c--定义一些全局变量*/
const double PI = 3.14159;
const char * MONTHS[12] = {1,2,3,3,47,43,2,5,6,2,5,3};
/*file2.c--使用在其他文件中定义的全局常量*/
extern const double PI;
extern const * MONTHS[ ];

• 将常量放在一个include文件中。这时还必须使用静态外部存储类

/*constant.h--定义一些全局变量*/
static const double PI = 3.14159;
static const char * MONTHS[12] = {1,2,3,3,47,43,2,5,6,2,5,3};
/*file1.c--使用在其他文件中定义的全局常量*/
#include “constant.h”
/*file2.c--使用在其他文件中定义的全局常量*/
#include “constant.h”

如果不使用关键字static，在文件file1.c和file2.c中包含constant.h将导致每个文件都有同一标识符的定义声明，ANSI标准不支持这样做。通过使每个标识符成为静态外部的，实际上给了每个文件一个独立的数据拷贝。如果文件想使用该数据来与另一个文件通话，这样做就不行了，因为每个文件都只能看见它自己的拷贝。然而由于数据是不变的（通过使用关键字const）和相同的（通过使两个文件都包含同样的头文件），这就不是问题了。
使用头文件的好处是不必惦记着在一个文件中进行定义声明，在下一个文件中进行引用声明；全部文件都包含同一个头文件。缺点在于复制了数据。虽然这不构成一个真正的问题：但如果常量数据包含着巨大的数组，它可能就是一个问题了。

最后希望大家多多关注我、支持我一下~~，我会持续更新关于C语言的知识和大家一起分享的。