: 看完寶典後，對refCount還是有一點小小的疑問： : 就是call BddNode destructor時，該怎麼處理refCount : : 如果refCount > 1 : 那就很單純的 --refCount : : 不過問題就在refCount == 1 及 refCount == 0 時 : 我記得上課時有講到在BddNode copy constructor被呼叫時會有case 0 ？？ : 這份影片還沒上傳所以無法查證ˊˋ : : refCount == 1 直接 delete BddNodeInt* 這樣行嗎？ : 會不會有例外情況@ @" 如果沒有任何東西 refer 到 BddNodeInt*, 那是沒有關係，可以在 ~BddNode() 裏頭 直接 delete getBddNodeInt()， 然後 getBddNodeInt() 自己會 recursively 呼叫 left / right BddNode 的 destructor, and so on... 但是就像 herbert570 所說的，由於 Hash/Cache 裏頭存的是 size_t， 本身沒有增加 BddNodeInt* 的 refCount, 所以如果你在別的地方將 BddNodeInt* delete 掉, 那 Hash/Cache 裏頭的 data 就會 out-dated 而發生問題 : : 寶典上面是說call destructor 時直接 --refCount就行 : 可是好像沒有那麼單純..ˊˋ : : : 另外是BddNode的其中一個constructor : // Need to check if n._nodeV !=0 : BddNode(size_t v): _nodeV(v) : { : //TODO : } : 請問這是不是應該將註解改成check v != 0 或getBddNodeInt() != 0啊？ : 寫到這邊挺疑惑的說orz||| 啊啊, 對! 這裡的 n 是指 getBddNodeInt() 啦! : : : -- :

※ 發信站: 批踢踢實業坊(ptt.cc) : ◆ From: 114.45.170.8 : 推 mymaydayya:既然count=0 還有可能被BddNode的destruct呼叫嗎? 01/11 22:03 : → mymaydayya:count=0應該就沒有BddNode指到他了吧 01/11 22:04 : → dryman:有道理XD count應該不會為零 01/11 22:11 : → dryman:那麼if (--count == 0 ) 時一定可以delete BddNodeInt嗎？ 01/11 22:13 : → dryman:想起來了，destructor應該沒問題:D 01/11 22:29 : 推 herbert570:不一定喔！ 01/11 22:42 : → herbert570:注意 bddArr 和 bddMap 存放的都只是 size_t！ 01/11 22:42 : → herbert570:所以如果直接把他們 delete 掉，有可能出錯 01/11 22:42 : → dryman:嗯嗯，謝謝樓上:D 01/11 23:13 : default constructor: : BddNode() : _nodeV(0) {} : 在BddMgr裡面有很多地方會叫到這個 : 所以destructor, "=" 要處理 _nodeV本來為零的情況 嗯, 否則用 NULL pointer 去 access refCount 就掛了... : : ※ 編輯: dryman 來自: 114.45.170.8 (01/11 23:29) --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.224.41.206