作者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/cn.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