伏地魔 – 那不可称呼之名的人 – 类型是无法在源代码中写出名称的类型。在Rust中,闭包具有这样的类型,因为编译器为每个闭包生成一个新的内部类型。接受闭包作为函数参数的唯一方法是接受一个泛型类型(通常称为F
),该类型被限制为Fn()
(或类似)特性。
Rust中的引用始终包含生命周期参数,即使通常可以省略此生命周期。生命周期无法明确命名,因为它们代表某种复杂的编译器内部范围。与生命周期交互的唯一方法是使用泛型参数(通常称为'a
),它代表任何生命周期(可能受到另一个生命周期的限制)。当然,还有'static
,它可以被命名,但这是一种特殊情况,不会与我的论点相冲突。
那么:Rust引用是否为伏地魔类型?或者我是否误解了“伏地魔类型”或Rust引用的术语?