LCC编译器的源程序分析(24)条件表达式

C语言里条件表达式语句如下：
表达式1 ？表达式2 ：表达式3
条件运算符要求有三个操作对象，称为三元运算符，它是C语言中唯一的一个三目运算符。比如计算两个值的最大值，就可以写成下面这样：
int nMax = a > b ? a:b;
下面就来看LCC是怎么样处理条件表达式的，它的代码如下：

#001 static Tree expr2(void)
#002 {
#003 Tree p = expr3(4);
#004
第3行里是先处理表达式1（a > b），它是调用expr3函数来实现的，然后返回表达式树p。

#005 if (t == '?')
#006 {
#007 Tree l, r;
#008 Coordinate pts[2];
#009 if (Aflag > 1 && isfunc(p->type))
#010 warning("%s used in a conditional expression/n",
#011 funcname(p));
#012
#013 p = pointer(p);
#014 t = gettok();
#015 pts[0] = src;
#016 l = pointer(expr(':'));
#017 pts[1] = src;
#018 r = pointer(expr2());
#019
#020 if (generic(p->op) != CNST && events.points)
#021 {
#022 apply(events.points, &pts[0], &l);
#023 apply(events.points, &pts[1], &r);
#024 }
#025
#026 p = condtree(p, l, r);
#027 }
#028
#029 return p;
#030 }
第5行是判断这个表达式是否条件表达式。
第16行是递归调用expr函数来处理表达式2（a:），然后返回左子树l。
第18行是递归调用expr2处理表达式3（b），然后返回右子树r。
第26行是构造条件树节点。
通过上面短短30行程序就可以处理条件表达式了。