Re: [問題] function 裡的變數 存活時間

[b0920075 (Void)]

※ 引述《gamed (Maiko)》之銘言：
: 我朋友最近去面試
: 其中有一個主管考一題
: char *fun()
: {
:     char str[] = {"Hello"};
:     return str;
: }
: void main()
: {
:     char *p = NULL;
:     p = fun();
:     printf("%s\n", p);
: }
: 問結果如何
: 主管給的回答是這樣可以把指標傳出來

指標傳出來我想是沒問題的，這樣就單純把指到這空間的地址回傳出來而已，除非編
譯器很好心幫你加工過

: 所以可以印出結果

是可以印出東西，但東西是不是對的比較重要XDD

: 我的觀念是 function 的變數只要離開迴圈
: 都會被歸還OS(除了malloc)
: 我的想法對嗎?

OS應該是程式結束後才會接手吧？離開function，東西還是會留在那，但下一個用到
該空間的function如果有對該空間寫值就會被蓋過去，你一點辦法都沒有，換句話說
無法保證資料的正確性


: 我在公司電腦(ubuntu)
: 的確可以印出字串 囧

那就只是剛好沒有function對該空間寫值

: 但家裡的電腦(ubuntu)卻印出亂碼

info leak ！

: 我有印出指標位址
: 的確可以把位址傳出來

我自己用gcc 5.4測試，看起來編譯器會在fun()結尾的時候把rax歸0，不讓指向區域
變數的指標回傳


: 我後來想想
: 在公司電腦可以順利印出字串
: 是運氣好 剛好那段位址的內容沒被覆蓋??
: 如果想法有錯誤
: 請各位前輩能多給指導
: 謝謝

就是運氣好別懷疑，後續的printf裏面用的變數也是用stack上的空間存放，沒被蓋掉
真的就是運氣好


這種寫法很糟，很容易有安全性問題，就像你在家試的時候印出的亂碼很可能就是洩
漏出敏感地址，讓系統保護形同虛設


大概是這樣子吧，不知道有沒有說錯QQ

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.117.178.137
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1513928161.A.0DB.html
→ galic: 先不論對錯 主管這樣考就是預期你面試的時候 講出這篇8成的
→ galic: 內容... 可見這種面試多沒有成效
→ galic: 我不太能理解為何面試要搞的像震撼教育 然後逼的來面試的人
→ galic: 除了被洗臉之外 還要回家上網google 上ptt問解答
原先我看到原文以為主管在考不要回傳區域陣列地址這種觀念，但是看描述怎麼覺得主管才是搞不清楚的XDDD
推 Hazukashiine: 我倒是很喜歡這種開放式問答的題目 XD
推 mmmmei: 那請問一下該怎麼寫才不會有memory leak 又可以在函數外pr
→ mmmmei: int?
如樓下所說，建議是malloc一個空間，把你要寫的東西放在malloc出來的空間裏面，因為空間在heap內，所以不
會因為離開function而喪失控制權，malloc出來的空間會喪失控制權就是在你free掉空間的時候，當然如果free完
又去讀寫空間，也會造成安全性問題：info leak和use after free

至於global array的話，如果宣告即給初始值會放在data，沒有的話放在bss，不管放哪個沒有控制權喪失的問題
但是當你不用的話你也不能回收再利用，相較malloc可以把不用的空間free掉，這種使用方式比較......不節約？
推 Hazukashiine: 1. global char[]  2. heap allocation (preferred)
→ loveflames: static local
※ 編輯: b0920075 (140.117.178.137), 12/22/2017 18:06:58
推 boss0405: 這麼基本的問題如果還不懂很難想像寫出來的code會多可怕
→ boss0405: 但可怕的是原PO的主管似乎認為可以這樣用
→ boss0405: 不過我也曾經聽過有某公司軟體主管說extern global
→ boss0405: variable不要放在header file，然後說出一個錯誤的原因
推 CoNsTaR: 如果面試遇到樓上講的那樣的主管該怎麼辦啊 orz
→ Schottky: 當然是塊陶，面試官是你以後的同事，有這種雷同事哪行
推 mmmmei: 那在c++ 就是char *ptr = new char[5] 這樣嗎？
推 steve1012: 在 c++應該會用 string XD 沒事不會砸自己的腳
推 mmmmei: 哎呀！單純疑問觀念 現實有STL可以用當然用
→ loveflames: 最好加上{}
→ NoManInCar: 有個疑問 c++在function new出來的 應該也不能傳出來
→ NoManInCar: 吧？
→ NoManInCar: 我好像弄錯了 這邊我在想想
→ uranusjr: new 和 malloc 在根本上是一樣的概念
→ loveflames: 兩個實作或許一樣，不過new是free store，malloc是hea
→ loveflames: p
推 hakman: 我想要知道為什麼 extern global variable 不要放在header
→ hakman: file ，有人可以說明一下嗎？ 感恩
推 boss0405: 樓上，因為那主管搞錯觀念了，所以這結論也是錯的XD
推 Killercat: new傳出來不是不行 只是是不好的寫法
→ Killercat: 通常來講new/delete要在同一個scope做，不能A()new了
→ Killercat: 傳出來要使用者自己delete
→ Killercat: 不然就得wrap一下 比方說C* Alloc() 跟 Release(C*)
→ Killercat: C*再用typedef包一下或者拿個warpper class處理一下
→ Killercat: btw, shared_ptr好方便的啊..大家都忘了很多原則了XD
→ uranusjr: 還是 Rust 大法好, 加上 lifetime 不會有這個問題了 (欸