作者adrianshum (Alien)
看板C_and_CPP
标题Re: [问题] 关於新手十戒的小问题
时间Sat Oct 31 13:58:37 2009
※ 引述《hn12303158 (2orx)》之铭言：
: 请位各位, 在新手十诫(6)中提到:
: "不可以在函式中回传一个指向区域性自动变数的指标。否则，会得到垃圾值"
: 但我作了以下的实验
: 实验一:
: 定义typedef struct Obj
: Obj* createInstance() {
: Obj* tmp = (Obj*)malloc(sizeof(Obj));
: return tmp;
: }
: 然後在main()里宣告Obj* obj1 = createInstance()
在 main 里面的不是 "宣告"
: 这样虽然函式回传区域性指标, 但是程式还是运作正常
tmp 指向的东西不是区域性。
你分得出:
Obj* foo() {
Obj myObj;
return &myObj;
}
和
Obj* foo() {
Obj* myObj = (Obj*) malloc(sizeof(Obj));
return myObj;
}
的分别吗？
前者 return 的 ptr, 指向的是 local 的 variable (在 stack 的)，
foo() 完结後，指向的那堆东西就失效了.
後者指向的是从 heap allocate 的。
玩得奸诈一点：
Obj** foo() {
Obj* myObj = (Obj*) malloc(sizeof(Obj));
return &myObj;
}
这样会出问题吗？
答案是一样会，因为回传的 ptr, 是指向 myObj,
而 myObj 是在 stack.
: 实验二:
: 定义typedef struct Obj
: void createInstance(Obj* obj) {
: if (obj == NULL) {
: obj = malloc(Obj*)malloc(sizeof(Obj));
: }
: return;
: }
: 然後在main里宣告Obj* obj = NULL;
: createInstance(obj);
: 实验二中我用动态配置asign适当大小的记忆体给一个非区域变数,
: 没有回传区域变数的指标,
: 程式却出现core dump(估计是记忆体被回收了)
: 请问这是怎麽回事呢?
: 我原本以为实验一会失败, 实验二会成功,结果却相反
: 麻烦各位帮忙解惑了, 谢谢!
这个单纯是 pass-by-value 的概念。
你传了 obj 进 function, 然後修改 obj 的
值，当然不会 caller 传进去的东西。
情况就等如:
void foo(int i) {
i = 10;
}
int myInt = 5;
foo(myInt);
之後myInt 的值是多少？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.218.221.177
1F：推 hn12303158:case1的情况我知道了, 谢谢 10/31 17:08
2F：→ hn12303158:但是case2我传进去function里的不是指标吗? 10/31 17:09
3F：→ hn12303158:那应该是call-by-reference吧? 10/31 17:09
4F：→ walm20:错 对於呼叫者,是传一个记忆体位址给function 10/31 17:14
5F：→ walm20:对於function,他用一个local的ptr去接这记忆体位址 10/31 17:14
6F：→ walm20:这的确是pass-by-value 10/31 17:15
7F：推 QQ29:对这是by value不过有人会讲说这是Call by pointer~ 10/31 17:22
8F：推 hn12303158:谢谢楼上几位, 但我还是有点混淆 10/31 17:31
9F：→ hn12303158:一般来说call-by-pointer和call-by-reference不都是 10/31 17:31
10F：→ hn12303158:call-by-address吗? 10/31 17:31
11F：推 hilorrk:应该是call-by-pointer是call-by-value 但能用address的方 10/31 18:49
12F：→ hilorrk:式模拟call-by-reference 10/31 18:49
13F：推 hn12303158:哈 爬文後我了解了 10/31 18:56
14F：推 andyjy12:我觉板上应该要有一张图记忆结构的图，方便说明 10/31 21:09
15F：→ raincole:为什麽要把pointer解释成模拟referenct..？ 10/31 21:27
16F：→ raincole:应该是先有pointer的概念吧... 10/31 21:28
17F：推 twotwoone:要看你怎麽认定reference，某些认定上是reference没错 10/31 21:40