LinuxSir.cn,穿越时空的Linuxsir!

 找回密码
 注册
搜索
热搜: shell linux mysql
查看: 688|回复: 8

C 语言之指针、数组和函数

[复制链接]
发表于 2007-3-26 16:22:56 | 显示全部楼层 |阅读模式
已经排版好的链接: http://www.gracecode.com/article ... %E5%87%BD%E6%95%B0/


基本解释

   1. 指针的本质是一个与地址相关的复合类型,它的值是数据存放的位置(地址);数组的本质则是一系列的变量。
   2. 数组名对应着(而不是指向)一块内存,其地址与容量在生命期内保持不变,只有数组的内容可以改变。指针可以随时指向任意类型的内存块,它的特征 是“可变”,所以我们常用指针来操作动态内存。
   3. 当数组作为函数的参数进行传递时,该数组自动退化为同类型的指针。

问题:指针与数组

    听说 char a[] 与 char *a 是一致的,是不是这样呢?

答案与分析:

指针和数组存在着一些本质的区别。当然,在某种情况下,比如数组作为函数的参数进行传递时,由于该数组自动退化为同类型的指针,所以在函数内部 ,作为函数参数传递进来的指针与数组确实具有一定的一致性,但这只是一种比较特殊的情况而已,在本质上,两者是有区别的。请看以下的例子:
char a[] = "Hello, world!";
char *p  = "Hello, world!";

上述两个变量的内存布局分别如下:

数组 a 需要在内存中占用 8 个字节的空间,这段内存区通过名字 a 来标志。指针 p 则需要 4 个字节的空间来存放地址,这 4 个字节用名字 p 来标志 。其中存放的地址几乎可以指向任何地方,也可以哪里都不指,即空指针。目前这个 p 指向某地连续的 8 个字节,即字符串“Hello, world!”。

另外,例如:对于 a[2] 和 p[2],二者都返回字符‘i’,但是编译器产生的执行代码却不一样。对于 a[2],执行代码是从 a 的位置开始,向后移动 2 两个字节,然后取出其中的字符。对于 p[2],执行代码是从 p 的位置取出一个地址,在其上加 2,然后取出对应内存中的字符。
问题:数组指针

    为什么在有些时候我们需要定义指向数组而不是指向数组元素的指针?如何定义?

答案与分析:

使用指针,目的是用来保存某个元素的地址,从而来利用指针独有的优点,那么在元素需要是数组的情况下,就理所当然要用到指向数组的指针,比如在 高维需要动态生成情况下的多维数组。

定义例子如下: int (*pElement)[2]

下面是一个例子:
int array[2][3] = {{1,2,3},{4,5,6}};

int (*pa)[3]; //定义一个指向数组的指针

pa = &array[0]; // '&'符号能够体现pa的含义,表示是指向数组的指针

printf ("%d", (*pa)[0]); //将打印array[0][0],即1

pa++; // 猜一猜,它指向谁?array[1]?对了!

printf ("%d", (*pa)[0]); // 将打印array[1][0],即 4

上述这个例子充分说明了数组指针—一种指向整个数组的指针的定义和使用。

需要说明的是,按照我们在第四篇讨论过的,指针的步进是参照其所指对象的大小的,因此,pa++将整个向后移 动一个数组的尺寸,而不是仅仅向后移 动一个数组元素的尺寸。
问题:指针数组

    有如下定义:struct UT_TEST_STRUCT *pTo[2][MAX_NUM]; 请分析这个定义的意义,并尝试说明这样的定义可能有哪些好处?

答案与分析:

前面我们谈了数组指针,现在又提到了指针数组,两者形式很相似,那么,如何区分两者的定义呢?分析如下:

数组指针是:指向数组的指针,比如 int (*pA)[5]。

指针数组是:指针构成的数组,比如int *pA[5]。

至于上述指针数组的好处,大致有如下两个很普遍的原因:

    * 各个指针内容可以按需要动态生成,避免了空间浪费。
    * 各个指针呈数组形式排列,索引起来非常方便。

在实际编程中,选择使用指针数组大多都是想要获得如上两个好处。
问题:指向指针的指针

    在做一个文本处理程序的时候,有这样一个问题:什么样的数据结构适合于按行存储文本?

答案与分析: [p]首先,我们来分析文本的特点,文本的主要特征是具有很强的动态性,一行文本的字符个数或多或少不确定,整个文本所拥有的文本行数也是不确定的。 这样的特征决定了用固定的二维数组存放文本行必然限制多多,缺乏灵活性。这种场合,使用指向指针的指针有很大的优越性。

现实中我们尝试用动态二维数组(本质就是指向指针的指针)来解决此问题:

图示是一个指针数组。所谓动态性指横向(对应每行文本的字符个数)和纵向(对应整个文本的行数)两个方向都可以变化。

就横向而言,因为指针的灵活性,它可以指向随意大小的字符数组,实现了横向动态性。

就竖向而言,可以动态生成及扩展需要的指针数组的大小。

下面的代码演示了这种动态数组的用途:
// 用于从文件中读取以 '\0'结尾的字符串的函数

extern char *getline(FILE *pFile);
FILE *pFile;
char **ppText = NULL; // 二维动态数组指针

char *pCurrText = NULL; // 指向当前输入字符串的指针

ULONG ulCurrLines = 0;
ULONG ulAllocedLines = 0;
while (p = getline(pFile))
{
 if (ulCurrLines >= ulAllocedLines)
 {
 // 当前竖向空间已经不够了,通过realloc对其进行扩展。

 ulAllocedLines += 50; // 每次扩展 50 行。

  ppText = realloc (ppText, ulAllocedLines * (char *));
  if (NULL == ppText)
  {
   return; // 内存分配失败,返回

  }
 }
 ppText[ulCurrLines++] = p; // 横向“扩展”,指向不定长字符串

}
问题:指针数组与数组指针与指向指针的指针

指针和数组分别有如下的特征:

    * 指针:动态分配,初始空间小
    * 数组:索引方便,初始空间大

下面使用高维数组来说明指针数组、数组指针、指向指针的指针各自的适合场合。

    * 多维静态数组: 各维均确定,适用于整体空间需求不大的场合,此结构可方便索引,例a[10][40]。
    * 数组指针:低维确定,高维需要动态生成的场合,例a[x][40]。
    * 指针数组:高维确定,低维需要动态生成的场合,例a[10][y]。
    * 指向指针的指针:高、低维均需要动态生成的场合,例a[x][y]。

问题:数组名相关问题

    假设有一个整数数组 a,a 和 &a 的区别是什么?

答案与分析:

a == &a == &a[0], 数组名 a 不占用存储空间。需要引用数组(非字符串)首地址的地方,我一般使用 &a[0],使用 a 容易和指针混淆,使用 &a 容易和非指针变量混淆。

区别在于二者的类型。对数组a的直接引用将产生一个指向数组第一个元素的指针,而&a的结果则产生一个指向全部数组的指针。例如:
int a[2] = {1, 2};
int *p = 0;
p = a; /* p 指向 a[0] 所在的地方 */
x = *p; /* x = a[0] = 1*/
p = &a; /* 编译器会提示你错误,*/
/* 显示整数指针与整数数组指针不一样 */
问题:函数指针与指针函数

    请问:如下定义是什么意思 int *pF1(); int (*pF2)();

答案与分析:

首先清楚它们的定义:

    * 指针函数,返回一个指针的函数。
    * 函数指针,指向一个函数的指针。

可知:

    * pF1 是一个指针函数,它返回一个指向int型数据的指针。
    * pF2 是一个函数指针,它指向一个参数为空的函数,这个函数返回一个整数。
发表于 2007-3-26 16:46:26 | 显示全部楼层
好文, 收之!
回复 支持 反对

使用道具 举报

发表于 2007-3-26 17:23:50 | 显示全部楼层
数组 a 需要在内存中占用 8 个字节的空间,这段内存区通过名字 a 来标志。??? 这是什么文章哦  
hello world?   *  8个? 什么狗屁文章...
回复 支持 反对

使用道具 举报

发表于 2007-3-26 17:25:42 | 显示全部楼层
int (*pA)[5]  和 int pA[5] 绝对是一模一样的 ...2种写法罢了  int (*pA)[5]无意思
回复 支持 反对

使用道具 举报

发表于 2007-3-26 19:09:27 | 显示全部楼层
Post by biosxjj
int (*pA)[5]  和 int pA[5] 绝对是一模一样的 ...2种写法罢了  int (*pA)[5]无意思

biosxjj 兄, 话不要乱说, 会误导别人的
回复 支持 反对

使用道具 举报

发表于 2007-3-26 19:27:59 | 显示全部楼层
楼上的多多 ...我的确没有乱说  ...int (*a)[1]和 int a[1]
的确一模一样  ...只是2种写法 ....
比如 int (*main)() ;int main()也是一模一样的~~
回复 支持 反对

使用道具 举报

发表于 2007-3-26 20:20:44 | 显示全部楼层
楼上的jj兄,不一样的啊。
int(*main)();声明了一个指向函数的指针,这个指针的名字是main,这个函数的参数为空,返回值为int型。
int main();声明了一个函数,函数名为main, 这个函数的参数为空,返回值为int型。

一个是指针,一个是函数,明显不同嘛!!
回复 支持 反对

使用道具 举报

发表于 2007-3-26 20:28:32 | 显示全部楼层
比如:
int (*pf1) (int);
int pf2 (int);
你可以:pf1 = 0; 或pf1 = pf2;
但不可以:pf2 = 0; 或 pf2 = pf1;

int *pa[5], (*pa)[5]的意思也差不多的,一个是指针的数组,一个是指向数组的指针
回复 支持 反对

使用道具 举报

发表于 2007-3-26 20:45:24 | 显示全部楼层
biosxjj 兄, 说错话不要紧, 但是执意乱讲就丢人了. 如果你愿意去阅读一些基础教材, 那当然最好不过, 如果你认为自己的知识体系已经完美到无需看书, 那么用事实来说话也不错, 就按照你的意思, 你试着填充一下你认为 "一模一样" 的那两种形式的数组 (当然数组个数要够多, 否则会掩饰问题), 看看结果吧.
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

快速回复 返回顶部 返回列表