什么是与C ++的上下文单一化？

Dave Herman最近在Rust 的演讲中表示，他们从C ++中借用了这个属性。 我找不到这个话题。 有人可以解释一下单态是什么意思吗？

Answer 1

单形化意味着生成通用函数的专用版本。 所以，如果我写一个函数来提取任何一对的第一个元素：

fn first<A, B>(pair: (A, B)) -> A { let (a, b) = pair; return a; } 

然后我调用这个函数两次：

 first((1, 2)); first(("a", "b")); 

编译器将生成两个版本的first（），一个专门用于成对input，另一个专用于成对的string。

这个名字来源于PL术语“多态性”—意思是一个可以处理多种types数据的函数。 单态是由多态到单态的转换。

Answer 2

不知道这个; 你可以链接到谈话？ 这可能是一个厌恶的话。

赫尔曼可能已经创造了一个像模板专业化这样的术语，它产生了与模板相互不相关（非多态或“单形”）的types/对象，这是一个多态结构。