Re: [問題]有關refCount...
想請大家幫忙一下orz
我的執行結果,BDD和reference program是一樣的
但是reference count不一樣
例如原本的test.cpp
執行結果是
[3](+) 0x960b8b8 (1)
[1](+) 0x960a870 (5)
[0](+) 0x960a860 (11)
[0](-) 0x960a860 (11) (*)
[2](+) 0x960a8b0 (1)
[1](+) 0x960a870 (5) (*)
[0](-) 0x960a860 (11) (*)
==> Total #BddNodes : 4
[3](+) 0x960b8b8 (2)
[1](+) 0x960a870 (5)
[0](+) 0x960a860 (12)
[0](-) 0x960a860 (12) (*)
[2](+) 0x960a8b0 (1)
[1](+) 0x960a870 (5) (*)
[0](-) 0x960a860 (12) (*)
==> Total #BddNodes : 4
(reference program是 1 4 11 11 1 4 11和 1 3 9 9 1 3 9)
尤其是第二個,node[3] 的reference count竟然是2真的很奇怪..|||
但是BDD一樣的話應該ite是沒有錯的呀....
這樣問題是出在 = operator嗎orz
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.247.17
推
01/11 13:54, , 1F
01/11 13:54, 1F
推
01/11 15:36, , 2F
01/11 15:36, 2F
→
01/11 15:38, , 3F
01/11 15:38, 3F
討論串 (同標題文章)
以下文章回應了本文:
完整討論串 (本文為第 2 之 3 篇):