[問題] 有關於 return local variable

作者: gowrite (gowrite)   2017-12-16 01:05:03
開發平台(Platform): (Ex: Win10, Linux, ...)
GNU/Linux Ubuntu
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
Vim
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
n/a
問題(Question):
最近在練習資料結構,
突然想到有關於在函式中回傳區域變數的問題
不知道該怎解決,所以想問一下實際上遇到這種問題的最好的解法
餵入的資料(Input):
程式碼如下
預期的正確結果(Expected Output):
輸出沒問題
錯誤結果(Wrong Output):
沒錯誤
程式碼(Code):(請善用置底文網頁, 記得排版)
/*List 結構類型*/
typedef struct node {
struct node* next;
char* id;
}List;
/*全域變數 head*/
List head = {NULL , "head"};
/*經由 get_last_node() 函式,可以回傳 linked list 的最後一個 node 的指標*/
List* get_last_node(void){
if( head.next == NULL ){
return &head;
}
List* current = head.next;
while( current != NULL ){
if( current->next == NULL ){
return current; //我的問題就是這一行 Question,問題在下方補充
}
current = current->next;
}
}
void add_new_node(char* id){
List* last_node = get_last_node();
//....接著去 malloc 新空間 跟 新增 node 等等的動作
}
void main(){
List n1 = {NULL , "n1"};
head.next = &n1;
List n2 = {NULL , "n2"};
n1.next = &n2;
add_new_node("another new node");
/*基本上這個程式,寫到這邊沒有發生什麼錯誤*/
/*那這邊要取得最後 node 的指標是為了更後面要實做 add_new_node() 的函式*/
}
補充說明(Supplement):
就是 current 區域變數是在 get_last_node() 函式裡面
經由一開始取得 head.next 之後,在由 while loop 來得到最後一個 node 的指標
可是因為回傳的是 current 區域變數,
回傳的時候,理論上 get_last_node() 在記憶體的空間應該已經被釋放掉了,
所以我的 main 函式可以收到正確的 current 內容,應該是運氣好記憶體內容還沒被覆蓋掉;
我看了一些 c 語言的教學,都說回傳區域變數是不好的習慣
但是在這個 case,不回傳區域變數的解決方式似乎只有兩種
第一種:
就開一個全域變數 (可是全域變數會造成命名衝突的可能)
第二種:
不回傳指標,所以後續的所有動作都在同一個函式裡面做完,
current 取得指標之後,就在 get_last_node() 同一個函式裡面完成新增 node 的動作
包括
List* new_node = malloc 新空間,賦值,等等
還有把 current->next = new_node 這樣
可是這樣似乎又沒辦法遵循『一個函式只做一件事情』的好習慣
請問大家如此應該要怎辦呢??
還是我的觀念哪裡有錯誤,
希望大家可以給我指導跟解惑,
謝謝。
作者: moebear (萌熊)   2017-12-16 01:23:00
可以改成把指標傳進去給他
作者: LPH66 (-6.2598534e+18f)   2017-12-16 01:55:00
不好的事情應該是「回傳指向區域變數的指標」如果只是回傳一個區域變數的值那什麼事都沒有因為這種事我們天天都在做
作者: moebear (萌熊)   2017-12-16 02:00:00
是這個意思而且你寫法應該沒問題,他回傳的是head裡指標的值
作者: stupid0319 (徵女友)   2017-12-16 02:21:00
原PO還沒弄懂指標真正的含義
作者: b0920075 (Void)   2017-12-16 02:56:00
你的current是指向heap的指標,ok的
作者: CoNsTaR ((const *))   2017-12-16 03:02:00
clang 的 extension 有 closure 可以用雖然說實際上不會去用它啦…
作者: peterwu4 (notd)   2017-12-16 16:10:00
你講的區域變數是一個指標(先不理它特殊的身份),回傳就是複製一份新的,像你的例子是把current最後的內容回傳last_node,然後last_node裡面的內容就指著最後一個node面 last_node->next = new_node;的記憶體位置,然後你new的node就接在原來last_node的後怎麼推文也可以亂掉XD我猜你可能是和c++講的reference觀念混到了,如果是回傳指定的內容是ref,回傳local variable就會出問題
作者: LPH66 (-6.2598534e+18f)   2017-12-16 18:04:00
我是認為原 PO 把「回傳指向區域變數的指標」跟「回傳一個本身是指標的區域變數」搞混了後者只要該指標不是前者的狀況那什麼事都沒有就單純只是回傳一個區域變數的值而已, 只是恰巧該值是指標
作者: Killercat (殺人貓™)   2016-01-02 22:44:00
問一個例子 你有個函數是把a+b回傳 你不回local怎麼做?不要太鑽牛角尖 XD

Links booklink

Contact Us: admin [ a t ] ucptt.com