[转载]LCC编译器的源程序分析(38)return语句

在实现中，程序其实就是处理数据，然后输出处理过的结果，在C语句里最直接的方式就是函数的返回值。比如求两个数据的最大值，就可以通过函数返回值来返回最大值。而函数的返回值是通过函数中的return语句获得的。return语句后面是一个表达式，需要调用表达式函数来处理。
下面来分析LCC里的代码：
#001 case RETURN:
#002 {
#003 Type rty = freturn(cfunc->type);
#004 t = gettok();
#005 definept(NULL);
第3行取得函数返回值的类型。
第4行获取下一个记号。
第5行定义了执行点。

#006 if (t != ';')
#007 if (rty == voidtype)
#008 {
#009 error("extraneous return value/n");
#010 expr(0);
#011 retcode(NULL);
#012 }
#013 else
#014 retcode(expr(0));
#015 else
#016 {
#017 if (rty != voidtype)
#018 {
#019 warning("missing return value/n");
#020 retcode(cnsttree(inttype, 0L));
#021 }
#022 else
#023 retcode(NULL);
#024 }
#025 branch(cfunc->u.f.label);
#026 }
第6行是判断是否返回空值，如果返回空值就进入第16到到23行处理。
第7行判断函数返回值类型是否为空，如果函数返回值是空，那么return语句的返回值一定要为空，否则就是出错。第9行就是提示出错，第10行是处理表达式，第11行返回空值。
第14行是处理返回值的类型不为空的处理，它是调用函数expr来处理return语句后面的表达式。
第17行是处理空类型的返回值，如果不为空值就在第19行里给出警告。
第20行返回相应的类型的0值。
第23行是返回空类型的处理。
第25行跳转到函数结束的标号运行。

#027 expect(';');
#028 break;
#029
第27行是处理是否分号结束。

返回语句主要进行表达式处理和类型判断，以及返回值的类型转换。