[問題] 有關於 return local variable

[gowrite (gowrite)]

開發平台(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 這樣

可是這樣似乎又沒辦法遵循『一個函式只做一件事情』的好習慣

請問大家如此應該要怎辦呢？？


還是我的觀念哪裡有錯誤，
希望大家可以給我指導跟解惑，
謝謝。





--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.195.54.122
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1513357506.A.7AD.html
※ 編輯: gowrite (123.195.54.122), 12/16/2017 01:08:57
※ 編輯: gowrite (123.195.54.122), 12/16/2017 01:09:35
→ moebear: 可以改成把指標傳進去給他
你好，請問你的意思是說，例如：
List* last_node;

get_last_node( &last_node )

是這個意思嗎？？

※ 編輯: gowrite (123.195.54.122), 12/16/2017 01:48:12
推 LPH66: 不好的事情應該是「回傳指向區域變數的指標」
→ LPH66: 如果只是回傳一個區域變數的值那什麼事都沒有
→ LPH66: 因為這種事我們天天都在做
推 moebear: 是這個意思
推 moebear: 而且你寫法應該沒問題，他回傳的是head裡指標的值
→ stupid0319: 原PO還沒弄懂指標真正的含義
推 b0920075: 你的current是指向heap的指標，ok的
推 CoNsTaR: clang 的 extension 有 closure 可以用
→ CoNsTaR: 雖然說實際上不會去用它啦…
推 peterwu4: 你講的區域變數是一個指標(先不理它特殊的身份)，回傳就
→ peterwu4: 是複製一份新的，像你的例子是把current最後的內容回傳
→ peterwu4: last_node，然後last_node裡面的內容就指著最後一個node
推 peterwu4: 面 last_node->next = new_node;
→ peterwu4: 的記憶體位置，然後你new的node就接在原來last_node的後
→ peterwu4: 怎麼推文也可以亂掉XD
→ peterwu4: 我猜你可能是和c++講的reference觀念混到了，如果是回傳
→ peterwu4: 指定的內容是ref，回傳local variable就會出問題
※ 編輯: gowrite (123.195.54.122), 12/16/2017 17:13:43
推 LPH66: 我是認為原 PO 把「回傳指向區域變數的指標」
→ LPH66: 跟「回傳一個本身是指標的區域變數」搞混了
→ LPH66: 後者只要該指標不是前者的狀況那什麼事都沒有
→ LPH66: 就單純只是回傳一個區域變數的值而已, 只是恰巧該值是指標
推 Killercat: 問一個例子 你有個函數是把a+b回傳 你不回local怎麼做?
→ Killercat: 不要太鑽牛角尖 XD