Types 他们在谈论什么;“唯一类型”;及;LLVM中的类型是唯一的;?

Types 他们在谈论什么;“唯一类型”;及;LLVM中的类型是唯一的;?,types,llvm,Types,Llvm,这一定很愚蠢,但我不明白他们说“LLVM中的类型是唯一的”(参见第3.4节)的意思。请您解释一下这种所谓的“uniqued类型”是什么(“LLVM类型是uniqued”应该很容易理解,一旦“uniqued类型”清楚了。)这意味着具有相同内容的两种类型实际上是相同的类型。这就是为什么当您想要一个“double(double,double)”类型时,您不创建新类型,而是获得现有的“double(double,double)”类型-如果没有,它将为您创建,如果已经有了,它将返回 这是LLVM中的常见情

这一定很愚蠢,但我不明白他们说“LLVM中的类型是唯一的”(参见第3.4节)的意思。请您解释一下这种所谓的“uniqued类型”是什么(“LLVM类型是uniqued”应该很容易理解,一旦“uniqued类型”清楚了。)

这意味着具有相同内容的两种类型实际上是相同的类型。这就是为什么当您想要一个“double(double,double)”类型时,您不创建新类型,而是获得现有的“double(double,double)”类型-如果没有,它将为您创建,如果已经有了,它将返回

这是LLVM中的常见情况,但值得注意的例外是。“已识别结构类型”指具有关联名称的结构类型


一般来说,这与vs的概念有关。

你能举出他们说“LLVM中的类型是唯一的”的地方吗?@NathanOliver。谢谢我明白了。只是单身模式。谢谢。@zell它不完全是单例的(它是基于上下文的),也不适用于所有类型(请参阅我关于已识别结构类型的说明),但我同意它肯定是本着使用单例的精神,我可能应该使用这个词:-)我很高兴你理解了。