C语言中条件运算符（?:）如何使用？

本文共计1008个文字，预计阅读时间需要5分钟。

条件运算符（Conditional Operator）有时也称为三元运算符（Ternary Operator），因为它只需要3个操作数：条件、表达式1和表达式2。其格式为：条件 ? 表达式1 : 表达式2。条件运算符会先评估条件，如果条件为真，则返回表达式1的值；如果条件为假，则返回表达式2的值。

条件运算符（conditional operator）有时候也称为三元运算符（ternary operator，或者trinary operator），因为它是唯一需要 3 个操作数的运算符：

条件 ? 表达式1 : 表达式2

条件运算操作会首先计算条件，然后根据条件的计算结果，再决定要计算两个表达式中的哪一个。

在计算完条件之后，有一个序列点。如果结果不等于 0（换句话说，如果条件计算结果为 true），则只有第二个操作数（也就是表达式 1）会被计算，并且表达式 1 的值就是整个表达式的结果。

另一方面，如果结果为 0（如果条件计算结果为 false），那么只有第三个操作数（也就是表达式 2）会被计算，并且表达式 2 的值就是整个表达式的结果。以这种方式，条件运算符代表了在程序流中的条件式跳转，因此，有时候可以与 if-else 语句相互替代。

下面是常见的例子，找出两个数中的最大者：

inline int iMax(int a, int b) { return a >= b ? a : b; }
函数 iMax（）可以用 if-else 语句改写：

inline int iMax(int a, int b) { if ( a >= b ) return a; else return b; }
条件运算符具有相当低的优先级，只有赋值和逗号运算符的优先级比它低。因此，下面的语句不需要括号：

distance = x < y ? y － x : x － y;
条件运算符的第一个操作数是条件，必须是标量类型，也就是算术类型或指针类型。第二个和第三个操作数分别是表达式 1 和表达式 2，必须满足下面条件之一：

(1)两个可选表达式都具有算术类型，在这种情况下，整个运算的最终结果类型，是后面两个操作数进行寻常算术转换的类型。

(2)两个可选操作数都有相同的结构或联合类型，或者 void 类型。整个运算的最终结果类型也属于与这两个操作数一样的类型。

(3)两个可选操作数都是指针，并且符合下面的一个条件：
两个指针属于相同类型。整个运算的结果也属于相同的类型。
其中一个操作数是空指针常量。整个运算的结果属于另一个操作数类型。
其中一个操作数是对象指针，另一个是指向 void 指针。整个运算的结果属于 void* 类型。

两个指针可以指向具有不同限定符的类型。在这种情况下，整个运算的结果是一个指针，其所指的对象类型同时具备两个可选操作数的类型限定符。例如，假设下面的指针以已定义：

const int *cintPtr; // 声明指针 volatile int *vintPtr; void *voidPtr;
不管变量 flag 值是多少，下表中第一列所列举的各表达式具有其第二列所描述的类型：
表达式 类型 flag ? cintPtr : vintPtr volatile const int* flag ? cintPtr : NULL const int* flag ? cintPtr : voidPtr const void*