如何避免符号表查找中的歧义？

Question

我有一个相当基本的符号表 map 一个符号的标识符，存储 VariableSymbols、MethodSymbols、BuiltInTypeSymbols 等。这对我的简单解释器来说工作得很好。 但是现在我想实现更高级的符号类型，例如存储 BuiltInTypes 数组的元组（比如 TupleSymbol）。

我可以轻松地实现一个 TupleSymbol 并将其存储在表中，但我已经意识到继续使用我当前的映射到符号方法来存储类型最终会导致在符号表查找时出现很多不明确的符号类型。 例如，如果我想将一个元组分配给一个名为“test”的元组变量，在分配操作中，我必须检查存储在表中的标识符“test”的符号是 TupleSymbol 还是 BuiltInTypeSymbol，并且我必须为我要分配给它的值做同样的事情。

有没有更好的方法来实现符号表？ 例如，最好在符号表 scope 中有多个区域分别存储每种类型的符号，即 std::map<std::string, MethodSymbol> 用于方法， std::map<std::string, VarSymbol> 用于变量？

编辑

这里有一些代码可以帮助可视化我当前的设计。 请注意符号表 map symbolTable如何使用基本符号 class。

class BuiltInTypeSymbol;
class Symbol {
    public:
       BuiltInTypeSymbol* type;
       std::string name;
       Symbol(std::string inname, BuiltInTypeSymbol* intype) : name(inname), type(intype){}
};

class BuiltInTypeSymbol : public Symbol {
    public:
       BuiltInTypeSymbol(std::string inname) : Symbol(inname, this) {}
}

class VarSymbol : public Symbol {
    public:
       VarSymbol(std::string inname, BuiltInTypeSymbol* typesymbol) : Symbol(inname, typesymbol) {}
}

BuiltInTypeSymbol* intType = new BuiltInTypeSymbol("int");
BuiltInTypeSymbol* floatType = new BuiltInTypeSymbol("float");

std::map<std::string, Symbol*> symbolTable = {
     {intType->name, intType}, // registering int type
     {floatType->name, floatType}, // registering float type
     {"a", new VarSymbol("a", intType)} // registering test variable "a" of type int
};

Answer 1

如果您允许不同类型的重复符号名称（大多数语言允许），例如变量和 function 的名称相同，则您需要map对每种类型使用不同的 map。

此外，您可能需要迭代某些符号类型，例如内置符号 - 为它们创建 map 也是一个好主意。