当他们谈论 "uniqued types" 和 "types in LLVM are uniqued" 时，他们在谈论什么？
What are they talking about when they talk about "uniqued types" and "types in LLVM are uniqued"?
这一定很蠢，但我不明白他们说"types in LLVM are uniqued"的意思（见this tutorial，第3.4节）。你能解释一下这个所谓的 "uniqued type" 是什么吗（一旦 "uniqued type" 清楚了，"LLVM types are uniqued" 应该很容易理解。）
表示内容相同的两个类型实际上是同一个类型。这就是为什么当您想要 "double(double, double)" 类型时不 创建 新类型，而是 获取现有的 "double(double, double)" 类型 - 如果有 none 它将为您创建，如果已经有一个它将返回。
这是 LLVM 中的常见情况，但值得注意的是 identified structural types in LLVM are uniqued by name and not structure。 "Identified structural type" 表示具有关联名称的结构类型。
总的来说，这跟nominal types vs. structural types的概念有关。
这一定很蠢，但我不明白他们说"types in LLVM are uniqued"的意思（见this tutorial，第3.4节）。你能解释一下这个所谓的 "uniqued type" 是什么吗（一旦 "uniqued type" 清楚了，"LLVM types are uniqued" 应该很容易理解。）
表示内容相同的两个类型实际上是同一个类型。这就是为什么当您想要 "double(double, double)" 类型时不 创建 新类型，而是 获取现有的 "double(double, double)" 类型 - 如果有 none 它将为您创建，如果已经有一个它将返回。
这是 LLVM 中的常见情况，但值得注意的是 identified structural types in LLVM are uniqued by name and not structure。 "Identified structural type" 表示具有关联名称的结构类型。
总的来说，这跟nominal types vs. structural types的概念有关。