逻辑运算符
来自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 标准（ISO/IEC 9899:2011）：
- 6.5.3.3 Unary arithmetic operators （第 89 页）
- 6.5.13 Logical AND operator （第 99 页）
- 6.5.14 Logical OR operator （第 99 页）
- C99 标准（ISO/IEC 9899:1999）：
- 6.5.3.3 Unary arithmetic operators （第 79 页）
- 6.5.13 Logical AND operator （第 89 页）
- 6.5.14 Logical OR operator （第 89 页）
- C89/C90 标准（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(...) |