推 timrau:第一種不是constructor. BddNode a_b(a & b);才是 06/14 00:33
→ yongling:謝謝，第二個我發現問題了，但第一個還是不懂... 06/14 00:57
推 ric2k1:我回到台灣再檢查一下... got to go now 06/14 01:08
※ 引述《trancewu (exile me)》之銘言：
: 由於那天上課到最後有點趕，
: 所以沒有聽了之後沒有很清楚refCount的意思。
: 而且在我用了reference program之後，
: 意義更撲朔迷離了...orz
: 如果輸入
: breset 2 107 107
: bsetv 1 a
: bsetv 2 b
: band a_b a b
: brep a_b -addr -ref
: [2](+) 0x9e88b78 (1)
: [1](+) 0x9e888c8 (2)
: [0](+) 0x9e88808 (8)
: [0](-) 0x9e88808 (8) (*)
: [0](-) 0x9e88808 (8) (*)
: ==> Total #BddNodes : 3
: 請問level 0 的reference有8，
: 是從哪裡來的啊@@
: 不是應該只有三個(a兩個 b一個)嗎？
: 還是說我少算了一些node？
: 少算了的話，
: 又是少算了哪些@@
: 謝謝！
不好意思，我想請問這個例子的幾個問題：
(1) level 1 的 refCount 為什麼是 2？我算出來有 a_b.getBddNodeInt()->_left,
a, _supports[1] 共 3 個，看起來精華區的結果才是對的？還是例子不同？
(2) level 2 的 refCount，我如果在 test.cpp 中寫
BddNode a_b = a & b ;
結果會多 1，但如果改成
BddNode a_b ; a_b = a & b ;
跑出來的結果就會是一樣的，不知道為什麼？
感覺第一種寫法是 constructor，第二種是 assignment...
謝謝！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.161.185.190
※ 編輯: yongling 來自: 118.161.185.190 (06/14 00:17)