当他们谈论“单一类型”和“LLVM中的类型是唯一的”时，他们在谈论什么？

Question

这一定是愚蠢的，但是当他们说LLVM中的类型是单一的时，我不明白其含义＆＃34; （见this tutorial，第3.4节）。你能不能解释一下这个所谓的＃34; unqued type＆＃34; （＆＃34; LLVM类型是唯一的＆＃34;应该很容易遵循一次＆＃34;单一类型＆＃34;很清楚。）

Answer 1

这意味着具有相同内容的两种类型实际上是相同的类型。这就是为什么当你想要一个＆＃34; double（double，double）＆＃34;时，你不能创建一个新类型。输入获取现有的＆＃34; double（double，double）＆＃34;类型 - 如果没有，它将为您创建，如果已经有一个，它将被返回。

这是LLVM中的常见情况，identified structural types in LLVM are uniqued by name and not structure是明显的例外。 ＆＃34;确定结构类型＆＃34;表示具有关联名称的结构类型。

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