[討論] 誰能解釋 test.cpp 的 reference count 嗎?

[ric2k1 (Ric)]

我上課問的, 有人想要試著回答嗎?

[Code]
======
int
main()
{
   BddNode::_debugBddAddr = true;
   BddNode::_debugRefCount = true;

   BddManager bm(3, 127, 61);

   BddNode a(bm.getSupport(1));
   BddNode b(bm.getSupport(2));
   BddNode c(bm.getSupport(3));

   BddNode d = a & b | a & c;

   cout << d << endl;

   BddNode e;

   e = a & (b | c);

   cout << endl;
   cout << e << endl;
}

===================
[Reference program]
===================
[3](+) 0x87aedc8 (1)
  [1](+) 0x87aed00 (5)
    [0](+) 0x87aecc0 (11)
    [0](-) 0x87aecc0 (11) (*)
  [2](+) 0x87aeda0 (1)
    [1](+) 0x87aed00 (5) (*)
    [0](-) 0x87aecc0 (11) (*)

==> Total #BddNodes : 4


[3](+) 0x87aedc8 (2)
  [1](+) 0x87aed00 (5)
    [0](+) 0x87aecc0 (12)
    [0](-) 0x87aecc0 (12) (*)
  [2](+) 0x87aeda0 (1)
    [1](+) 0x87aed00 (5) (*)
    [0](-) 0x87aecc0 (12) (*)

==> Total #BddNodes : 4

=============================================================

請解釋括弧後面的 reference counts 為什麼是這樣?

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 59.121.129.139