rust特性

特性,也叫特质,英文是trait。
trait是一种特殊的类型,用于抽象某些方法。trait类似于其他编程语言中的接口,但又有所不同。
trait定义了一组方法,其他类型可以各自实现这个trait的方法,从而形成多态。

一、定义trait

(一)使用trait关键字
语法格式

trait trait_name{fn fn1(&self);fn fn2(&self);//...
}

其中包含一组方法。
方法第一个参数必须是&self。

例子

trait MyTrait {fn do_something(&self);
}

方法可以有默认实现,如果其他类型实现trait时不覆盖这些方法,将使用默认实现。
例子

trait MyTrait {fn do_something(&self) {// 默认实现}
}

(二)trait继承
trait可以继承其他trait
语法格式

trait trait_name: parent_trait_name{fn fn1(&self);
}

例子

trait Printable {fn print(&self);
}
trait Debuggable: Printable {fn debug(&self);
}

Debuggable继承了Printable,从而Debuggable包含了Printable中的方法。

多继承
例子

trait Paginate: Page + PerPage { fn set_skip_page(&self, num: i32){println!("Skip Page: {:?}", num);}
}

(三)关联类型
关联类型是一个类型占位符。当实现trait时才指定具体类型。
在trait定义里,使用type关键字。
语法格式

trait xx {type T;
}

例子
标准库提供的Iterator trait有一个关联类型Item

pub trait Iterator {type Item;fn next(&mut self) -> Option<Self::Item>;
}
impl Iterator for Counter {type Item = u32;fn next(&mut self) -> Option<Self::Item> {

Item是一个类型占位符,next方法返回Option<Self::Item> 类型的值。这个trait的实现者会指定Item的具体类型。

关联类型看起来像泛型,都是在定义时不指定具体类型。那么为什么不直接使用泛型呢?比如下面这样

pub trait Iterator<T> {fn next(&mut self) -> Option<T>;
}

区别在于当trait有泛型参数时,一个类型可以多次实现这个trait,每次为泛型参数指定不同的具体类型。比如Iterator<String> for Counter,Iterator<i32> for Counter,Iterator<u32> for Counter。Counter有多个Iterator的实现。
接着当使用Counter的next方法时,必须标明使用哪一个Iterator实现。比如Counter.next<String>(),Counter.next<i32>(),Counter.next<u32>()
通过关联类型,则无需标注类型,因为只能实现一次这个trait。只能有一个impl Iterator for Counter。当调用Counter的next时不必每次指定我们需要u32值的迭代器。

二、实现trait

(一)为某个类型实现trait
使用impl关键字。
语法格式

impl trait_name for type{fn fn1(&self);fn fn2(&self);//...
}

例子

trait MyTrait {fn do_something(&self);
}
struct MyStruct;
impl MyTrait for MyStruct {fn do_something(&self) {// 实现方法逻辑}
}

在上述例子中,我们为MyStruct类型实现了MyTrait。

(二)在外部类型上实现外部trait
孤儿规则是指trait或类型处于当前crate时才可以在此类型上实现该trait。这意味着无法在外部类型上实现外部trait。一个绕开这个限制的方法是使用newtype模式。
newtype模式是使用元组结构体创建一个新类型,这个元组结构体只有一个字段,相当于对这个字段类型的封装。这样这个新类型就处于当前crate了,就可以为这个新类型实现trait。Newtype是一个源自Haskell编程语言的概念。使用这个模式没有运行时性能消耗,这个封装类型在编译时就被省略了。
例如,想要在Vec<T> 上实现Display,因为Display trait和Vec<T> 都定义于我们的crate之外,所以无法这么做。可以创建一个包含Vec<T> 的元组结构体,接着为元组结构体实现Display并使用Vec<T> 的值:

use std::fmt;
struct Wrapper(Vec<String>);
impl fmt::Display for Wrapper {fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {write!(f, "[{}]", self.0.join(", "))}
}
fn main() {let w = Wrapper(vec![String::from("hello"), String::from("world")]);println!("w = {}", w);
}

使用self.0来访问其内部的Vec<T>,因为Wrapper是元组结构体而Vec<T> 是结构体总位于索引0的项。
因为Wrapper是一个新类型,它没有内部类型的方法。如果希望新类型拥有其内部类型的每一个方法,那么可以为新类型实现Deref trait并返回其内部类型。如果不希望新类型拥有所有内部类型的方法,那么必须自行实现所需的方法。

三、使用trait

(一)trait作为函数的参数
trait可以作为函数的参数类型

例子

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

任何实现了Descriptive的实例都可以作为这个函数的参数

例子

trait Drawable {fn draw(&self);
}
fn draw_shape(shape: &impl Drawable) {shape.draw();
}

函数draw_shape,它接受实现了Drawable的类型作为参数。

如果涉及多个特性,可以用 + 符号表示,例如:

fn notify(item: impl Summary + Display)

(二)trait作为返回值
trait可以作为函数的返回值类型
格式如下:

fn person() -> impl Descriptive {//
}

例子

fn returns_summarizable() -> impl Summary {Tweet {username: String::from("horse_ebooks"),content: String::from( "of course, as you probably already know, people", ),reply: false, retweet: false,}
}

returns_summarizable函数返回某个实现了Summary的类型的实例。在这个例子中返回了一个 Tweet,不过调用方并不知情。

特性做返回值,所有返回支返回值类型必须完全一样
比如下面这个函数就是错误的:
实例

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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/88263.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

玩转Mysql系列 - 第22篇:mysql索引原理详解

这是Mysql系列第22篇。 背景 使用mysql最多的就是查询&#xff0c;我们迫切的希望mysql能查询的更快一些&#xff0c;我们经常用到的查询有&#xff1a; 按照id查询唯一一条记录 按照某些个字段查询对应的记录 查找某个范围的所有记录&#xff08;between and&#xff09; …

学GoWorld,go 1.21

win11&#xff0c;下载go安装包运行&#xff0c; 环境变量GOPATHd:\go_work d:\go_work路径下执行 go install github.com/xiaonanln/goworldlatest 就自动下载了很多文件 进入D:\go_work\pkg\mod\github.com\xiaonanln\goworldv0.1.6 mod init goworld replace github.…

5+单细胞+脂质代谢+预后模型+实验

今天给同学们分享一篇5单细胞脂质代谢预后模型实验的生信文章“Single-cell transcriptome analysis reveals the metabolic changes and the prognostic value of malignant hepatocyte subpopulations and predict new therapeutic agents for hepatocellular carcinoma”&am…

uniapp ui安装 阿里图标库使用 报错 Assignment to constant variable.

安装 ui uni-app官网 (dcloud.net.cn) &#xff08;一&#xff09;安装 pages.js配置 安装 sassnpm i sass -D 或 yarn add sass -D 安装 sass-loader npm i sass-loader10.1.1 -D 或 yarn add sass-loader10.1.1 -D安装 uni-uinpm i dcloudio/uni-ui 或 yarn a…

基于若依ruoyi-nbcio增加flowable流程待办消息的提醒,并提供右上角的红字数字提醒(四)

更多ruoyi-nbcio功能请看演示系统 gitee源代码地址 前后端代码&#xff1a; https://gitee.com/nbacheng/ruoyi-nbcio 演示地址&#xff1a;RuoYi-Nbcio后台管理系统 上一节说到待办系统的监听器TaskCreateListener&#xff0c;需要在flowable全局监听配置里加入配置 1、Glo…

【开发篇】八、SpringBoot整合MongoBD

文章目录 1、整合2、简单示例3、一点思考4、MongoDB的安装5、MongoDB的CRUD语法 1、整合 导入MongoBD的起步依赖&#xff1a;&#xff08;这个starter背后是MongoDB的驱动和其他依赖&#xff0c;在这儿也可以看出命名的规律&#xff0c;redis的就是spring-boot-starter-data-r…

(Mysql高级语句(进阶查询语句+数据库函数+连接查询))

Mysql高级语句&#xff08;进阶查询语句MySQL数据库函数连接查询&#xff09; 一、mysql查询语句1.1、 select ----显示表格中一个或数个字段的所有数据记录1.2、 distinct ----不显示重复的数据记录1.3、where ----有条件查询1.4、 and or ----且 或1.5 、in----显示已知的值的…

oracle 比 mysql 查询快的原因_Oracle 查询速度慢的原因总结

目录 1. oracle 比 mysql 查询快的原因_Oracle 查询速度慢的原因总结 1. oracle 比 mysql 查询快的原因_Oracle 查询速度慢的原因总结 查询速度慢的原因很多, 常见如下几种: 没有索引或者没有用到索引(这是查询慢最常见的问题, 是程序设计的缺陷)I/O 吞吐量小, 形成了瓶颈效应…

算法竞赛备赛之动态规划训练提升,DP基础掌握

1.背包问题 1.1.01背包问题 01背包问题是在M件物品中选择若干件放在空间为W的背包中&#xff0c;每件物品的体积为W1&#xff0c;W2至Wn&#xff0c;价值为P1&#xff0c;P2至Pn&#xff0c;01背包的约束条件是给定几种物品&#xff0c;每种物品有且只有一个&#xff0c;并且…

ansible的个人笔记使用记录

1.shell模块使用&#xff0c;shell模块------执行命令&#xff0c;支持特殊符 ansible all -m shell -a yum -y install nginx ansible all -m shell -a systemctl restart nginx ansible all -m shell -a systemctl stop nginx && yum -y remove nginx2. file模块…

【JS | MD5】使用crypto模块实现md5加密功能(解决中文加密前后端不一致的问题)

正常情况下使用md5加密 var crypto require(crypto);var md5Sign function (data) {var md5 crypto.createHash(md5).update(data).digest(hex);return md5; } 实际开发中经常需要前端nodejs调用后端java接口&#xff0c;使用上述方法会出现中文加密结果不同的情况&#x…

ChatGPT重磅升级:可以看图、听声音、说话啦!

美东时间9月25日&#xff0c;OpenAI在官网宣布&#xff0c;对ChatGPT进行重磅升级实现看图、听声音、输出语音内容三大功能。 早在今年3月OpenAI发布GPT-4模型时&#xff0c;就展示过看图的功能&#xff0c;但由于安全、功能不完善等原因一直没有开放。现在不仅开放了看图&…

TensorFlow入门(四、数据流向机制)

session与"图"工作过程中存在的两种数据的流向机制,即:注入机制和取回机制 注入机制(feed):即通过占位符向模式中传入数据 取回机制(fetch):指在执行计算图时&#xff0c;可以同时获取多个操作节点的计算结果 实例代码如下: import tensorflow.compat.v1 as tftf…

Redis 支持哪些数据类型?以及使用场景?

五种常用的基础数据类型&#xff1a;String&#xff0c;List&#xff0c;Set&#xff0c;ZSet&#xff0c;Hash 基于基础数据类型实现的高级数据类型&#xff1a;BitMap&#xff0c;HyperLogLog&#xff0c;GEO&#xff0c;Stream String 类型的应用场景&#xff1a;缓存对象、…

傅一平:2023年我的私人书单(上)

2023年一直在通过ChatGPT学习&#xff0c;读书少了&#xff0c;但不能不读。 这里推荐上半年读过的TOP 9 书单&#xff0c;同时附上我的一句话评语和豆瓣的评分&#xff0c;涉及思考方法、系统架构、跨学科知识、沟通技巧、生活感悟、个人修养等等。 TOP 1 佛畏系统-用系统思维…

解决apscheduler意外跳过任务【Execution of job “xx“(trigger:xxx), next run at: xxx】

解决方法 添加配置&#xff1a; max_instances&#xff1a;添加最多可同时进行的数量 misfire_grace_time&#xff1a;如果意外断开&#xff0c;多少秒以内会重新尝试运行 如&#xff1a; scheduler.add_job(print_each_5_second, interval, seconds5, max_instances10, mi…

Vue中的自定义指令详解

文章目录 自定义指令自定义指令-指令的值&#xff08;给自定义指令传参数&#xff09;自定义指令- v-loading指令封装 自定义指令 自定义指令&#xff1a;自己定义的指令&#xff0c;可以封装一些dom 操作&#xff0c;扩展额外功能&#xff08;自动聚焦&#xff0c;自动加载&a…

HTML5+CSS3小实例:脉冲波纹催眠动画特效

实例:脉冲波纹催眠动画特效 技术栈:HTML+CSS 效果: 源码: 【html】 <!DOCTYPE html> <html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"><meta name="viewport" content=&qu…

800G时代来临,千兆光模块万兆光模块还有用吗?

随着科技的不断进步&#xff0c;网络传输速度的需求也越来越高&#xff0c;特别是在云计算、人工智能、物联网等领域&#xff0c;对网络传输速度的要求越来越高。近年来&#xff0c;千兆光模块和万兆光模块已经成为了网络传输的主要手段&#xff0c;但随着800G时代的到来&#…

自学视觉SLAM(1)

引言 小编研究生的研究方向是视觉SLAM&#xff0c;目前在自学&#xff0c;已经学了Linux系统的基本操作&#xff0c;vim编辑器以及高翔老师的一些视屏。本篇文章为初学笔记。 文章目录 引言1 熟悉 Linux1.1 如何在 Ubuntu 中安装软件&#xff08;命令⾏界⾯&#xff09;&#x…