条件运算符

条件运算符 ?: 是 C 语言中唯一的三元运算符，根据条件选择两个表达式之一。它让简单的条件赋值可以写在一行内，但嵌套过多时会严重降低可读性。理解它的求值规则和与 if-else 的区别，有助于在简洁和清晰之间做出正确选择。

基本语法

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

如果条件为真（非零），整个表达式的值为表达式1的值；否则为表达式2的值。

int a = 10, b = 20;
int max = (a > b) ? a : b;      /* a > b 为假，max = b = 20 */

int sign = (x > 0) ? 1 : (x < 0) ? -1 : 0;    /* 嵌套：判断正负零 */

与 if-else 的对比

条件运算符和 if-else 可以互相转换：

/* 条件运算符 */
int max = (a > b) ? a : b;

/* 等效的 if-else */
int max;
if (a > b)
    max = a;
else
    max = b;

条件运算符是表达式，可以嵌入到其他表达式中；if-else 是语句，不能嵌入表达式。

/* 条件运算符嵌入 printf */
printf("The %s value is %d\n", (a > b) ? "larger" : "smaller", (a > b) ? a : b);

/* if-else 不能这样做 */
printf("The %s value is %d\n", 
    if (a > b) "larger"; else "smaller",    /* 错误！if 不是表达式 */
    ...
);

类型转换规则

条件运算符的两个分支可能类型不同，编译器会进行类型转换：

int a = 5;
double b = 3.14;

/* 两个分支类型不同：int 和 double */
double result = (a > 0) ? a : b;    /* a 被提升为 double：5.0 */

/* 指针类型 */
int x;
double y;
void *p = (a > 0) ? &x : &y;        /* void* 可以指向任何类型 */

如果两个分支是指向不同类型的指针（且都不是 void*），结果是未定义行为：

int x;
double y;
/* int *p = (a > 0) ? &x : &y; */   /* 错误：类型不兼容 */

实际应用

简单的条件赋值：

int abs_val = (x < 0) ? -x : x;           /* 绝对值 */
int clamped = (x > max) ? max : (x < min) ? min : x;   /* 限制范围 */

字符串选择：

const char *status = (error_code == 0) ? "OK" : "Error";
printf("Status: %s\n", status);

初始化常量表达式：

#define DEBUG 1
const int buffer_size = DEBUG ? 1024 : 256;     /* 编译期确定 */

当条件是两个整数常量表达式时，条件运算符的结果也是常量表达式，可以用于数组大小等需要常量的地方。

嵌套条件运算符

嵌套条件运算符可以处理多分支，但超过两层会很难读：

/* 两层：尚可接受 */
const char *grade = (score >= 90) ? "A" :
                    (score >= 80) ? "B" :
                    (score >= 70) ? "C" :
                    (score >= 60) ? "D" : "F";

/* 等效的 if-else（更清晰） */
const char *grade;
if (score >= 90)
    grade = "A";
else if (score >= 80)
    grade = "B";
else if (score >= 70)
    grade = "C";
else if (score >= 60)
    grade = "D";
else
    grade = "F";

对于多分支， if-else if 或 switch 通常更易读。条件运算符适合简单的二选一。

常见错误

优先级问题：

int result = a > b ? a : b + 1;     /* 等价于 (a > b) ? a : (b + 1) */
                                    /* 不是 ((a > b) ? a : b) + 1 */

/* 如果需要后者 */
int result = (a > b ? a : b) + 1;   /* 加括号明确 */

条件运算符的优先级很低，低于算术和关系运算符，但高于赋值运算符。

副作用问题：

int i = 0;
int result = (i++ > 0) ? i++ : i++;   /* 未指定行为！i 被修改多次 */

/* 安全做法 */
int result;
if (i > 0)
    result = i + 1;
else
    result = i + 1;
i++;                                    /* 单独修改 */

试图用于语句：

(a > b) ? printf("a is larger\n") : printf("b is larger\n");   /* 合法但怪异 */

/* 更清晰 */
if (a > b)
    printf("a is larger\n");
else
    printf("b is larger\n");

虽然条件运算符的两个分支可以是任何表达式（包括函数调用），但如果涉及副作用或复杂操作，用 if-else 更清晰。

最佳实践

简单二选一且结果用于赋值或表达式时，使用 ?:
涉及副作用、复杂逻辑或多分支时，使用 if-else
嵌套不超过两层
始终用括号明确条件部分