不适合任何其他主要类别的运算符的汇集。

函数调用

函数调用表达式拥有形式

其中

函数调用表达式的行为，取决于正在调用的函数的原型是否在调用点处于作用域中。

调用有原型函数

void f(char* p, int x) {}
int main(void)
{
    f("abc", 3.14); // 数组到指针和 float 到 int 转换
}

调用无原型函数

void f(); // 无原型
int main(void)
{
    f(1, 1.0f); // UB ，除非定义 f 为接收一个 int 和一个 double
}
void f(int a, double c) {}

调用无原型函数的行为未定义，若

• 实参数量不匹配形参数量
• 提升后的实参类型与提升后形参类型不兼容，除了

• 认为相同整数类型的有符号和无符号版本兼容，若参数值能以两个类型表示。
• 认为指向 void 指针和指向（可有 cvr 限定的）字符类型指针兼容

注意

指代要调用的函数的 expression 和所有参数的求值相对于彼此无序（但在函数开始执行前有一个序列点）

(*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 （这种函数的原型需要使用尾随省略号形参），以避免未定义行为。

C11 后缺陷报告 DR 427 将在调用有原型的函数时的函数形参准备，从赋值自其对应实参，更改为从其对应实参初始化，以允许 const 限定类型的形参（事实上已允许）。容许的隐式转换仍为如同赋值的转换，因为初始化亦使用这些。

extern int identifier(); // 返回 int 且无原型

main() {
    int n = atoi("123"); // 隐式声明 atoi 为 int atoi()
}

逗号运算符

逗号运算符表达式拥有形式

其中

首先，求值左运算数 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); // 错误：常量表达式不能调用逗号运算符

转型运算符

见转型运算符

条件运算符

条件运算符表达式拥有形式

其中

仅允许下列表达式为 expression-true 和 expression-false

• 二个任何算术类型的表达式
• 二个相同结构体或联合体类型的表达式
• 二个 void 类型表达式
• 二个指针类型表达式，指向兼容的类型，忽略 cvr 限定符
• 一个表达式是指针而另一个是空指针常量（例如 NULL ）
• 一个表达式是指向对象指针而另一个是指向 void （可有限定）指针

#define ICE(x) (sizeof(*(1 ? ((void*)((x) * 0l)) : (int*)1)))
 
// 若 x 是整数常量表达式，则宏展开成
 
 sizeof( 1 ? NULL : (int *) 1)  // (void *)((x)*0l)) -> NULL
 
// 按照第 (4) 点这进一步转换成
 
 sizeof(int)
 
// 若 x 不是整数常量表达式，则宏按照第 (6) 点展开成
 
 (sizeof(*(void *)(x))           // 因不完整类型而错误

注意

条件运算符决不是左值表达式，尽管它可以返回结构体/联合体类型的对象。其他可以返回结构体的表达式仅有赋值、逗号、函数调用和复合字面量。

注意 C++ 中它可以为左值表达式。

此运算符和赋值的相对优先级上的细节见运算符优先级。

条件运算符拥有从右到左结合性，这允许链式写法

struct vehicle v = arg == 'B' ? bus      :
                   arg == 'A' ? airplane :
                   arg == 'T' ? train    :
                   arg == 'C' ? car      :
                   arg == 'H' ? horse    :
                                feet;

sizeof 运算符

见 sizeof 运算符

_Alignof 运算符

见 _Alignof 运算符

引用