C 参考手册

位置：首页 > C 参考手册 >C 语言 > 逻辑运算符

逻辑运算符

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

运算符 运算符名 示例 结果
! 逻辑非 !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 += 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 起)