逻辑在调试中的作用

1。今天运用在逻辑上的使用： 调式double serice 和 double  provider 死活不出来， 运行这两个，就是不出来，我在图上分析了原因：   反证方法： 如果顺序真是这样的，证明我的假设是错的，                   引入 事实结果1： 但是现实我是对的。                 只有一种可能性了，我调用都没调用。 搞定。

>>阅读原文<<