编译器开发系列--Ocelot语言5.表达式的有效性检查

本篇将对“1=3”“&5”这样无法求值的不正确的表达式进行检查。

将检查如下这些问题。
●为无法赋值的表达式赋值（例：1 = 2 + 2）
●使用非法的函数名调用函数（例："string"("%d ", i)）
●操作数非法的数组引用（例：1[0]）
●操作数非法的成员引用（例：1.memb）
●操作数非法的指针间接引用（例：1->memb）
●对非指针的对象取值（例：*1）
●对非左值的表达式取地址

具体例子以及问题的检测方法如表10.1所示，其中包括了刚才列举的问题。

非指针类型取值操作的检查

    /*非指针类型取值操作的检查
     * 表示取值运算符（*）的DereferenceNode的处理。
     * 该方法检查取值运算符的操作数的类型是否为指针。
     */
    // #@@range/DereferenceNode{
    public Void visit(DereferenceNode node) {
    	/*
    	 * 首先，通过super.visit(node) 调用基类Visitor 的方法遍历操作数（node.expr()）
		（即检查操作数）。
    	 */
        super.visit(node);
        /*
         * 接着，调用操作数node.expr() 的isPointer 方法，检查操作数的类型是否是指针，
			即检查是否可以进行取值。如果无法取值，则调用undereferableError 方法输出编译错误。
         */
        if (! node.expr().isPointer()) {
            undereferableError(node.location());
        }
        /*
         * 最后，调用handleImplicitAddress 方法对数组类型和函数类型进行特别处理。该处
			理还和接下来AddressNode 的处理相关，
         */
        handleImplicitAddress(node);
        return null;
    }

获取非左值表达式地址的检查

    /*获取非左值表达式地址的检查
     * 检查操作数是否为左值。表示地址运算符的AddressNode 的处理
     */
    // #@@range/AddressNode{
    public Void visit(AddressNode node) {
        super.visit(node);
        /*
         * 首先对node.expr() 调用isLvalue 方法，检查&expr 中的expr 是否是可以进行取
			址操作的表达式。
			ExprNode#isLvalue 是检查该节点的表达式是否能够获取地址的方法。
         */
        if (! node.expr().isLvalue()) {
            semanticError(node.location(), "invalid expression for &");
        }
        /*
         * 剩余的语句用于确定AddressNode 的类型。通常node.expr().isLoadable() 会
			返回true，即执行else 部分的处理。&expr 的类型是指向expr 类型的指针，因此指向
			node.expr().type() 的指针类型可以作为节点整体的类型来使用。
         */
        Type base = node.expr().type();
        /*
         * 在将puts 的类型设置为指向函数的指针的同时，还必须将&puts 的类型也设置为指向函
			数的指针。
			node.expr() 的类型是数组或函数的情况下进行特别处理，使得&puts 的类型
			和puts 的类型相一致。
         */
        if (! node.expr().isLoadable()) {
            // node.expr.type is already pointer.
            node.setType(base);
        }
        else {
            node.setType(typeTable.pointerTo(base));
        }
        return null;
    }

隐式的指针生成

单个数组类型或函数类型的变量表示数组或函数的地址。例如，假设变量puts 的类型为函数类型（一般称为函数指针），那么puts 和&puts 得到的值是相同的。

    /*
     * handleImplicitAddress 方法将数组类型或函数类型转换为了指向
		数组或函数类型的指针，即隐式地生成指针类型。
     */
    private void handleImplicitAddress(LHSNode node) {
        if (! node.isLoadable()) {
            Type t = node.type();
            if (t.isArray()) {
                // int[4] ary; ary; should generate int*
                node.setType(typeTable.pointerTo(t.baseType()));
            }
            else {
                node.setType(typeTable.pointerTo(t));
            }
        }
    }

puts 是指向函数的指针，因此它的取值运算*puts 的结果是函数类型，但这样又会隐式地转换为指向函数的指针。*puts 还是指向函数的指针，因此仍然可以进行取值运算，仍然会转换为指向函数的指针。像这样可以无限重复下去。所以C 语言中“&puts”“puts”“*puts”“**puts”“***puts”的值都是相同的。