c++ - 当 X 为真时断言 Y 也为真 - 暗示

Question

如何断言如果 X 为 true 那么 Y 也为 true。问题是，如果我写以下内容:

assert(X && Y && "If X is true then Y should be true too.");

如果 bool X = false; 将失败，而这也可能是一个有效的情况。

Answer 1

逻辑表达式为:assert(!X || (X && Y))

如果你想包含你的消息，你可以将它括在括号中:

assert((!X || (X && Y)) && "If X is true then Y should be true too.");

现在，我们可以简化这个逻辑，因为我们知道如果 !X 评估为 false(并且我们正在评估 || 的右侧)，那么我们就知道X一定为真，所以我们可以进一步简化它:

assert(!X || Y); // If !X is false, then X must be true, so no need to test it.