[原创]C指针应用常见缪误

文章标题：C指针应用常见缪误
文章作者：半点闲
文章撰写日期：2005-10-18
发布日期：2005-10-18 12:10
 
  今天在写程序的时候，遇到了几个关于指针方面的问题，觉得很典型(对于初学者来讲)。所以决定把它写出来一来练练文笔，二来也存个档为以后查阅方便吧。工科不善文笔的我，就用代码来说明问题。

前言：
  一、文章中所说的C指的是ANSI C，是由ANSI/ISO 9899-1990[ANSI 90]进行定义并由[KERN 89]进行描述的。
  所有代码的执行环境如下：
  操作系统：中文版WindowsXP Professional+SP2
  编辑器：VC6或VC7

  文章中所举的例子在上述环境中编译通过，我也会尽量把问题表述清楚，但由于是第一次写东西，再加上本人也是一个初学者水平有限，文中难免有不清或错误的地方，在这里请大家多提意见!
  
 二、语法描述格式：
  关于const限定修饰符书写位置:
     C语言与ANS C中并未统一的标准。你可以写在数据类型符前面如：const int (变量名)或后面如：int  const (变量名)。我倾向于前者也就是const int (变量名)原因就是方便阅读吧(我们可以从右往左把这个定义读为“(变量名)是一个int类型的const(常量，值不能被更改)。

正文：
  问题1：当指针是函数参数时的误用。请先看一段代码：
#include <stdio.h>
#include <stdlib.h>

void u_p(char  *p);

void main (void)
{
  char *pstr = (char *) malloc (sizeof(char));
  *pstr = 'a';
 
  u_p (pstr);
 
  if ( pstr = NULL )
  {
    printf ("pstr == NULL");
  }
  else
  {
    printf ("pstr != NULL");
  }
  system ("pause");  //暂停。
}
void u_p(const char *p)
{
  free(p);
  p = NULL;
}
解释：
  程序的愿意是想在执行p = NULL后达到pstr = NULL。但实际上p是u_p()函数内,局部自动变量。当函数执行完后，其值将自动的销毁。p = NULL只是让p自己赋个NULL值罢了(在这个函数体内，p赋不赋NULL值都无所谓)，而free(p)只是释放了pstr所指向动态生成的存储空间，pstr中的值(空间地址)依然存在，并不为空。所以在执行if (pstr == NULL) 判断时通不过。此时，如果访问pstr中的值，将会产生错误(因为值中所指地址，已经被系统回收不存在了)这种指针是很危险的，称为“悬挂”指针。
 
正确的方法：
void u_p(char **p)
{
  free (*p);
  *p = NULL;
}
void main (void)
{
  char *pstr = (char *) malloc (sizeof(char));
  *pstr = 'a';

  u_p (&pstr);

  if ( pstr == NULL )
  {
    printf ("pstr == NULL");
  }
  else
  {
    printf ("pstr != NULL");
  }
  system ("pause");  //暂停。
}

  问题2：const限定修饰符。请先看一段代码：
  const int ivalue = 5;
  int *pvalue = &ivalue;
 
  这是否可行？ivalue是一个常量对像，因此它不能被改写为一个新值。但是pvalue是一个普通指针，没有什么能阻止我们写出这新的代码：

  *pvalue += 1; //修改了ivalue!

  一般编译器不能跟踪指针在程序中任意一点指向的对象，[这种内部工作需要进行数据流分析(data flow analysis),通常由单独的优化器(optimizer)组件来完成。]允许非const对象的指针指向一个常量对象，把“试图通过该指针间接改变对象值”的动作标记为非法的，这种编译器来说是不可行的。因而任何“试图将一个非const对象的指针指向一个常量对象”的动作都将引起编译错误(此段话摘自<<c++primer>>中文第三版84页)。
这并不意味着我们不能间接地指向一个const对象，只意味着我们必须声明一个指向常量的指针来做这件事。

例如：
  const int *pvalue;  //这里会产生一个误区，下面将说到。
 
  pvalue是一个指向int类型的const对象指针，(我们可以从右往左把这个定义读为“pvalue是一个指向int类型的、被定义成const的对象指针”。)此中微妙在于pvalue本身不是常量。我们可以重新赋值给pvalue，使其指向不同对象，但不能修改pvalue指向的对像。例如：
  const int *pc = 0;
  const int value = 1;

  pc = &value; //OK:不能通过pc修改value。
 
  int value2 = 2;
 
  pc = &value2; //OK,不能通过pc修改value2，虽然value2本身不是一个常量。

  const对象的地址只能赋值给指向const对象的指针，例如：pc。但是，指向const对象的指针可以被赋以一个非const对象的地址。

  我们还可以定义一个"const指针"指向一个非const对象。例如：
  int errNumb = 0;
  int *const curErr = &errNumb;
 
  curErr是指向一个非const对象的const指针。(我们可以从右往左把定义读作"curErr是一个指向int类型对象的const指针。)这意味着不能赋给curErr其他的地址值，但可以修改curErr指向的值。指向const对象的const指针的定义就是前面两种定义结合起来。例如：
  const int value = 1;
  const int *const p = &value;
 
  这种情况下p指向的对象的值以及它的地址本身都不能被改变。(我们可以从右往左将定义读作："p是指向被定义为const的int类型对象的const指针"。)

  今天就写到这里~~~,看过后,如果你发现文中有什么错误或者有什么意见请与我联系!QQ:15237415