types - 当他们谈论 "uniqued types"和 "types in LLVM are uniqued"时，他们在谈论什么？

Question

这一定很愚蠢，但当他们说“LLVM 中的类型是唯一的”时，我不明白其含义(参见 this tutorial，第 3.4 节)。你能解释一下这个所谓的“唯一类型”是什么吗(一旦“唯一类型”清楚了，“LLVM 类型是唯一的”应该很容易理解。)

Answer 1

表示内容相同的两个类型实际上是同一个类型。这就是为什么当您想要一个“double(double, double)”类型时，您不创建一个新类型，而是获取现有的“double(double, double) )"类型 - 如果没有，它将为您创建，如果已经存在，它将被返回。

这是 LLVM 中的常见情况，但明显的异常(exception)是 identified structural types in LLVM are uniqued by name and not structure . “标识的结构类型”是指具有关联名称的结构类型。

一般来说，这与nominal types的概念有关与 structural types .