为什么没有相同签名的生锈闭合具有相同的类型？

Question

per

为什么生锈的封闭方式与不同类型相同的签名？这是理论上的限制还是编译器的限制？

在Haskell中，他们受到了同样的对待。

Answer 1

Afaik，Haskell将它们分配在堆上。这等同于rust中的box＆lt; dyn fn（）＆gt;。既然您将它们包装，则您知道大小将始终是2*USIZE（数据指针和VTable指针）。

默认情况下，生锈不会封闭。相反，每个闭合都会获得一个带有所有捕获变量的新的，不愿透露姓名的结构。例如，以下内容：

let a: i32 = 123;
let closure = |b: i32| -> i32 { a + b };

转化为类似的东西（并非完全但没关系）：

struct Closure { a: i32 }
impl FnOnce<(i32,)> for Closure {
    type Output = i32;
    extern "rust-call" fn call_once(self, (b,): (i32,)) -> i32 {
        self.a + b
    }
}

这更有效，从本质上讲，闭合成本为零，但是我们必须付的价格是，不同的封闭方式在内存中具有不同的布局。因此，即使它们具有相同的签名，它们也不相等，因此您无法返回其中一个。

此外，即使它们恰好具有相同的布局，您仍然无法返回不同的封闭类型，因为闭合是静态派遣的。而不是依靠VTable来查找闭合代码，而只是直接称其为称为封闭代码。同样，这使它们的成本为零，这对Rust很重要，但意味着您不知道如果它们不同样的封闭，该代码就会调用什么代码。

有一个特殊情况：封闭，捕获什么都不能转换为功能指针。这就像没有数据指针的VTable一样，因为我们知道它们没有数据：

let closure = if condition {
    || {} as fn()
} else {
    || {} as fn()
};