hosteons中文网

条件运算符（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 值是多少，下表中第一列所列举的各表达式具有其第二列所描述的类型：