翻看以前的一次jjhou的“高阶C”课程的ppt,突然想到今天指导新员工时,她犯的关于参数传递方面的错误,就想简单分析一下。

一、现象和经验
规则:任何时候你想在函数内修改某个外面的变量值,并影响Caller,你应该传递该变量的地址进去。如果是指针变量,也不例外。

a) 反例1
void test(int a) {
 a = a + 10;
}
int main() {
 int cnt = 0;
 test(cnt);
 assert(cnt == 10); /* assert dump error */
}

反例1的更正:
就如同上面的“规则”,如果你想在test内部改变cnt的值,你应该传cnt的地址。
int main() {
 int cnt = 0;
 test(&cnt);
 assert(cnt == 10); /* ok */
}
当然这时test的原型要改变一下,实现也应修改。
void test(int *a) {
 *a = *a + 10;
}

b) 反例2
void test(char *p) {
 p = malloc(128);
}
int main() {
 char *buf = NULL;
 test(buf);
 assert(buf != NULL); /* assert dump error */
}

反例2的更正:
就如同上面的“规则”所说指针也不例外,如果你想在test内部改变指针buf的值,你应该传buf的地址。
int main() {
 char *buf = NULL;
 test(&buf);
 assert(buf != NULL); /* ok */
}
当然这时test的原型要改变一下,实现也应修改。
void test(char **p) {
 *p = malloc(128);
}

二、本质分析
C在进行函数参数传递的时候,实际的参数值被复制到被调函数局部的存储区中。由于在blog中不便于用图形分析,这里就是用伪码简单分析一下:

下面用伪码分析上面的反例1:
void test(int a) {
 a = a + 10;
}

test(cnt);
=>
test(cnt) {
 int _a = cnt; //实际的参数值cnt被复制到被调函数局部的存储区,这里用_a表示test的一个局部存储变量
 _a = _a + 10;
}
一看便知cnt的值并未被修改。

再对比一下反例1改正后的伪码:
void test(int *a) {
 *a = *a + 10;
}

test(&cnt);
=>
test(&cnt) {
 int *_a = &cnt; //_a表示test的一个局部存储变量,而_a复制的是外部变量的地址,
   //这样就可通过该地址自由修改外部变量的值了

 *_a = *a + 10; //通过指向cnt地址的指针修改了cnt的值。
}

© 2005, bigwhite. 版权所有.

Related posts:

  1. 同步问题讨论-Tony与Alex的对话系列
  2. 一个Xml Parser的TDD开发过程-Tony与Alex的对话系列
  3. Effective Java阅读笔记-item16
  4. 走马观花ANSI C标准-环境
  5. C程序员之“痛”