作者cuteSquirrel (可愛的小松鼠)
看板C_and_CPP
標題Re: [問題] 基礎Pointer問題 LC2807
時間Fri Jun 7 19:32:38 2024
function中 透過 Type obj(); 建立的物件
會被放在stack區段，視為區域變數。
該物件的生命週期只存在function內，離開後，就無法被存取。
function中 透過 Type* ptr = new Type(); 建立的物件
會被放在heap區段，視為動態分配的物件，離開function後，物件仍然存在
直到被delete 呼叫解構子銷毀為止。
[也就是說，動態物件建立與銷毀(歸還記憶體)的責任落在寫code的人身上]
為什麼local variable 區域變數的寫法不行?
因為Leetcode測試平台會在背景執行別支驗證的function，
去檢查這條串列是否符合預期中的答案，
這時候已經離開insertGreatestCommonDivisors當初宣告的function，
也就是說，ListNode n(c, ptr->next); 所宣告的物件已經看不到了，
就算硬是要是access那塊記憶體位置，也是非法存取。
可以在Debug console看到如下類似的資訊
ERROR: AddressSanitizer: stack-use-after-return on address 0x7f9823700028 at
pc 0x55ac5f4a030c bp 0x7ffd0c8f6130 sp 0x7ffd0c8f6128
READ of size 8 at 0x7f9823700028 thread T0
#0 0x55ac5f4a030b in __ListNodeUtils__::hasCycle(ListNode*)
(solution+0x19030b)
※ 引述《CppGod (CPP IS GOD)》之銘言：
: 開發平台(Platform): (Ex: Win10, Linux, ...)
: Windows
: 編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
: VS
: 額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
: 問題(Question)：
: 程式碼中的(1)是正確的寫法，但不了解為什麼(2)的寫法不行
: 想法是ListNode n()完後，讓ptr=&n，但結果是錯的
: 餵入的資料(Input)：
: 預期的正確結果(Expected Output)：
: 錯誤結果(Wrong Output)：
: https://ideone.com/Gb60BJ
: 程式碼(Code)：
: https://ideone.com/i5eC0B
: 補充說明(Supplement)：
: 先謝謝各位前輩了!
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.37.204.145 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1717759960.A.A87.html
1F：推 CppGod: (已跪)講解得很清楚 非常感謝您!!! 06/07 22:06
2F：→ tomsawyer: 平常寫程式開著asan就可以避免這種錯了 06/08 14:12
3F：推 lc85301: 或是改寫 Rust 也可以(欸 06/09 21:37
4F：推 closer76: Rust 要寫 linked list 意外地難喔！ XD 06/11 08:03
5F：推 j0958322080: 樓上為啥？ 06/14 16:00
6F：推 lc85301: 它的 Linked list 要用 enum 去做，所以沒那麼直覺 06/17 21:32
7F：推 closer76: 主要是 Rust 把指標和 null 都包裝起來，想要有效操作就 06/20 22:56
8F：→ closer76: 是很麻煩的事，動不動就會踩到 borrow checker 的雷。如 06/20 22:56
9F：→ closer76: 果想做雙向鏈接、再加上要提供 iterator，那就更恐怖了 06/20 22:56
10F：→ closer76: 我當年寫 Exercism 的 Rust 題庫，唯一一題寫不出來的就 06/20 23:00
11F：→ closer76: 是實作雙向鏈結。題目提示說可以用 unsafe 去操作指標， 06/20 23:00
12F：→ closer76: 但就算知道，還是寫不出來…… 06/20 23:00
13F：推 wulouise: 統統只用unsafe當C可以寫吧 06/21 15:01
15F：→ Richun: Rust的雙向鏈結會卡到所有權問題，會超級麻煩。 06/21 22:42
16F：→ lycantrope: Option<Rc<RefCell<T>>> 06/24 08:32