定义布尔逻辑运算符（v，^，XOR， - ＆gt;，＆lt; - ＆gt;）

Question

假设我们有bool true = (P v Q) -> R

如何定义运算符（或函数），以便符号（v，^，XOR， - ＆gt;，＆lt; - ＆gt;）将调用将执行逻辑的函数？

因此，在示例中：bool true = P v Q，会调用bool or(bool a, bool b)

Answer 1

无法在C ++中定义任意中缀运算符，也无法使用名称true作为变量名。

但是，C ++已经提供||或&& for和^或!= for xor（对于bool s，它们是等价的），而!则没有。如果你想要逻辑蕴涵，你最好使用!P || Q，如果你想要iff，你应该使用P == Q。