如果说学习过《计算导论与C语言基础》，你已经迈入了C语言的殿堂，那么《C程序设计进阶》将帮助你更上一层楼，理解“结构化程序设计的基本思想”，掌握“C程序设计的基本技巧”，养成“良好的编程习惯和编程风格”，编写出“真正具有生命力的计算机程序”。完成这门课的学习，你将能解释C程序设计语言的基本概念与知识，并且使用C语言编写计算机程序解决生活工作中的实际问题。
限制指针实参的功能
Loading...
来自 Peking University 的课程
C程序设计进阶
642 个评分
从本节课中
指针（三）
这次课我们将紧跟上一节的脚步，继续为大家讲解“指针做函数参数”及“指针做函数返回值”的两种情况，到此为止，你应该对于指针在C程序设计里的应用有一个比较全面的了解啦，不妨在本次课末尾画个思维导图考考自己，是否弄清楚了这个重要的概念。
与讲师见面
Ge Li 李戈, Ph.D.Associate Professor
School of Electronics Engineering and Computer Science
OK，在刚刚的一小节里头呀，我们提到过，当我们把指针当作实参
传递给一个函数的时候， 这个函数就可以利用这指针肆意地去操作这个指针所指向的那片存储单元的内容。
这个有的时候会给我们的
程序带来一些麻烦。
比方说，在我们刚才举的这个例子里头，当我们在主函数中，把
数组的名字传递给一个函数的时候，
实际上，这个函数就拿到了整个这个数组的操控权，它可以肆意地去操作
这个数组，去修改这个数组。
那么有没有一个办法可以去限制函数所拿到的指针的操做权
限呢？有办法，我们来看一个这样的程序。
这个程序就是对刚才的程序做了一个非常小的改动。
大家能看得出来这个改动在哪里吗？
这个改动在这里，也就是说，我在参数array定义的前面加了一个
关键字，这个关键字叫const。加这个关键字的作用是什么呢？
那大家注意到在这句的程序里头有一个小的红色波浪线了吗？
这就意味着这句程序是有错误的。
那这个错误是什么呢？
当我们把鼠标放在这里的时候，我们就会发现系统将提示我们， 禁止我们修改*（array+1）的值。也就是说，当我们去运行这个程序的时候，
你会发现它就会报这样一个错误，不能给常量赋值。
也就是说，你不能通过array这个指针去修改所它所指向的存储单元的内容。
为什么是这样的呢？
加一个const这样的关键字就有这样大的效果呀！
其实当我们在int的前面加了一个const以后啊，
我们就把array变成了一个指向符号常量的指针，
所以，它就不能去修改这个array所指向的存储单元的内容了。
那什么叫指向符号常量的指针呢？
接下来我们就来分析一下。
那么，在讨论指向符号常量的指针的概念之前呀，我们先回顾一下符号常量的概念。
其实我们在很久以前，在我们去介绍C语言的数据成分的时候，
我们就曾经介绍过符号常量。在程序里头，我们可以定义一些标识符，
它们表示一些常量。比方说，我们当时曾经举过一个例子，
比方说，我定义一个符号常量PI，它就等于3.14159f。由于我们指定它是一个const类型， 所以它是个常量，是一个值不能被修改的量。
当然根据符号常量定义方式，这个const既可以写到float之前，也可以在float之后。
通过这种方式，我们就定义了一个符号常量。
那如何去定义一个指向符号常量的指针呢？ 那么也很简单，
根据指针的定义，我就可以这样来定义，比方说， 我在这儿就定义了一个p，它的类型呢，首先就是一个指针，
而且呢，是一个指向int 型的指针，而且呢，是一个指向const int 型的指针。
什么意思啊？就是指向一个符号常量的指针。
那什么叫做指向符号常量的指针呢？ 我们来对比
一下它跟普通指针变量的不同，
你就能够感觉到了。比方说我们来看这两个程序。在左边
这个程序里头啊，定义了一个普通变量变a，
它的值呢，是256，右边也定义了一个普通变量a，值也是256。
接下来呢，我定义了一个普通的指针变量p，让它指向变量a。
在这边呢，我也定义了一个p，但是，我却把这个p定义成指向符号常量的一个指针，
然后也让这个p指向a。
接下来，在左边的程序里头，利用*p，对p所指向的这个变量a
进行重新赋值。原来不等于256吗？现在我让它等于257。
那右边呢，我也利用这种方式进行重新赋值。然后呢，我再把*p再打印出来。
那么当你去运行这个程序的时候，你就会发现
左边的这个程序呀，可以顺利地运行，没有问题。
而右边的程序呢，将会在运行到这句程序的时候，报出一个错误。
它会告诉你这个*p
是不允许被修改的。 那么通过这个程序，我们就能够感受到，
当我们把p定义成一个指向符号常量的指针的时侯，
然后再让这个p指向什么东西，
它所指向的那个东西就不能被修改了。我们就不能通过p再去修改
它所指向的那个东西了。
这个就是指向符号常量的指针的含义。
那么有了这个东西之后，我们就好办了。
当我们再去定义一个函数并且想传递一个指针
给这个函数的时候，
我们就可以利用const来 对指针实参的功能进行一个限制。
比方说，在这个程序里头，主函数里头，我定义了一个字符串a，
然后又定义了一个字符串b，我希望 通过一个函数叫mystrcpy
通过这样一个函数把 a copy 给b。
同时呢，在这个过程中，我又
不希望这个函数mystrcpy ，这个函数，我又不希望它对a的值做任何的修改。
我不希望它去修改字符串a的值。
于是，我去定义mystrcpy这个函数的时候，我就可以把
与a所对应的那个形参，定义成一个指向符号常量的指针。
那么通过这种方式，在函数体里头，无论你怎么写，
在这个mystrcpy的函数体里头，你无论怎么去写，
你都不可能对传递到这里的实际参数的那个值进行修改。
通过这种方式，很好地保护了这个指针所指向的那片存储单元的内容。
这
就是指向符号常量的指针最常见的一个用途。
那么再回顾以下我们刚才所举的这个例子。
在第一个程序里，由于我没有把array
定义成一个指向符号常量的指针，
所以，当主函数把数组a的名字当作实际参数传递给sum这个函数的时候，
sum就对数组a里面的值进行了修改，那是我们不希望看到的。
当我们把array定义成一个指向符号常量的指针时候，
如果函数再去对数组里面的内容进行修改，那么系统就会报出错误，
去禁止它修改，这就是指向符号常量的指针的作用。
那么说到这儿，同学们可能意识到，这个东西还挺有用的，对不对？
那么我希望呢，大家如果在写程序的过程中，真的定义了一个函数，它的形式参数是一个指针，
那么如果你不想让这个函数对传进来的那个指针
所指向的内容进行修改
的话，那么请你把这个函数的参数直接定义成指向符号常量的指针。
那么些通过这种方式我们可以避免
很多不经意作出的修改， 特别是当我们把一个数组名当作实际参数来传递给一个函数的时候。
那么既然这个东西这么常用，
那么，关于指向符号常量的指针，我们还有一点需要附加说明一下。
我们来看一个例子。这个例子是这样的，在这个程序里头，我定义了三个量。
第一个呢，是一个符号常量a， 它的值是78。第二个呢，是一个符号常量b，值是28。
第三个呢，是一个普通变量c，
它的值是18。接下来呢，我定义了一个指向符号常量的指针
pi。首先呢，我让这个pi指向a，
接下来，我要这个pi进行一系列的操作。我们来看一下，哪些操作是可以的，哪些操作是不允许的。首先第一个操作呢，
我是利用*pi
对pi 所指向的值进行修改。 原来它指向a吗，a是78，我现在让它等于58。
这个可以吗？这个显然是不允许的。
因为我们刚刚定义了pi 是指向符号常量的指针，
所以说，我们绝对不可能也不可以通过*pi
去修改pi所指向的那个存储内容。
这是我们刚刚讲过的，这是不允许的。 那接下来，我能不能做这么一个操作？对pi呀，进行重新赋值。
你原来这个pi不是指向变量a的吗？ 我对pi进行重新赋值，让它指向变量b。
那么，请问这样做可以吗？也就是说，虽然pi所指向的存储
单元的内容不能修改，我能不能修改pi本身的值呢？
它本来指向a，我现在让它指向b。可以吗？
那么，根据C语言的规范，这是可以的。可以
对pi进行重新赋值，这个是没有问题的。
那么pi原来指向a，现在让它指向b。
那么接下来，程序再通过*pi去修改所b所指向的内容，行不行呀？
当然是不可以的，这个我们已经重复过很多次了。
那么接下来的这个程序，我再对pi进行修改，让它指向c，可以吗？
c和b有什么不同呢？c是一个普通的变量，而
b是一个符号常量。那么既然c是一个普通变量，我不能通过*pi修改c值呀？
当然是不可以的，这个刚才我们已经介绍过了。 OK。那么通过这个小程序呀，我们就可以
了解到，那么指向符号常量的指针具备这么几个特性：
第一个，当我们定义了一个指向符号常量的指针的时候，
我们就不能够通过*pi的这种方式去修改它所指向的那片存储单元的
内容。
这是第一点，这是不可以的。
第二点，当我们定义了一个指向符号常量的指针的时候，
其实我们可以修改这个指向符号常量指针本身的值，它原来指向变量a，我可以让它指向变量b。
这个是可以修改的。那么，第三个，我们完全可以用指向符号常量的指针指向一个普通的变量，
对不对？其实，之前我们都是这么做的。
那么当它指向普通变量的时候，仍然我们不可以通过*pi去修改
它的值。OK，这是当我们在使用 指向符号常量的指针的时候，需要注意的
三点。
