如何在数据结构中实现“临时占位符”？

如何解决如何在数据结构中实现“临时占位符”？

我正在尝试将一个非常复杂的问题归结为它的本质，以便在如何建模或构造它方面获得一些帮助。在这里。

假设我们按以下顺序编译函数：

function test() {
  sum(mul(2,3),mul(3,4))
}

function sum(a,b) {
  return a + b
}

function mul(a,b) {
  return a * b
}

我们最终得到了类似这样的AST：

{
  type: 'Program',blocks: [
    {
      type: 'Function',name: 'test',args: [],body: [
        {
          type: 'Call',function: 'sum',args: [
            {
              type: 'Call',function: 'mul',...
            },...
          ]
        }
      ]
    },{
      type: 'Function',name: 'mul',args: ...,body: ...
    },name: 'sum',body: ...
    }
  ]
}

现在，我们开始使用直接指向函数等的指针将此AST编译为更易于操作的对象。最终结果可能如下所示：

{
  type: 'Program',pointer: 2,pointer: 1,body: ...
    }
  ]
}

主要区别在于“最终”版本具有指向定义函数的索引的 pointer 。 这是一个非常粗糙的草图。现实情况是可能需要多次通过才能解决某些上下文敏感问题，因此在从AST过渡到AST的过程中，最终会遇到多个部分/中间数据结构最终的编译对象。

您如何创建类型以应对这种情况？理想的是存在“初始”和“最终”类型。现实情况是，在我们的第一遍中，我们为函数调用提供了一个“占位符类型”，直到完成第一遍后，我们才能解决该问题。因此，在第一遍中，我们有：

function: String

在第二遍，我们将其更改为：

pointer: Int

您如何调和？您如何设计算法，以允许这些“占位符”类型用于最终数据结构？

我尝试在网上搜索这些主题，但没有发现任何东西：

• 部分类型
• 中间类型
• 占位符类型
• 虚拟类型
• 临时类型
• 过渡类型
• 如何在数据结构中使用临时占位符
• 等

解决方法

创建一个哈希图。

在第一遍中，将名称/索引对写入哈希表，而无需修改AST本身。对于将导致此哈希图（以JSON格式表示）的示例：

{
    "mul": 1,"sum": 2
}

第二遍，您可以使用哈希图将{hashmap}的键替换为pointer属性，该属性将获得相应的值。

,

我建议不要尝试了解如何存储中间数据类型，而要了解如何存储“引用”或“漏洞”。去看看一种典型的序列化/反序列化算法是如何工作的（尤其是可以处理重复的子结构或循环引用的算法）：http://www.dietmar-kuehl.de/mirror/c++-faq/serialization.html

它可能会给您有用的想法。