最新要闻
- 硬件博主自费实测5大旗舰手机信号:iPhone各种被狂虐
- 焦点热文:载亿万富翁观光潜艇失联 被曝用游戏手柄操控 专家:生还希望渺茫
- 电动汽车也能无线充电了:像手机一样简单 超大充电板长这模样
- 全球热议:微软停止涨薪影响明显:员工跳槽意愿上涨23%
- 11499元 三星首款5K专业显示器上架:配可拆卸4K摄像头
- 班主任和家长扮恐龙接中考生 现场让网友看笑:可爱的显眼包 全球信息
- 史上最深深海救援!观光潜艇失联:搜救无进展 氧气剩不多、或卡残骸中|全球讯息
- 俄妹COS《塞尔达》公主火了 性感美艳:欧美曾呼吁塞尔达公主应黑人|时快讯
- 环球热文:破75%了!理想汽车家用交流充电桩安装率遥遥领先
- 比亚迪赵长江:腾势N7领先两代 将成为家用和年轻人首选大五座标杆SUV
- 全球短讯!年轻人第一辆车!“小米汽车”非官方渲染图又来了:质感拉满 你会买吗
- 世界即时:AMD Zen4c 128核心偷跑:只要4万元 不到官价一半
- 游客新疆旅游拍下雪崩全过程:壮观至极 众人尖叫_世界热文
- 【环球新视野】孟晚舟亲自站台!华为新杀手锏能否打破国际垄断?
- 耶鲁大学华裔学生驾车身亡:父母获赔2.5亿元_世界通讯
- 全球快看点丨观光泰坦尼克号潜艇失联:将是史上最深深海救援 将近4000米
广告
手机
iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
- 警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- 男子被关545天申国赔:获赔18万多 驳回精神抚慰金
- 3天内26名本土感染者,辽宁确诊人数已超安徽
- 广西柳州一男子因纠纷杀害三人后自首
- 洱海坠机4名机组人员被批准为烈士 数千干部群众悼念
家电
Rust语言 - 接口设计的建议之受约束(Constrained)_天天最资讯
Rust语言 - 接口设计的建议之受约束(Constrained)
- Rust API 指南 GitHub:https://github.com/rust-lang/api-guidelines
- Rust API 指南 中文:https://rust-chinese-translation.github.io/api-guidelines/
- Rust API 指南:https://rust-lang.github.io/api-guidelines/
受约束(Constrained)
接口的更改要三思
- 做出用户可见的更改,需三思而后行
- 确保你做出的变化:
- 不会破坏现有用户的代码
- 这次变化应保留一段时间
- 频繁的向后不兼容的更改(主版本增加),会引起用户不满
- 确保你做出的变化:
向后不兼容的修改
- 有些是显而易见的,有些则很微妙(与 Rust 工作方式相关)
- 主要介绍微妙棘手的更改,以及如何为其制定计划
- 有时需要在接口灵活性上做出权衡、妥协
类型修改
- 移除或重命名公共类型几乎肯定会破坏用户的代码
- 解决:尽可能利用可见性修饰符
- 例如 pub(crate)、pub(in path) ...
- 公共类型越少,更改时(保证不会破坏现有代码)就越自由
- 解决:尽可能利用可见性修饰符
例子一:
(资料图)
pub mod outer_mod { pub mod inner_mod { // This function is visible within `outer_mod` pub(in crate::outer_mod) fn outer_mod_visible_fn() {} // This function is visible to the entire crate pub(crate) fn crate_visible_fn() {} // This function is visible within `outer_mod` pub(super) fn super_mod_visible_fn() { // This function is visible since we"re in the same `mod` inner_mod_visible_fn(); } // This function is visible only within `inner_mod`, // which is the same as leaving it private. pub(self) fn inner_mod_visible_fn() {} } pub fn foo() { inner_mod::outer_mod_visible_fn(); inner_mod::crate_visible_fn(); inner_mod::super_mod_visible_fn(); // This function is no longer visible since we"re outside of `inner_mod` // Error! `inner_mod_visible_fn` is private // inner_mod::inner_mod_visible_fn(); }}fn bar() { // This function is still visible since we"re in the same crate outer_mod::inner_mod::crate_visible_fn(); // This function is no longer visible since we"re outside of `outer_mod` // Error! `super_mod_visible_fn` is private outer_mod::inner_mod::super_mod_visible_fn(); // This function is no longer visible since we"re outside of `outer_mod` // Error! `outer_mod_visible_fn` is private outer_mod::inner_mod::outer_mod_visible_fn(); outer_mod::foo();}fn main() { bar()}
- 用户代码不仅仅通过名称依赖于你的类型
例子二:
lib.rs
pub struct Unit;
main.rs
fn main() { let u = constrained::Unit; // v0 库是 constrained}
修改一
lib.rs
pub struct Unit { pub field: bool,}
main.rs
fn is_true(u: constrained::Unit) -> bool { matches!(u, constrained::Unit { field: true })}fn main() { let u = constrained::Unit; // v0 报错,因为添加字段之后 Unit struct 原有的构造方式不可用}
修改二
lib.rs
pub struct Unit { local: i32, // 增加私有字段}
main.rs
fn main() { let u = constrained::Unit; // v0 报错,虽然字段看不见,但是编译器可以看到}
- Rust 提供
#[non_exhaustive]
来缓解这些问题non_exhaustive
表示类型或枚举在将来可能会添加更多字段或变体- 它可以应用于 struct、enums 和 enum variants。
- 在其它 crate,使用
non_exhaustive
定义的类型,编译器会禁止:- 隐式构造,
lib::Unit { field1: true }
- 以及非穷尽模式匹配(即没有尾随 , .. 的模式)
- 隐式构造,
- 若接口稳定的话,尽量避免使用该注解
例子三:
lib.rs
#[non_exhaustive]pub struct Config { pub window_width: u16, pub window_height: u16,}fn SomeFunction() { let config = Config { window_width: 640, window_height: 480, }; // Non-exhaustive structs can be matched on exhaustively within the defining crate. if let Config { window_width, window_height, } = config { // ... }}
main.rs
use constrained::Config;fn main() { // Not allowed. let config = Config { // 报错 window_width: 640, window_height: 480, }; if let Config { window_width, window_height, .. // This is the only difference. 必须加 .. 否则报错 } = config { // ... }}
Trait 实现
- 一致性规则禁止把某个 Trait 为某类型进行多重实现
- 破坏性变更
- 为现有 Trait 添加 Blanket Implementation 通常是破坏性变更(
impl
)Foo for T - 为现有类型实现外部 Trait,或为外部类型实现现有 Trait
- 移除 Trait 实现
- 为新类型实现 Trait 就不是问题
- 为现有 Trait 添加 Blanket Implementation 通常是破坏性变更(
- 为现有类型实现任何 Trait 都要小心
例子四:
lib.rs
pub struct Unit;pub trait Fool { fn foo(&self);}
main.rs
use constrained::{Foo1, Unit};trait Foo2 { fn foo(&self);}impl Foo2 for Unit { fn foo(&self) { println!("foo2"); }}fn main() { Unit.foo()}
修改一
lib.rs
pub struct Unit;pub trait Fool { fn foo(&self);}// case 1: Add impl Foo1 for Unit in this crateimpl Foo1 for Unit { fn foo(&self) { println!("foo1"); }}
main.rs
use constrained::{Foo1, Unit};trait Foo2 { fn foo(&self);}impl Foo2 for Unit { fn foo(&self) { println!("foo2"); }}fn main() { Unit.foo() // 报错}
修改二
lib.rs
pub struct Unit;pub trait Fool { fn foo(&self);}// case 2: Add a new public Traitpub trait Bar1 { fn foo(&self); // with the same name}impl Bar1 for Unit { fn foo(&self) { println!("bar1"); }}
main.rs
use constrained::{Foo1, Unit};trait Foo2 { fn foo(&self);}impl Foo2 for Unit { fn foo(&self) { println!("foo2"); }}fn main() { Unit.foo() // 因为没有引入lib.rs中的Bar1,所以暂时没有报错}
main.rs
use constrained::*;trait Foo2 { fn foo(&self);}impl Foo2 for Unit { fn foo(&self) { println!("foo2"); }}fn main() { Unit.foo() // 报错}
- 大多数到现有 Trait 的更改也是破坏性更改
- 改变方法签名
- 添加新方法
- 如果有默认实现倒是可以
- 封闭 Trait(Sealed Trait):
- 只能被其它 crate 用,不能实现
- 防止 Trait 添加新方法时造成破坏性变更
- 不是内建功能,有多种实现方法
- Sealed Trait 常用于派生 Trait
- 为实现特定其它 Trait 的类型提供 blanket implementation 的 Trait
- 封闭 Trait(Sealed Trait):
- 只有在外部 crate 不该实现你的 Trait 时,才使用 Sealed Trait
- 严重限制 Trait 的可用性
- 下游 crate 无法为其自己类型实现该 Trait
- 可使用 Sealed Trait 来限制可用作类型参数的类型
- 例:将 Rocket 示例中的 Stage 类型限制为仅允许 Grounded 和 Launched 类型
例子五:
lib.rs
use std::fmt::{Debug, Display};mod sealed { use std::fmt::{Debug, Display}; pug trait Sealed {} impl Sealed for T where T: Debug + Display {}}pub trait CanUseCannotImplement: sealed::Sealed { // ..}impl CanUseCannotImplement for T where T: Debug + Display {}
main.rs
use std::fmt::{Debug, Display};use constrained::CanUseCannotImplement;pub struct Bar {}impl Debug for Bar { fn fmt(&self, f: &mut std::fmt::Formatter<"_>) -> std::fmt::Result { Ok(()) }}impl Display for Bar { fn fmt(&self, f: &mut std::fmt::Formatter<"_>) -> std::fmt::Result { Ok(()) }}// impl CanUseCannotImplement for Bar {} // 报错 因为在 lib.rs 中已经实现好了,不能再实现// Conflicting implementation,// The trait `CanUseCannotImplement` has been already implemented// for the types that satisfy the bounds specified by the sealed trait which are `Debug + Display`pub struct Foo {}impl CanUseCannotImplement for Foo {} // 报错 没有实现 Debug 和 Displayfn main() {}
隐藏的契约
- 有时,你对代码的某一部分所做的更改会以微妙的方式影响到接口其他地方的契约。这种情况主要发生在:
- 重新导出(re-exports)
- 自动 Traits (auto-traits)
隐藏的契约 - 重新导出(Re-Exports)
- 如果你的接口的某部分暴露了外部类型,那么外部类型的任何更改也将成为你接口的变更
- 最好用新类型模式(newtype pattern)包裹外部类型,仅仅暴露外部类型中你认为有用的部分
例子六:
lib.rs
// 你的 crate,叫 bestiterpub fn iter() -> itercrate::Empty { .. }// 依赖的外部 crate,叫 itercrate (v1.0),提供了 Empty 类型// 用户的 crate 中struct EmptyIterator { it: itercrate::Empty<()> }EmptyIterator { it: bestiter::iter() }// ---------------------------------------------------------------// 你的 crate, 叫 bestiterpub fn iter() -> itercrate::Empty { .. }// 依赖的外部crate,叫 itercrate,提供了 Empty 类型// 依赖的版本改为 v2.0,别处没有更改// 编译器认为:itercrate1.0::Empty 和 itercrate2.0::Empty 是不同的类型// 导致破坏性变更// 用户的 crate 中struct EmptyIterator { it: itercrate::Empty<()> }
隐藏的契约 - 自动 Trait(Auto-Traits)
- 有些 Trait 根据类型的内容,会对其进行实现
- 根据它们的特性,它们为接口中几乎每种类型都添加一个隐藏的承诺
- Send、Sync
- Unpin、Sized、UnwindSafe 也存在类似问题
- 这些特性会传播,无论是具体类型,还是 impl Trait 等类型擦除情况
- 这些 Trait 的实现通常是编译器自动添加的
- 如果情况不适用,则不会自动添加
- 例如:
- 类型 A 包含私有类型 B,默认 A 和 B 都是 Send 的
- 如果修改 B,让 B 不再是 Send 的,那么 A 也变成不 Send 的了
- 破坏性变化
- 这类变化难以追踪和发现
- 包含一些简单的测试,检查你所有的类型都实现了相关的 Traits
例子七:
fn is_normal() {}#[test]fn normal_types() { is_normal::();}
设计 Rust 接口的总结
- 不让人感到意外、灵活的、显而易见的和受限制的
关键词:
Rust语言 - 接口设计的建议之受约束(Constrained)_天天最资讯
java~理解可重入锁 焦点速读
硬件博主自费实测5大旗舰手机信号:iPhone各种被狂虐
焦点热文:载亿万富翁观光潜艇失联 被曝用游戏手柄操控 专家:生还希望渺茫
电动汽车也能无线充电了:像手机一样简单 超大充电板长这模样
全球热议:微软停止涨薪影响明显:员工跳槽意愿上涨23%
11499元 三星首款5K专业显示器上架:配可拆卸4K摄像头
环球今日讯!java~字节码操作ASM
班主任和家长扮恐龙接中考生 现场让网友看笑:可爱的显眼包 全球信息
史上最深深海救援!观光潜艇失联:搜救无进展 氧气剩不多、或卡残骸中|全球讯息
公募基金派发约八百亿元“红包雨” 债基占比超八成
俄妹COS《塞尔达》公主火了 性感美艳:欧美曾呼吁塞尔达公主应黑人|时快讯
环球热文:破75%了!理想汽车家用交流充电桩安装率遥遥领先
比亚迪赵长江:腾势N7领先两代 将成为家用和年轻人首选大五座标杆SUV
全球短讯!年轻人第一辆车!“小米汽车”非官方渲染图又来了:质感拉满 你会买吗
读发布!设计与部署稳定的分布式系统(第2版)笔记07_线程阻塞_每日速递
每日看点!从0开始,手写MySQL事务
MySQL事务基础知识 世界快资讯
世界即时:AMD Zen4c 128核心偷跑:只要4万元 不到官价一半
游客新疆旅游拍下雪崩全过程:壮观至极 众人尖叫_世界热文
【环球新视野】孟晚舟亲自站台!华为新杀手锏能否打破国际垄断?
耶鲁大学华裔学生驾车身亡:父母获赔2.5亿元_世界通讯
全球快看点丨观光泰坦尼克号潜艇失联:将是史上最深深海救援 将近4000米
手机可拆卸电池即将回归 利大于弊?
霍启刚患上睡眠窒息症:会被自己打鼾声惊醒 医生称严重会猝死-全球快看
今日报丨北京市下周一通过柜台市场发行20亿元3年期地方债券
每日热闻!5人宿舍热3年用掉水费5275元 高校回应:还算正常 个人习惯不同
世界快讯:618全网销售总额增速降至近3年最低:总销售额7987亿元创新高
ARP与dns缓存攻击 --中间人攻击
文心一言 VS 讯飞星火 VS chatgpt (43)-- 算法导论5.4 7题
用Python写了一个「拥抱梅西」的小游戏
天天时讯:证监会:券商应规范开立综合账户 加强异常交易监测
女子称网购八喜冰淇淋发现少10g:客服赔付了500元
腾讯视频VIP年卡+京东PLUS年卡 双会员仅138元
17万买纯电7座 2024款AION V Plus上市:更有AI的家庭SUV 每日资讯
环球速看:百公里油耗仅需6.1L !全新问界m5曝光:或售价25万起
期望误差和经验误差的关系——期望误差上界
【焦点热闻】使用python对AWS-CloudTrail-Json-日志文件key字段名称的提取
天天日报丨决战暑期档!国产航空大片《长空之王》密钥再次延期:王一博主演
超越姚明!16岁女篮小将身高已达2米27 山东女篮主力 单场曾砍62分
国产显卡第一次!摩尔线程发布DX11社区版驱动 能玩5款游戏_世界聚焦
全球观焦点:价格跌倒iPhone吃饱!被群嘲的苹果竟成为618销冠
不再依赖进口锂矿 两款钠离子电池电动车来了:成本便宜30%
天天快消息!记录--前端实现文件预览(pdf、excel、word、图片)
InnoDB 内存结构之更改缓冲区 环球新消息
Springboot web,三层架构, IOC&DI 使用总结2023 关注
快讯 | ShowMeBug入选人力资源智享会《TPG红宝书》 观热点
精彩看点:中消协出手:反对扫码强制关注公众号 全国范围可举报
学生自掏30万拍作品:因获三等奖嫌低拒绝领奖_热文
号称性能最强轻薄掌机:AYANEO预热新AMD 7840U处理器掌机_天天即时看
210元大额券:礼盒装红蜻蜓男士真皮自动皮带49元大促_环球新资讯
还买啥RTX 3060 英特尔A770 16GB显卡1779元
热推荐:史上最全Hadoop面试题:尼恩大数据面试宝典专题1
kafka的学习之一_带SASL鉴权的集群安装与启动
全球今日讯!债市日报:6月20日
科学家警告:用AI生成内容训练AI 几代内将产生“垃圾”
《暗黑破坏神4》官方晒自定义RTX4080显卡 莉莉丝雕塑逼真吗?
微头条丨毕业典礼上学生帽穗丢了:老师无实物拨穗
环球热门:高考后考生特种兵式出游有多拼?准大学生凌晨2点坐飞机五天游五城
采用模块化可拆卸设计:Fairphone 5手机承诺提供5年保修
Python工具箱系列(三十六) 全球资讯
华为云GaussDB为MetaERP“成本核算”产品“保驾护航” 天天观热点
【经验贴】多项目并行,如何解决资源管理这个难点? 热闻
这里的工业为何跑出“加速度”?——福建宁德工业企业一线观察|每日焦点
世界观焦点:被曝脏乱粽子厂曾中标学校配餐项目 卫生脏乱粽子厂抽检曾发现问题
环球今日讯!高考生们看过来!“2023年高考网上咨询周”时间安排公布
当前视点!高速停车致三车追尾自己却溜了 驾驶员称跟自己没关系 被判全责
无毒无污染、更完美!长征六号火箭第11次成功发射|焦点速读
今日热文:手机为何不再使用可拆卸电池?原因揭开
天涯社区苦等“救命钱”!重启天涯宣布再开直播:筹款还是300万|快消息
LPR利率下调10个基点,如何影响你的房贷利率? 播报
世界速讯:以梦为码 自主创新 | 华为云开发者日成都站圆满举行!
ElasticSearch安装与使用-每日视点
天天信息:全国铁路7月1日起实行新的列车运行图 客、货列车分别增加46列和394列
每日消息!中方在世贸组织提交贸易与环境政策相关提案
家居巨头宜家引入AI:下一代沙发将由人工智能设计
华硕Zenfone 10外观首曝:二代骁龙8小屏旗舰
地表最强RTX 4090!索泰RTX 4090 PGF显卡图赏 世界简讯
广州新规:快递入柜需收件人同意 虚假签收最高可罚三万!
天天信息:长虹发布全球首款多模态交互电视:不管说什么都能听懂
天天速读:南方强降雨频繁有致灾风险 北方高温明起再登场
微动态丨标准IO使用复习
视讯!ABAQUS 模拟过盈配合解决材料选择及公差带设计等问题
全球观察:maven 使用总结2023
人民银行合肥中心支行联合交易商协会举办债务融资工具业务培训|环球滚动
货币宽松抬升经济复苏放缓预期 日债收益率曲线延续趋陡-快讯
每日热闻!英亿万富翁探索泰坦尼克号残骸 现已失联超24小时!
售价超20万元 AMD最贵显卡MI300X诞生:192GB显存史无前例
今日聚焦!雷军武汉大学演讲:36年前教授这句话打通我任督二脉
一天两瓶喝不够:认养一头牛酸/纯奶30盒79.9元抄底(50元立减券)_今日热文
原装进口!雀巢黑咖啡官旗大促:券后每杯仅需0.6元|天天热点
最新快讯!新干县气象台发布雷电黄色预警信号【III级/较重】【2023-06-20】
Apache Superset 身份认证绕过漏洞(CVE-2023-27524)
关于IEnumerable和IQuerable之间的区别 全球通讯
java~二进制补码的用途|世界新消息
中国广电5G悲催的第一年:信号差 销户难
智能驾驶将进入大模型时代!理想发布通勤NOA内测视频 可自主学习
第一款ITX A620终于出现!最便宜的AMD迷你小板 热门
鸡蛋壳难剥是鸡蛋放的久了吗 为什么鸡蛋的壳很难剥 天天新动态
统信UOS系统开发笔记(五):安装QtCreator开发IDE中的中文输入环境Fcitx输入法