其他运算符
汇集并不适合任何其他主要类别的运算符。
| 本节未完成 原因:为这个和其他表格考虑更通用的,覆盖多个专题的 ToC |
| 运算符 | 运算符名 | 示例 | 描述 |
|---|---|---|---|
(...)
|
函数调用 | f(...)
|
以零或更多实参调用 f() |
,
|
逗号运算符 | a, b
|
求值表达式 a,舍弃其返回值并完成任何副效应,然后求值表达式 b,返回此求值的类型和结果 |
(type)
|
转型 | (type)a
|
转型 a 的类型为 type |
? :
|
条件运算符 | a ? b : c
|
若 a 逻辑上为真(不求值为零)则求值表达式 b,否则求值表达式 c |
sizeof
|
sizeof 运算符 | sizeof a
|
a 的字节大小 |
_Alignof(C11 起) |
_Alignof 运算符 | _Alignof(type)
|
type 的对齐要求 |
typeof
|
typeof 运算符 | typeof(a)
|
a 的类型 |
函数调用
函数调用表达式拥有形式
表达式 ( 实参列表 (可选) )
|
|||||||||
其中
| 表达式 | - | 任何指向函数指针类型的表达式(在左值转换后) |
| 实参列表 | - | 任何完整对象类型的表达式(不能是逗号运算符)的逗号分隔列表。调用不接受实参的函数时可以省略。 |
函数调用表达式的行为,取决于所调用的函数的原型是否在调用点处于作用域中。
调用有原型函数
| (C99 起) |
void f(char* p, int x) {}
int main(void)
{
f("abc", 3.14); // 数组到指针和 float 到 int 转换
}
调用无原型函数1) 以未指定顺序无定序地求值各实参。
2) 在每个实参表达式上进行默认实参提升。
3) 进行赋值,复制每个实参到对应的函数形参,忽略形参类型及其可能为递归的元素或成员上的类型限定符,若存在。
4) 执行函数,而其所返回的值成为函数调用表达式的值(若函数返回 void,则函数调用表达式为 void 表达式)
void f(); // 无原型
int main(void)
{
f(1, 1.0f); // UB,除非定义 f 为接收一个 int 和一个 double
}
void f(int a, double c) {}
以下情况下调用无原型函数的行为未定义
|
(C23 前) |
注解
指代所调用的函数的 表达式 和所有实参的求值,互相之间无定序(但在函数开始执行前有一个序列点)
(*pf[f1()]) (f2(), f3() + f4()); // 可以以任何顺序调用 f1、f2、f3、f4
尽管函数调用只对指向函数指针定义,它亦能作用于函数指代符,因为函数到指针隐式转换。
int f(void) { return 1; }
int (*pf)(void) = f;
int main(void)
{
f(); // 转换 f 为指针,然后调用
(&f)(); // 创建指向函数指针,然后调用
pf(); // 调用函数
(*pf)(); // 获得函数指代器,转换为指针,然后滴啊用、
(****f)(); // 转换为指针,获得函数,重复 4 次,然后调用
(****pf)(); // 亦 OK
}
必须用在作用域中的原型调用忽略不使用实参的函数,如 printf(这种函数的原型需要使用尾随省略号形参),以避免未定义行为。
当前准备函数形参的语义的标准遣词是有缺陷的,因为它指定在调用时形参从实参赋值,这错误地拒绝了 const 限定的形参或成员类型,并且不恰当地应用了在许多平台上对于函数形参无法实现的 volatile 语义。C11 后的缺陷报告 DR427 提议将该语义从赋值改为初始化,但被作为非缺陷关闭。
|
其 表达式 完全由一个标识符组成,而未声明该标识符的函数调用表达式,表现为通过将该标识符声明如下 extern int identifier(); // 返回 int 且无原型
故下列完整程序在 C89 中合法: main() {
int n = atoi("123"); // 隐式声明 atoi 为 int atoi()
}
|
(C99 前) |
逗号运算符
逗号运算符表达式的形式为
lhs , rhs
|
|||||||||
其中
| lhs | - | 任何表达式 |
| rhs | - | 除了另一逗号运算符外的任何表达式(换言之,逗号运算符的结合性为从左到右) |
首先,求值左运算数 lhs 并舍弃其结果值。
然后,发生序列点,从而 lhs 的所有副效应完成。
然后,求值右运算数 rhs,而逗号运算符作为非左值返回其结果。
注意
lhs 的类型可为 void(即可为对返回 void 的函数的调用,或能为 转型到 void 的表达式)。
逗号运算符在 C++ 中可为左值,但 C 中决不是。
逗号运算符可返回结构体(其他返回结构体的表达式仅有复合字面量、函数调用、赋值和条件运算符)。
下列语境中,逗号运算符不能出现于表达式的顶层,因为逗号有不同含义:
若必须在这种语境中使用逗号运算符,则必须加括号:
// int n = 2,3; // 错误:认为逗号开始下个声明器
// int a[2] = {1,2,3}; // 错误:初始化器多于元素
int n = (2,3), a[2] = {(1,2),3}; // OK
f(a, (t=3, t+2), c); // OK:存储 3 于 t,然后以三个参数调用 f
数组边界中亦禁止顶层逗号
// int a[2,3]; // 错误
int a[(2,3)]; // OK:大小为 3 的 VLA 数组(因为 (2, 3) 不是常量表达式,故为 VLA)
常量表达式中不允许逗号,不管它是否出现于顶层
// static int n = (1,2); // 错误:常量表达式不能调用逗号运算符
转型运算符
条件运算符
条件运算符表达式的形式为
条件 ? 表达式真 : 表达式假
|
|||||||||
其中
| 条件 | - | 标量类型的表达式 |
| 表达式真 | - | 当条件比较不等于零时将求值的表达式 |
| 表达式假 | - | 当条件比较等于零时将求值的表达式 |
仅允许下列表达式为 表达式真 和 表达式假
- 两个任何