: 看完寶典後，對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