逻辑运算符

< c‎ | language

逻辑运算符应用标准布尔代数运算到其运算数。

运算符 运算符名 示例 结果
! 逻辑非 !a a 的逻辑否定
&& 逻辑与 a && b ab 的逻辑与
|| 逻辑或 a || b ab 的逻辑或

逻辑非

逻辑非运算符拥有形式

! 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 类型,而若 lhsrhs 都比较不等于零则拥有值 1 。否则拥有值 0 (若 lhsrhs 之一或两者比较等于零)。

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 类型,而若 lhsrhs 比较不等于零则拥有值 1 。否则它拥有值 0 (若 lhsrhs 都比较等于零)、

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 += b
a -= b
a *= b
a /= b
a %= b
a &= b
a |= b
a ^= b
a <<= b
a >>= b

++a
--a
a++
a--

+a
-a
a + b
a - b
a * b
a / b
a % b
~a
a & b
a | b
a ^ b
a << b
a >> b

!a
a && b
a || b

a == b
a != b
a < b
a > b
a <= b
a >= b

a[b]
*a
&a
a->b
a.b

a(...)
a, b
(type) a
? :
sizeof
_Alignof
(C11 起)