Re: [討論] BddNode and BddNodeInt

[dryman (dryman)]

看完寶典後，對refCount還是有一點小小的疑問：
就是call BddNode destructor時，該怎麼處理refCount

如果refCount > 1
那就很單純的 --refCount

不過問題就在refCount == 1 及 refCount == 0 時
我記得上課時有講到在BddNode copy constructor被呼叫時會有case 0 ？？
這份影片還沒上傳所以無法查證ˊˋ

refCount == 1 直接 delete BddNodeInt* 這樣行嗎？
會不會有例外情況@ @"

寶典上面是說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|||


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

※ 編輯: dryman          來自: 114.45.170.8         (01/11 23:29)