Rust 泛型与特性

runoob 2023-04-06 原文

Rust 泛型与特性

泛型是一个编程语言不可或缺的机制。

C++ 语言中用"模板"来实现泛型，而 C 语言中没有泛型的机制，这也导致 C 语言难以构建类型复杂的工程。

泛型机制是编程语言用于表达类型抽象的机制，一般用于功能确定、数据类型待定的类，如链表、映射表等。

在函数中定义泛型

这是一个对整型数字选择排序的方法：

实例

fn max(array: &[i32]) -> i32 {
    let mut max_index = 0;
    let mut i = 1;
    while i < array.len() {
        if array[i] > array[max_index] {
            max_index = i;
        }
        i += 1;
    }
    array[max_index]
}

fn main() {
    let a = [2, 4, 6, 3, 1];
    println!("max = {}", max(&a));
}

运行结果：

max = 6

这是一个简单的取最大值程序，可以用于处理 i32 数字类型的数据，但无法用于 f64 类型的数据。通过使用泛型我们可以使这个函数可以利用到各个类型中去。但实际上并不是所有的数据类型都可以比大小，所以接下来一段代码并不是用来运行的，而是用来描述一下函数泛型的语法格式：

实例

fn max<T>(array: &[T]) -> T {
    let mut max_index = 0;
    let mut i = 1;
    while i < array.len() {
        if array[i] > array[max_index] {
            max_index = i;
        }
        i += 1;
    }
    array[max_index]
}

结构体与枚举类中的泛型

在之前我们学习的 Option 和 Result 枚举类就是泛型的。

Rust 中的结构体和枚举类都可以实现泛型机制。

struct Point<T> {
    x: T,
    y: T
}

这是一个点坐标结构体，T 表示描述点坐标的数字类型。我们可以这样使用：

let p1 = Point {x: 1, y: 2};
let p2 = Point {x: 1.0, y: 2.0};

使用时并没有声明类型，这里使用的是自动类型机制，但不允许出现类型不匹配的情况如下：

let p = Point {x: 1, y: 2.0};

x 与 1 绑定时就已经将 T 设定为 i32，所以不允许再出现 f64 的类型。如果我们想让 x 与 y 用不同的数据类型表示，可以使用两个泛型标识符：

struct Point<T1, T2> {
    x: T1,
    y: T2
}

在枚举类中表示泛型的方法诸如 Option 和 Result：

enum Option<T> {
    Some(T),
    None,
}

enum Result<T, E> {
    Ok(T),
    Err(E),
}

结构体与枚举类都可以定义方法，那么方法也应该实现泛型的机制，否则泛型的类将无法被有效的方法操作。

实例

struct Point<T> {
x: T,
y: T,
}

impl<T> Point<T> {
fn x(&self) -> &T {
&self.x
}
}

fn main() {
let p = Point { x: 1, y: 2 };
println!("p.x = {}", p.x());
}

运行结果：

p.x = 1

注意，impl 关键字的后方必须有 <T>，因为它后面的 T 是以之为榜样的。但我们也可以为其中的一种泛型添加方法：

impl Point<f64> {
    fn x(&self) -> f64 {
        self.x
    }
}

impl 块本身的泛型并没有阻碍其内部方法具有泛型的能力：

impl<T, U> Point<T, U> {
    fn mixup<V, W>(self, other: Point<V, W>) -> Point<T, W> {
        Point {
            x: self.x,
            y: other.y,
        }
    }
}

方法 mixup 将一个 Point<T, U> 点的 x 与 Point<V, W> 点的 y 融合成一个类型为 Point<T, W> 的新点。

特性

特性（trait）概念接近于 Java 中的接口（Interface），但两者不完全相同。特性与接口相同的地方在于它们都是一种行为规范，可以用于标识哪些类有哪些方法。

特性在 Rust 中用 trait 表示：

trait Descriptive {
    fn describe(&self) -> String;
}

Descriptive 规定了实现者必需有 describe(&self) -> String 方法。

我们用它实现一个结构体：

实例

struct Person {
name: String,
age: u8
}

impl Descriptive for Person {
fn describe(&self) -> String {
format!("{} {}", self.name, self.age)
}
}

格式是：

impl <特性名> for <所实现的类型名>

Rust 同一个类可以实现多个特性，每个 impl 块只能实现一个。

默认特性

这是特性与接口的不同点：接口只能规范方法而不能定义方法，但特性可以定义方法作为默认方法，因为是"默认"，所以对象既可以重新定义方法，也可以不重新定义方法使用默认的方法：

实例

trait Descriptive {
fn describe(&self) -> String {
String::from("[Object]")
}
}

struct Person {
name: String,
age: u8
}

impl Descriptive for Person {
fn describe(&self) -> String {
format!("{} {}", self.name, self.age)
}
}

fn main() {
let cali = Person {
name: String::from("Cali"),
age: 24
};
println!("{}", cali.describe());
}

运行结果：

Cali 24

如果我们将 impl Descriptive for Person 块中的内容去掉，那么运行结果就是：

[Object]

特性做参数

很多情况下我们需要传递一个函数做参数，例如回调函数、设置按钮事件等。在 Java 中函数必须以接口实现的类实例来传递，在 Rust 中可以通过传递特性参数来实现：

fn output(object: impl Descriptive) {
    println!("{}", object.describe());
}

任何实现了 Descriptive 特性的对象都可以作为这个函数的参数，这个函数没必要了解传入对象有没有其他属性或方法，只需要了解它一定有 Descriptive 特性规范的方法就可以了。当然，此函数内也无法使用其他的属性与方法。

特性参数还可以用这种等效语法实现：

fn output<T: Descriptive>(object: T) {
    println!("{}", object.describe());
}

这是一种风格类似泛型的语法糖，这种语法糖在有多个参数类型均是特性的情况下十分实用：

fn output_two<T: Descriptive>(arg1: T, arg2: T) {
    println!("{}", arg1.describe());
    println!("{}", arg2.describe());
}

特性作类型表示时如果涉及多个特性，可以用 + 符号表示，例如：

fn notify(item: impl Summary + Display)
fn notify<T: Summary + Display>(item: T)

注意：仅用于表示类型的时候，并不意味着可以在 impl 块中使用。

复杂的实现关系可以使用 where 关键字简化，例如：

fn some_function<T: Display + Clone, U: Clone + Debug>(t: T, u: U)

可以简化成：

fn some_function<T, U>(t: T, u: U) -> i32
    where T: Display + Clone,
          U: Clone + Debug

在了解这个语法之后，泛型章节中的"取最大值"案例就可以真正实现了：

实例

trait Comparable {
fn compare(&self, object: &Self) -> i8;
}

fn max<T: Comparable>(array: &[T]) -> &T {
let mut max_index = 0;
let mut i = 1;
while i < array.len() {
if array[i].compare(&array[max_index]) > 0 {
max_index = i;
}
i += 1;
}
&array[max_index]
}

impl Comparable for f64 {
fn compare(&self, object: &f64) -> i8 {
if &self > &object { 1 }
else if &self == &object { 0 }
else { -1 }
}
}

fn main() {
let arr = [1.0, 3.0, 5.0, 4.0, 2.0];
println!("maximum of arr is {}", max(&arr));
}

运行结果：

maximum of arr is 5

Tip: 由于需要声明 compare 函数的第二参数必须与实现该特性的类型相同，所以 Self （注意大小写）关键字就代表了当前类型（不是实例）本身。

特性做返回值

特性做返回值格式如下：

实例

fn person() -> impl Descriptive {
Person {
name: String::from("Cali"),
age: 24
}
}

但是有一点，特性做返回值只接受实现了该特性的对象做返回值且在同一个函数中所有可能的返回值类型必须完全一样。比如结构体 A 与结构体 B 都实现了特性 Trait，下面这个函数就是错误的：

实例

fn some_function(bool bl) -> impl Descriptive {
if bl {
return A {};
} else {
return B {};
}
}

有条件实现方法

impl 功能十分强大，我们可以用它实现类的方法。但对于泛型类来说，有时我们需要区分一下它所属的泛型已经实现的方法来决定它接下来该实现的方法：

struct A<T> {}

impl<T: B + C> A<T> {
    fn d(&self) {}
}

这段代码声明了 A<T> 类型必须在 T 已经实现 B 和 C 特性的前提下才能有效实现此 impl 块。

有关Rust 泛型与特性的更多相关文章

c# - 与 C# 相比，您会强调 Ruby 的哪些语言特性？ - 2
我正在就Ruby语言和环境向.NET(C#)开发团队进行一系列演讲。我把它当作一个机会来强调Ruby相对于C#的优势。首先，我想在进入环境之前专注于语言本身(RoR与ASPMVC等)。你会介绍Ruby语言的哪些特性？最佳答案我刚才在一个.NET用户组做了一个关于IronRuby的演讲，遇到了类似的问题。我关注的事情是:鸭子打字。没有什么比ListstringList=newList()更愚蠢的了;表达力强，语法简洁。简单的事情，比如省略括号、数组和散列文字等(结合鸭子类型，你会得到string_list=[]这显然更好)。所有的
ruby - 你最喜欢 Ruby 的什么特性？ - 2
就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visitthehelpcenter为指导。9年前关闭。已向.NET提出类似问题和Java，但不适用于Ruby。所以，你最喜欢Ruby的什么特性？您可能还对hiddenfeaturesofRuby感兴趣.请具体说明，并为每个答案发布一项功能。解释或代码示例会很好。最佳答案块非常好:my_array.each{|element|printelement}#.
ruby-on-rails - Ruby on Rails 最酷的特性是什么，为什么选择它？ - 2
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭8年前。Improvethisquestion在我问这个问题之前，我浏览了SO上“RubyonRails”的搜索结果。找不到太多，但以下(foundonthispage)让我觉得很有趣Personally,Istartedusing.html,movedontophp,triedruby(hatedit),discoveredPython/DJango..andhavebeenhappyeversince.这就是交易。我个人目前还没有
ruby - 使用 Ruby FFI 调用 Rust 库时出现段错误 - 2
我想将String传递给Rust库，但它总是会抛出段错误。代码如下://lib.rs#[no_mangle]pubexternfnprocess(foo:String)->String{foo}还有Ruby文件:#embed.rbrequire'ffi'moduleHelloextendFFI::Libraryffi_lib'target/release/libembed.dylib'attach_function:process,[:string],:stringendputsHello.process("foo") 最佳答案免
ruby - 是否有任何你避免使用的 Ruby 语言特性？ - 2
在我看来，Ruby的句法非常灵活，很多东西可以用多种方式编写。作为Ruby程序员，有没有什么语言特性/语法糖/编码约定是您避免清楚的？我问的是您选择有意不使用的东西，而不是您仍然需要学习的东西。如果您的回答是“我什么都用!”，如果读者知道相关的Ruby语法，您是否曾经对代码进行注释？[我对RoR上下文中的Ruby特别感兴趣，但欢迎一切。] 最佳答案 “$”全局变量的整个范围(参见Pickaxe2pp333-336)大多继承自Perl，非常可怕，尽管我有时发现自己使用$:而不是$LOAD_PATH.
ruby 弦使用rust 并再次使用rust - 2
我正在尝试将Ruby中的字符串传递给Rust可执行文件，对其进行操作并将操作后的字符串传回。到目前为止，我可以传入字符串并返回它，但我不知道如何将它转换为使用rust字符串，对其进行操作，然后将其传回ruby。这是我目前所拥有的://lib.rsusestd::ffi::CStr;#[no_mangle]pubexternfnreturn_string(test_str:&CStr)->&CStr{//workingfuncitontest_str}#[no_mangle]pubexternfnmanipulate_and_return_string(mystr:&CStr)->&
ruby-on-rails - 有哪些对 Rails 开发有用的 Emacs 特性 - 2
哪些Emacs功能、包、附加组件等可以帮助您进行日常的RubyOnRails开发？最佳答案两者的先前版本emacs-rails模式，和Rinari(Rails开发的两种最流行的模式)功能非常丰富，但又臃肿又笨重。为了保持一个小巧、干净、可靠、功能强大且可破解的核心，Rinari将避免许多“花里胡哨”的功能。然而，这并不是说这些额外的好东西可能没有用。这个页面应该作为链接到一些其他工具/包的链接点，这些工具/包通常与Rinari和Rails一起工作。如果您对添加到此列表或Rinari的新功能有任何想法，请通过http://gr
ruby - Scala 缺少哪些动态语言(如 Ruby 或 Clojure)的特性？ - 2
当您选择Scala(或F#、Haskell、C#)等静态类型语言而不是Ruby、Python、Clojure、Groovy(具有宏或运行时元编程功能)等动态类型语言时，您在实践中失去了什么)?请考虑最好的静态类型语言和最好的(在您看来)动态类型的语言，而不是最差的。答案总结:恕我直言，Ruby等动态语言相对于Scala等静态类型语言的主要优势是:快速的编辑-运行周期(JavaRebel是否缩小了差距？)目前Scala/Lift社区比Ruby/Rails或Python/Django小得多可以修改类型定义(尽管动机或需要不是很清楚) 最佳答案
ruby - Ruby 1.9 中非常酷的特性 - 2
随着Ruby1.9.2的发布，是时候让开发人员对Ruby1.9感到兴奋了。有哪些在Ruby1.9中可以做而在Ruby1.8中不能做的好事？最佳答案我不敢相信这还没有被提及:Ruby1.9.2+的最大特点是17年来第一次，Ruby将有一个规范。您可能听说过Ruby1.9.2的所有发布时间表(原定于2010年Spring发布)hasbeencanceled，这是原因:首先，RubySpec项目将制定完整的Ruby1.9.2规范，然后发布Ruby1.9.2(编程语言)，然后才会发布YARV1.9.2，之后它通过了RubySpec测试套
电机的反电动势了解及步进电机的基本特性 - 2
电动势，是导体内电子运动的必要条件，也是电子运动趋势的一种表现，因而具有一定的方向性。电动势的方向，规定为从电源的负极，经过电源内部指向电源的正极，即与电源两端电压的方向相反。反电动势，是指由反抗电流发生改变的趋势而产生电动势。反电动势一般出现在电磁线圈中，如继电器线圈、电磁阀、接触器线圈、电动机、电感等。对于电动机产品，定子部分是电能的输入端，而转子部分则是电机做功的输出端；通过定子部分输入的电能，一部分用于转子部分做功，另一部分则会消耗于线路内阻，以及其他损耗。转子部分产生的反电动势，即电动机做功的要素。反电动势消耗了电路中的电能，但它并不是一种“损耗”，与反电动势对应的那部分电能，将转

Rust 泛型与特性

Rust 泛型与特性

在函数中定义泛型

实例

实例

结构体与枚举类中的泛型

实例

特性

实例

默认特性

实例

特性做参数

实例

特性做返回值

实例

实例

有条件实现方法

有关Rust 泛型与特性的更多相关文章

随机推荐