条件运算符(conditional operator)有时候也称为三元运算符(ternary operator,或者trinary operator),因为它是唯一需要 3 个操作数的运算符:
条件运算操作会首先计算条件,然后根据条件的计算结果,再决定要计算两个表达式中的哪一个。
在计算完条件之后,有一个序列点。如果结果不等于 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* |