最近定位一个问题， 最后跟踪到了一个类似于下面语句的地方：
if(...)
{
log("a");
...;
}
else
{
log("b");
...;
}
x = 6;
刚开始看日志， 发现既没有"a"， 也没有"b", 所以认为该部分代码肯定没有执行， 所以排除了本分支。 但后来的事实表明， x=6;及其后面的语句确实执行了。 百思不得其解， 后来才发现， 原来， 那个log在某种情况下会失效。
原来如此， 这就是经验。做软件开发， 不要顽固， 不要绝对。 要多角度考虑问题。
数学和软件， 还是有很大差别的。