表达式

< c‎ | language

表达式是运算符及其运算数的序列,它指定一个运算。

表达式求值可以产生结果(例如求值 2+2 产生结果 4 ,可能产生副效应(例如求值 printf("%d",4) 会将字符 '4' 送到标准输出流),并可以指代对象或函数。

综述

  • 值类别(左值、非左值对象、函数指代器)将表达式以其值分类
  • 参数和子表达式的求值顺序指定会得到何种中间结果

运算符

常用运算符
赋值 自增
自减
算术 逻辑 比较 成员
访问
其他

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 起)

转换

  • 隐式转换在运算数类型不符合运算符期待时发生。
  • 转型可用于显示将值的类型从一个转到另一个。

其他

  • 常量表达式可以在编译时求值,并用于编译时语境(非 VLA 数组大小、静态初始化器等)
  • 通用化选择可以根据参数类型调用不同的表达式
  • 浮点表达式可能会引发浮点异常,并报告 math_errhandling 中指定的错误
  • 标准 #pragmaFENV_ACCESSFP_CONTRACTCX_LIMITED_RANGE 还有浮点求值精度舍入方向控制浮点表达式求值方式。

初等表达式

运算符的运算数可为其他表达式,或初等表达式(例如 1+2*3 中,运算符 + 的运算数是子表达式 2*3 和初等表达式 1 )。

初等表达式可以是下列之一:

1) 常量及字面量(例如 2"Hello, world"
2) 适合的已声明标识符(例如 nprintf

任何在括号中的表达式亦被分类为基础表达式:这保证括号拥有高于任何运算符的优先级。

常量及字面量

某些类型的常量值可用称为字面量(对于左值表达式)和常量(对于右值表达式)的特殊表达式嵌入到 C 程序源代码中,。

  • 整数常量是十进制、八进制或十六进制的整数类型数字。
  • 字符常量int 类型,适于转换到字符类型char16_tchar32_t (C11 起)wchar_t 类型的单个字符。
  • 浮点常量floatdoublelong double 类型值。
  • 字符串字面量是类型为 char[]char16_t[]char32_t[]wchar_t[] 的一系列字符,表示空终止字符串。
  • 复合字面量是直接嵌入程序代码的结构体、联合体或数组类型的值。

不求值表达式

sizeof 运算符的运算数_Alignof 运算符的运算数及泛型选择的控制表达式 (C11 起)是不求值的表达式(除非它们是 VLA ) (C99 起)。故而 size_t n = sizeof(printf("%d", 4)); 不会进行控制台输出。

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 6.5 Expressions (p: 76-105)
  • 6.6 Constant expressions (p: 106-107)
  • C99 standard (ISO/IEC 9899:1999):
  • 6.5 Expressions (p: 67-94)
  • 6.6 Constant expressions (p: 95-96)
  • C89/C90 standard (ISO/IEC 9899:1990):
  • 3.3 EXPRESSIONS
  • 3.4 CONSTANT EXPRESSIONS

参阅