javascript - Crockfords 自上而下运算符优先级

Question

出于兴趣，我想学习如何为一种简单的语言编写解析器，并最终为我自己的代码打高尔夫球语言编写解释器，一旦我了解了这些东西的一般工作原理。

所以我开始阅读 Douglas Crockfords 的文章 Top Down Operator Precedence .

注意:如果您想更深入地了解下面代码片段的上下文，您可能应该阅读这篇文章

我很难理解 var语句和赋值运算符 =应该一起工作。

华盛顿特区定义一个赋值运算符，如

var assignment = function (id) {
    return infixr(id, 10, function (left) {
        if (left.id !== "." && left.id !== "[" &&
                left.arity !== "name") {
            left.error("Bad lvalue.");
        }
        this.first = left;
        this.second = expression(9);
        this.assignment = true;
        this.arity = "binary";
        return this;
    });
};
assignment("=");  

注意:[[value]] 指的是一个 token ，简化为它的值

现在如果表达式函数达到例如[[t]],[[=]],[[2]] , [[=]].led 的结果是这样的。

{
    "arity": "binary",
    "value": "=",
    "assignment": true, //<-
    "first": {
        "arity": "name",
        "value": "t"
    },
    "second": {
        "arity": "literal",
        "value": "2"
    }
}

华盛顿特区使 assignment功能是因为

we want it to do two extra bits of business: examine the left operand to make sure that it is a proper lvalue, and set an assignment member so that we can later quickly identify assignment statements.

在他介绍 var语句，定义如下。

The var statement defines one or more variables in the current block. Each name can optionally be followed by = and an initializing expression.

stmt("var", function () {
    var a = [], n, t;
    while (true) {
        n = token;
        if (n.arity !== "name") {
            n.error("Expected a new variable name.");
        }
        scope.define(n);
        advance();
        if (token.id === "=") {
            t = token;
            advance("=");
            t.first = n;
            t.second = expression(0);
            t.arity = "binary";
            a.push(t);
        }
        if (token.id !== ",") {
            break;
        }
        advance(",");
    }
    advance(";");
    return a.length === 0 ? null : a.length === 1 ? a[0] : a;
});

现在，如果解析器遇到一组标记，如 [[var]],[[t]],[[=]],[[1]]生成的树看起来像这样。

{
    "arity": "binary",
    "value": "=",
    "first": {
        "arity": "name",
        "value": "t"
    },
    "second": {
        "arity": "literal",
        "value": "1"
    }
}

我的问题的关键部分是 if (token.id === "=") {...}部分。

我不明白为什么我们打电话

    t = token;
    advance("=");
    t.first = n;
    t.second = expression(0);
    t.arity = "binary";
    a.push(t);

而不是

    t = token;
    advance("=");
    t.led (n);
    a.push(t);  

在...部分。

这会调用我们的 [[=]]运营商led函数(赋值函数)，它做

make sure that it is a proper lvalue, and set an assignment member so that we can later quickly identify assignment statements. e.g

{
    "arity": "binary",
    "value": "=",
    "assignment": true,
    "first": {
        "arity": "name",
        "value": "t"
    },
    "second": {
        "arity": "literal",
        "value": "1"
    }
}

因为没有带有 lbp 的运算符在 0 到 10 之间，调用 expression(0) vs. expression (9)没有区别。 ( !(0<0) && !(9<0) && 0<10 && 9<10) )

还有 token.id === "="条件阻止分配给对象成员为 token.id要么是 '['或 '.'和 t.led不会被调用。

简而言之，我的问题是:

为什么我们不在变量声明之后可选地调用可用的赋值运算符 led功能。而是手动设置 first和 second声明的成员而不是 assignment成员(member)？

这里有两个 fiddle 解析一个简单的字符串。使用 original代码和一个使用 assignment运营商led .

Answer 1

在解析语言时，有两件事很重要 - 语义和句法。

在语义上，var x=5; 和 var x;x=5 即使不完全相同也看起来非常接近(因为在这两种情况下首先声明了一个变量，然后将一个值分配给该声明的变量。这就是您所观察到的并且在大多数情况下是正确的。

在句法上然而，两者不同(这一点很明显)。

在自然语言中，类似的是:

• 男孩有一个苹果。
• 有一个苹果，男孩拿到了。

现在要简洁!让我们看看这两个例子。

虽然这两个(几乎)意思相同，但它们显然不是同一句话。回到 JavaScript!

第一个:var x=5 是read the following way :

var                      x              =                  5
-----------------------VariableStatement--------------------
var -------------------        VariableDeclarationList 
var -------------------        VariableDeclaration
var            Identifier -------   Initialiser(opt)
var ------------------- x              = AssignmentExpression
var ------------------- x ------------ = LogicalORExpression
var ------------------- x ------------ = LogicalANDExpression
var ------------------- x ------------ = BitwiseORExpression
var ------------------- x ------------ = BitwiseXORExpression
var ------------------- x ------------ = BitwiseANDExpression 
var ------------------- x ------------ = EqualityExpression
var ------------------- x ------------ = ShiftExpression
var ------------------- x ------------ = AdditiveExpression
var ------------------- x ------------ = MultiplicativeExpression
var ------------------- x ------------ = UnaryExpression
var ------------------- x ------------ = PostfixExpression 
var ------------------- x ------------ = NewExpression
var ------------------- x ------------ = MemberExpression
var ------------------- x ------------ = PrimaryExpression
var ------------------- x ------------ = Literal
var ------------------- x ------------ = NumericLiteral
var ------------------- x ------------ = DecimalLiteral
var ------------------- x ------------ = DecimalDigit 
var ------------------- x ------------ = 5

呸!所有这些都必须在语法上发生以解析 var x = 5 ，当然，其中很多是处理表达式 - 但它就是这样，让我们​​检查另一个版本。

这分为两个语句。 变量x； x = 5 第一个是:

var                      x 
--------VariableStatement---
var ---- VariableDeclarationList 
var ---- VariableDeclaration
var                 Idenfifier (optional initializer not present)
var                      x

第二部分是x=5，这是一个赋值语句。我可以继续使用同样的疯狂表情 - 但它几乎是一样的。

总而言之，虽然两者在语义上产生相同的结果，但在句法上正如官方语言语法所指定的那样 - 它们是不同的。在这种情况下，结果确实是一样的。