gpt4 book ai didi

rust - 了解Rust和类型系统

转载 作者:行者123 更新时间:2023-12-03 11:45:08 25 4
gpt4 key购买 nike

来自ML家族并学会了用SML编程,非常严格的类型系统是司空见惯的。
我正在尝试学习Rust,并且由于我习惯于使用强类型语言,因此是一名计算机科学专业的学生,​​主修编译器理论和编程语言理论。我以为我只是跳过了那些无聊的世界介绍介绍。我正在尝试了解范围内具有泛型和生存期的类型系统。
对于一个简单的项目,我正在实现一个链接列表库,因为我错过了它,它将使我对类型系统的工作方式有一种感觉。我使用引用/借用而不是装箱将内容保留在堆栈中,因此,当列表节点超出范围时,需要明确告知编译器。

pub enum List<'a, L> {
Cons(L, &'a List<'a, L>),
Nil,
}

impl<'a, L, S> List<'a, L> {
// ^ unconstrained type parameter // error here
pub fn new() -> List<'a,L> {
&List::Nil
}

pub fn fold(f : fn(S, L) -> S, acc : S, lst : List<'a,L>) -> S {
match lst {
List::Cons(item, rest) => fold(f, f(acc,item), rest),
List::Nil => acc,
}
}
}
我知道类型参数S是不受约束的,为什么在我显然根本不希望它受到约束的情况下又为什么需要它呢?来自SML和F#,这没有问题,因为可以在编译时推断出这一点。
我知道消除尾递归尚未成为Rust的功能,这不是这个问题的主题。

最佳答案

impl上声明的生存期和泛型将用于相应的类型或特征。
如果要在方法上使用泛型,则必须在其中声明它们:

pub fn fold<S>(f : fn(S, L) -> S, acc : S, lst : List<'a,L>) -> S {
// ^^^
match lst {
List::Cons(item, rest) => fold(f, f(acc,item), rest),
List::Nil => acc,
}
}

我相信编译器希望您在使用的地方声明泛型而不是更大的块的一个原因是,它需要知道它们的 variance,这取决于它们的用法。

关于rust - 了解Rust和类型系统,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/63082083/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com