C++程序反编译笔记(9) 冗余的if

    在重构IDA Pro的代码时, 我发现了如下句式:

    上面的语句中 if(b){...} 部分完全相同. 也就是 a && b || !a && b时, 执行 语句1, 根据离散数学中的知识, 可以去掉条件a. 因此, 原代码可以重构为:

    如果丢掉了离散数学的话, 可以看看真值表:

    最终表达式的值完全等于b的值.