※ 引述《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