振奋精神，转发声明问题

Question

有人可以给我一些关于如何处理需要查看进一步声明以便能够在当前时刻做出正确语义操作的情况的建议/想法吗？例如，当某人编写某种不支持“前向声明”的编程语言的解释器/编译器时，这是众所周知的情况。让我们举个例子：

foo(123);//<-- our parser targets here. we estimate we have a function 
         //    invocation, but we have no idea about foo declaration/prototype,
         //     so we can't be sure that "foo" takes one integer argument.   


void foo(int i){
//...
}

很明显我们必须至少有两次通过。首先，我们解析所有函数声明并获取所有需要的信息，例如：函数接受的参数数量、它们的类型，然后我们就能够处理函数调用并解决上述困难。如果我们这样做，我们必须使用一些 AST 遍历机制/访问者来完成所有这些传递。在这种情况下，我们必须处理 AST 遍历/应用访问者，并且我们必须对直接集成在我们的解析器中的所有美丽的 Phoenix 结构说“再见”。

你会如何处理这个问题？

Answer 1

[第二个答案，关于语义]
这个特定的例子很简单。您可以做的是记录对尚未声明的函数进行的函数调用以及实际的参数类型。当您稍后遇到函数声明时，您会检查是否存在与此新函数（更好）匹配的先前函数调用。显然，您只会在解析结束时检测到错误，因为最后一行可能会引入丢失的函数。但在那一行之后，任何根本不匹配的函数调用都是错误的。

现在的问题是这适用于简单的语义。如果您查看更复杂的语言 - 例如使用类似 C++ 的函数模板 - 就不再可能在简单的表中进行此类查找。您需要在结构上与您的语言结构相匹配的专用选项卡。 AST 并不是最好的结构，更不用说解析期间的部分 AST 了。

Answer 2

如果你想做两遍，而不是在第一遍结束时进行语义检查，你可以让你的动作调用的函数知道它们在哪一遍。所以，如果你有一些动作，

[functionCall(name, args)]
[functionDef(name, args, body)]

它们将被定义为这样的（不是正确的精神语法，但你明白了）

functionCall(string name, vector<string> args)
{
  if (!first_pass) {
    // check args for validity
    // whatever else you need to do
  }
} 

functionDef(string name, vector<string> args, ... body)
{
  if (first_pass)
    // Add function decleration to symbol table
  else
    // define function
}

Answer 3

我认为你正在做出毫无根据的假设。例如，“很明显我们必须至少有两次通过”。不，不是。如果语法使得 foo(123) 只能解析为 function-name "(" expression ")"，那么一次就足够了。

因此，我建议设计语法以进行明确的解析。避免无法单独解析的构造，例如避免对其他地方的声明的依赖。