C：const 关键字详解

前言

好久没有更新博客了，今天在整理C语言课件的时候简单看了看const关键字，睡不着觉，就想着总结出来分享给大家，之前也很少提及const关键字，仅仅只是在代码中有所运用，现在，就详细讲讲const关键字，可能会有其他用法未涉及，还望各位大神指点，提出宝贵建议。

简介

const关键字为C90增加的用于创建限定类型。其取代了C中的宏定义，声明时必须进行初始化。const关键字限制了常量的使用方式，并没有描述常量应该如何分配。如果编译器知道了某const的所有使用，它甚至可以不为该const分配空间。最简单的常见情况就是常量的值在编译时已知，而且不需要分配存储。用const声明的变量虽然增加了分配空间，但是可以保证类型安全。

const与普通变量

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

const int a = 10;
a = 20; // 错误，变量a为常量，只读，不能被修改；

int const b = 10;
b = 20; // 错误，变量b为常量，只读，不能被修改；

通过上述示例得出结论：const关键字在数据类型前后都表示该数据类型创建的变量为常量，只读，不能被修改。

可以使用const关键字保护数组内容，如果一个数组在声明时含有const关键字，则该数组的元素是受保护的，不能被修改。

const int numbers[] = {1, 2, 3, 4, 5};
numbers[1] = 10; // 错误，数组被const修饰，因此，数组内容不可修改

const与指针变量

声明一个普通变量和数组使用关键字const很简单。指针则要复杂一些，因为不得不把让指针本身成为const和让指针指向的值成为const区分开来，如下将举例说明const应用在指针中的不同场景。

场景一：

int a = 10;
int b = 20;

const int *p = &a;

p  = &b; // 正确
*p = 20; // 错误，指针变量p所指向的地址中的内容不能通过指针变量修改
a  = 20; // 正确，变量a并没有被const关键字修饰；

场景二：

int a = 10;
int b = 20;

int const *p = &a;

p  = &a; // 正确
*p = 20; // 错误
a  = 20; // 正确

结论：const关键字放在数据类型int前后，效果相同，不可通过指针变量修改值，但可修改指向；

场景三：

int a = 10;
int b = 20;

int * const p = &a;

p  = &b; // 错误，指针p只能指向同一个地址；

*p = 20; // 正确

结论：由场景二与场景三可得出结论，const关键字放在*号左边，其指向的地址可变，值不可变；const关键字放在*右边，其指向的地址不可变，值可变；即“左定值，右定向”。

场景四：

int a = 10;
int b = 20;

const int * const p = &a;

p  = &b; // 错误
*p = 20; // 错误

结论：当*号左右两边都有const关键字的时候，意味着指针变量既不能改变指向，也不能改变其指向的值；

const与参量

const关键字的一个常见用法是声明作为函数形式参量的指针。例如，假定一个名为printNumbers()的函数显示一个数组的内容。为了使用它，可能会把数组名作为实际参数传递，但是数组名是一个地址，这样做允许函数改变调用函数中的数据，下面的原型即可防止这样情况的发生：

void printNumbers(const int *numbers, int length);

在函数原型和函数头部，参量声明const int numbers[]和const int *numbers相同，因此该声明表明数组numbers指向的数据是不可变的。

对全局变量使用const

使用全局变量被认为是一个很冒险的方法，因为它暴露了数据，使程序的任何部分都可以错误地修改数据。为避免全局变量被修改，可使用关键字const进行保护，因为被const关键字修饰的变量是不可变的。可以使用const变量、const数组和const结构；

#include<stdio.h>

const int a = 10; // 全局变量a不能被修改；

int main(int argc, const char * argv[]) {

    return 0;
}

使用const注意事项及优势

1、限定符const关键字声明变量只能被读；

2、必须初始化；

const int a = 10; // 正确
const int b;      // 错误

3、在另一连接文件中引用const常量；

extern const int a;      // 正确
extern const int b = 10; // 错误，常量不可以被再次赋值

4、便于进行类型检查；

用const方法可以使编译器对处理内容有更多了解。

#define NUMBER 10

const int number = 10;

5、可以避免不必要的内存分配；

#define STRING "China!"

const char string[] = "China!";

puts(STRING); // 为STRING分配了第一次内存
puts(string); // 为string一次分配了内存，以后不再分配
puts(STRING); // 为STRING分配了第二次内存

由于const定义常量从汇编的角度看，只是给出了对应的内存地址，而不是像#define一样给出的是立即数，所以，const定义的常量在程序运行过程中只有一份拷贝，而#define定义的常量在内存中有若干个拷贝。

6、可以通过函数对常量进行初始化；

int value();
const int a = value();