作者dryman (dryman)
看板EE_DSnP
標題Re: [討論] BddNode and BddNodeInt
時間Mon Jan 11 21:58:35 2010
看完寶典後，對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
1F：推 mymaydayya:既然count=0 還有可能被BddNode的destruct呼叫嗎? 01/11 22:03
2F：→ mymaydayya:count=0應該就沒有BddNode指到他了吧 01/11 22:04
3F：→ dryman:有道理XD count應該不會為零 01/11 22:11
4F：→ dryman:那麼if (--count == 0 ) 時一定可以delete BddNodeInt嗎？ 01/11 22:13
5F：→ dryman:想起來了，destructor應該沒問題:D 01/11 22:29
6F：推 herbert570:不一定喔！ 01/11 22:42
7F：→ herbert570:注意 bddArr 和 bddMap 存放的都只是 size_t！ 01/11 22:42
8F：→ herbert570:所以如果直接把他們 delete 掉，有可能出錯 01/11 22:42
9F：→ dryman:嗯嗯，謝謝樓上:D 01/11 23:13
default constructor:
BddNode() : _nodeV(0) {}
在BddMgr裡面有很多地方會叫到這個
所以destructor, "=" 要處理 _nodeV本來為零的情況
※ 編輯: dryman 來自: 114.45.170.8 (01/11 23:29)