lambda表达式的解析（三） 类型转换表达式

接 上篇的常量表达式的转换，接下来要讲的是怎么产生操作运算表达式。

和C#通常意义上的3种操作符不同，我们的grammar把类型转换操作()从unary expression里拿出来独立成一个typecast_expression，也就是说要转换的操作符节点有4种。而且对于unary expression来说也有特别的地方，++,-- 这2个操作符不属于unray_operator下，grammar是把它们独立成pre_incr_decr_expression和post_incr_decr_expression 2块单独处理。还有就是在C#里as这个操作符是被定义成一元的，而我们的grammar则视它为二元操作符。

类型转换的操作很简单，这是grammar树： 

在这里是做了一个int到int?的强类型转换，所以可以看type_ref里有一个qmark_opt，这表明是个nullable类型。

转换入口：

                case "typecast_expression":
                    return ProcessConvertExpression(expNode);

具体转换代码：

        private Expression ProcessConvertExpression(ParseTreeNode expNode)
        {
            var type = expNode.GetChild("typecast_parenthesized_expression").GetClrType();
            var exp = ProcessExpression(expNode.GetChild("primary_expression"));
            return Expression.Convert(exp, type);
        }

可以看到这里为了取到要被强类型转换的对象，采用了递归调用ProcssExpression处理方式，而子节点里是一个literal，所以子节点会返回一个ConstantExpression。而GetClrType是treenode的扩展方法，它的代码在第一章里有提到。

        public static Type GetClrType(this ParseTreeNode node)
        {
            if (node.HasChild("type_ref"))
            {
                var isNullable = node.GetDescendant("qmark_opt").FindTokenAndGetText() == "?";
                var typeName = node.FindTokenAndGetText();
                var type = ExpressionParser.GetType(typeName);
                if (isNullable)
                    return typeof(Nullable<>).MakeGenericType(type);
                return type;
            }
            return null;
        }

就是根据type_ref子节点返回正确的clr类型。其中ExpressionParser.GetType方法如下：

        internal static Type GetType(string typeName)
        {
            var type = Type.GetType(typeName);
            if (type == null)
                knownTypes.TryGetValue(typeName, out type);
            return type;
        }

就是通过typename得到Type，这里要注意的是int、char、string这些内建类型的名字并不是int、char、string，所以会有个knownTypes表来帮助返回正确的类型：

        private static ConcurrentDictionary<string, Type> knownTypes = new ConcurrentDictionary<string, Type>();

            #region BuiltinTypes
            knownTypes["bool"] = typeof(bool);
            knownTypes["sbyte"] = typeof(sbyte);
            knownTypes["byte"] = typeof(byte);
            knownTypes["short"] = typeof(short);
            knownTypes["ushort"] = typeof(ushort);
            knownTypes["int"] = typeof(int);
            knownTypes["uint"] = typeof(uint);
            knownTypes["long"] = typeof(long);
            knownTypes["ulong"] = typeof(ulong);
            knownTypes["float"] = typeof(float);
            knownTypes["double"] = typeof(double);
            knownTypes["char"] = typeof(char);
            knownTypes["string"] = typeof(string);
            knownTypes["decimal"] = typeof(decimal);
            knownTypes["object"] = typeof(object);
            knownTypes["void"] = typeof(void);
            #endregion

正确的类型和正确的对象，创建个ConvertExpression也就非常简单了