※ 引述《feisian (繼續睡個五千年)》之銘言： : 我將operator和ite寫完後 : 照著攻略想要用test.cpp作測試 : compile也過了 : 但是一進程式就記憶體區段錯誤 : 嘗試在main()的第一行cout東西也不行 : 似乎還沒進main就掛了 : 能請問問題是出在哪邊嗎 : 看去年的文章 : 似乎也有這個問題 : 但是沒看到怎麼解決欸 : 謝謝 看起來是 static data member initialization 就出問題了, 請用 debugger 看一下 : ====== : 另外能順便請教BSETVar的問題嗎 : 不是很懂接收進來的bddName和level : 與support的關係欸 : 是要我們接收一個bddName 就把level的值作成bddNode : 然後存到support嗎? : 可是support是在bddMgr裡是private啊 應該不能直接動他 : 很多概念還不是很瞭 : 如果問了太蠢的問題.... : 請多包涵 : 真是抱歉orz _supports 在 BddMgr::init() 中被 initialized 之後應該就不用/可以再動了, 你可以用 getSupport(level) 來拿到第 level 個 support "BDDSETVar i a" 的意思就是說將 a 這個變數 associate with level i 的 support That is, BddNode a = bddMgr->getSupport(i). 請注意可以有多個變數 associate 同一個 _supports[i], 關於這點, 請弄清楚 BddNodeInt* 以及 BddNode 的差別. --

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