Java 是否有模棱两可的语法，需要有关标识符的更多信息？

Question

注意：这个问题不是关于“Java 没有指针”

在 C 语言中，代码identifier1 * identifier2 有两种可能的含义：

1. 如果 identifier1 是一个类型，那么这可能是一个指针声明。
2. 如果 identifier1 是一个变量，那么这可能是一个乘法语句。

问题是我在构建语法树时无法选择正确的产品。我检查了 Clang 的代码，似乎 Clang 必须将类型检查（通过使用符号表）放到解析阶段（如果我错了，请纠正我）。

然后我检查了javac(OpenJDK)的代码，似乎在解析阶段，没有涉及语义分析。解析器几乎可以使用令牌构建 AST。

所以我很好奇 Java 是否有同样的模棱两可的语法问题？如果解析器不知道标识符的类型，则无法选择正确的产生式的问题？

或者更笼统地说，Java 是否存在语法模棱两可的问题，以至于解析器无法在没有令牌流以外的其他信息的情况下选择产生式？

Answer 1

我不认为 Java 有这个问题，因为 Java 是强类型的。 此外，Java 不支持指针，因此不会出现上述问题。 我希望这能回答你的问题。

Answer 2

对于语言而言，标记化始终是上下文相关的。然而，Java 没有这么敏感的运算符。但是，您可以以这样的方式链接标记，它会产生歧义，但不仅仅是作为更大句法语句的一部分：

A < B 可以是public class A < B > { ... } 或if (A < B) { ... } 的一部分。 第一个是泛型​​类定义，第二个是比较。

这只是我的第一个例子，但我想还有更多。 但是，运算符通常定义非常狭窄，并且不能（如在 C/C++ 类语言中）被重载。此外，除了在 C/C++ 中，只有一个访问运算符（点：.），但有一个例外（从 Java 8 开始，双冒号 ::）。 在 C++ 中有一堆，所以不那么混乱。

关于 Java 是否总是在语法上可判定的具体问题： 是的。一个良好实现的编译器总是可以根据令牌流决定存在什么令牌。

Answer 3

您的问题不容易回答；这取决于您拥有的生产规则。你说：

there's two production:
<pointer> ::= * {<type-qualifier>}* {<pointer>}?
or
<multiplicative-expression> ::= <multiplicative-expression> * <cast-expression>

但这不是唯一可能的解析器！

看的时候带C

foo * bar;

它可以是一个名为bar 的指针，用于键入foo，或者foo 与bar 的乘积可以解析为令牌流：

identifier_or_type ASTERISK identifier_or_type SEMICOLON

其余的取决于解析器的“业务逻辑”。所以这里在 parser 级别完全没有歧义，规则背后的逻辑使这两种情况有所不同。

Answer 4

像foo.bar.bla.i 这样的表达式不能单独使用语法以有意义的方式进行解析。 foo、bar 和 bla 中的每一个都可以是包名的一部分、静态变量（此变量不适用于 foo）或内部类的名称。

例子：

public class Main {
    public static void main(String[] args) {
        System.out.println(foo.bar.bla.i);
    }
}

---

package foo;
public class bar {

    public static class bla {
        public static int i = 42;
    }

//  public static NotBla bla = new NotBla();
    public static class NotBla {
        public static int i = 21;
    }
}

当静态变量bla 被注释掉时，这将打印21 或42。