表达式

< c‎ | language
 
C
 
C 语言
 
表达式
 

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

表达式求值可以产生结果（例如求值 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 中指定的错误
  • 标准 #pragma ： FENV_ACCESS 、 FP_CONTRACT 及 CX_LIMITED_RANGE 还有浮点求值精度和舍入方向控制浮点表达式求值方式。

初等表达式

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

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

1) 常量及字面量（例如 2 或 "Hello, world" ）
2) 适合的已声明标识符（例如 n 或 printf ）
3) 泛型选择

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

常量及字面量

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

  • 整数常量是十进制、八进制或十六进制的整数类型数字。
  • 字符常量是 int 类型，适于转换到字符类型、 char16_t 、 char32_t (C11 起)或 wchar_t 类型的单个字符。
  • 浮点常量是 float 、 double 或 long 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

参阅