逻辑运算符
来自cppreference.com
逻辑运算符应用标准布尔代数运算到其运算数。
运算符 | 运算符名 | 示例 | 结果 |
---|---|---|---|
! | 逻辑非 | !a | a 的逻辑否定 |
&& | 逻辑与 | a && b | a 与 b 的逻辑与 |
|| | 逻辑或 | a || b | a 与 b 的逻辑或 |
逻辑非
逻辑非运算符拥有形式
! expression
|
|||||||||
其中
expression | - | 拥有任何标量类型的表达式 |
逻辑非运算符拥有 int 类型。若 expression 求值为不等于零的整数则其值为 0 。若 expression 求值为等于零的整数则其值为 1 。(故 !E 与 {{c|(0==E)} 相同)
运行此代码
#include <stdbool.h> #include <stdio.h> #include <ctype.h> int main(void) { bool b = !(2+2 == 4); // 非 true printf("!(2+2==4) = %s\n", b ? "true" : "false"); int n = isspace('a'); // 若 'a' 空格则为零,否则为非零 int x = !!n; // "bang-bang" ,常用的 C 手法,映射标量为 [0,1] // (所有非零值变为 1 ) char *a[2] = {"nonspace", "space"}; printf("%s\n", a[x]); // 现在能安全地以 x 为 2 个 int 的数组的下标 }
输出:
!(2+2==4) = false nonspace
逻辑与
逻辑与表达式拥有形式
lhs && rhs
|
|||||||||
其中
lhs | - | 拥有任何标量类型的表达式 |
rhs | - | 拥有任何标量类型的表达式,仅若 lhs 比较不等于 0 才求值 |
逻辑与运算符拥有 int 类型,而若 lhs 与 rhs 都比较不等于零则拥有值 1 。否则拥有值 0 (若 lhs 或 rhs 之一或两者比较等于零)。
在 lhs 的求值后有序列点。若 lhs 的结果比较等于零,则完全不求值 rhs (是谓短路求值)。
运行此代码
#include <stdbool.h> #include <stdio.h> int main(void) { bool b = 2+2==4 && 2*2==4; // b == true 1 > 2 && puts("this won't print"); char *p = "abc"; if(p && *p) // 常用的 C 手法:若 p 非空 *与* 若 p 不指向字符串尾 { // (注意拜短路求值所赐,这不会试图解引用空指针) // ... // ……然后做一些字符串处理 } }
逻辑或
逻辑或表达式拥有形式
lhs || rhs
|
|||||||||
其中
lhs | - | 拥有任何标量类型的表达式 |
rhs | - | 拥有任何标量类型的表达式,仅若 lhs 比较等于 0 才求值 |
逻辑或运算符拥有 int 类型,而若 lhs 或 rhs 比较不等于零则拥有值 1 。否则它拥有值 0 (若 lhs 与 rhs 都比较等于零)、
在 lhs 的求值后有序列点。若 lhs 的结果比较不等于零,则完全不求值 rhs (是谓短路求值)。
运行此代码
#include <stdbool.h> #include <stdio.h> #include <string.h> #include <errno.h> int main(void) { bool b = 2+2 == 4 || 2+2 == 5; // true printf("true or false = %s\n", b ? "true" : "false"); // 逻辑或能像 perl 的 "or die" 一样使用,只要 rhs 拥有标量类型 fopen("test.txt", "r") || printf("could not open test.txt: %s\n", strerror(errno)); }
可能的输出:
true or false = true could not open test.txt: No such file or directory
引用
- C11 standard (ISO/IEC 9899:2011):
- 6.5.3.3 Unary arithmetic operators (p: 89)
- 6.5.13 Logical AND operator (p: 99)
- 6.5.14 Logical OR operator (p: 99)
- C99 standard (ISO/IEC 9899:1999):
- 6.5.3.3 Unary arithmetic operators (p: 79)
- 6.5.13 Logical AND operator (p: 89)
- 6.5.14 Logical OR operator (p: 89)
- C89/C90 standard (ISO/IEC 9899:1990):
- 3.3.3.3 Unary arithmetic operators
- 3.3.13 Logical AND operator
- 3.3.14 Logical OR operator
参阅
常用运算符 | ||||||
---|---|---|---|---|---|---|
赋值 | 自增 自减 |
算术 | 逻辑 | 比较 | 成员 访问 |
其他 |
a = b |
++a |
+a |
!a |
a == b |
a[b] |
a(...) |