【Rust笔记】意译解构 Object Safety for trait

意译解构Object Safety for trait

借助【虚表vtable】对被调用成员函数【运行时·内存寻址】的作法允许系统编程语言Rust模仿出OOP高级计算机语言才具备的【专用·多态Ad-hoc Polymorphism】特性。

计算机高级语言中的“多态”术语是一个泛指。它通常可被细化为

  • 基于继承关系的“子类·多态” Subtype Polymorphism — 形状相似而类名不同即是不同。重“名分”轻“事实”。代表语言JAVA

  • 基于接口抽象的“专用·多态” Ad-hoc Polymorphism — 突出不同类型间的共性淡化类型差异

  • 基于“鸭子类型”的“·多态”Row Polymorphism — 类名不同却形状相似即是相兼容。重“事实”轻“名分”。代表语言JS

因为Rust不支持类继承,所以它的多态方式仅收敛于

  • 由【trait Object + trait method动态分派】的“专用·多态”

  • 由【Lens设计模式 + 过程宏】的“行·多态”

仅抛砖引玉,就不再展开了。

Rust生产实践而言,这也是“以时间换空间”缩小编译输出二进制文件体积的绝佳手段。其对WEB汇编技术方向更是意义深远,因为只要性能够用,WASM体积越小越好。对webapp来讲,用过剩的性能换取发布包更小的体积还是很划算的。但,rustc要求凡是参与【专用多态】抽象的trait都必须Object Safety。“对象安全”的中文直译非常令人费解。

但结合【专用多态】技术语境,Object Safety可“啰嗦地”意译表达为:“trait method调用端不需要trait实现类及其实例对象有任何了解与假设,而仅凭trait描述自身,就能顺利地寻址和执行trait method,以及获得trait method执行反馈”。因此,Safety不是直译的“安全”,而是意译的“不知”。

@Rustacean 也可将Object Safety精炼地领会为“对象不知”或倒装一下“不知(类型与)对象(就能执行它的成员方法)”。

trait对象安全的核心原则

【专用多态】抽象要求trait将其具体实现类以【动态大小类型DST】的?Sized形式呈现给trait method调用端。即,胖指针(= 数据指针 + 虚表指针)

  • 在编译时,不锁定数据类型。但因指针大小是固定的,所以编译操作依旧能够成功完成。

  • 在运行时,实时度量变量大小,不论它是【堆】变量Box<dyn Trait>,还是【栈】变量&dyn Trait

以代码语言概括之,trait和(动态分派)trait method都必须满足DSTwhere Self: ?Sized限定条件。事实上,where Self: ?Sized也是rustctrait自身与trait关联函数的默认限定

名词解释:

  • DST缩写词的全称Dynamic Sized Type。其含义是“运行时确定大小的数据类型”。所以,它的trait限定条件是?Sized

  • FST缩写词的全称Fixed Sized Type。其含义是“编译时确定大小的数据类型”。所以,它的trait限定条件是Sized

对照【泛型类型参数】记忆

对照点一:

  • 泛型类型参数默认是FST,但可where T: ?Sized选择退出默认约定

  • traittrait method缺省都是DST,但同时也支持where Self: Sized选择退出初始限定

对照点二:例程1

  • 泛型类型参数的Sized限定条件是可以被书面重申的,虽然这完全没有必要。

  • traittrait method定义却不能书面地限定where Self: ?Sized。这会导致编译失败,因为?Sized仅能书面地限定泛型类型参数(的形参)。

判断trait是否对象安全的极简checklist

旧版The Rust Programming Language教程曾经列举过操作性极强的筛选标准:

  1. trait method返回值类型不是Self

  2. trait method不是【泛型函数】

虽至今其仍在互联网上广为流传,但它对知识内核的过度简化极易误导 @Rustacean 认为Object Safe trait的全部trait method都必须是【动态分派】的。其实不然,对象安全trait也被允许包含编译时【静态分派】的成员方法。事实上,只要trait自身满足Object Safety基本规则,它的成员方法

  • 既可以被收录入vtable和参与【动态分派】 — 对trait method隐式类型参数Self不做任何限定

  • 也能编译时被单态化和参与【静态分派】 — 以where Self: Sized限定trait method隐式类型参数Self

同一个trait定义动/静两用,没毛病!例程2 走出这个知识点误区有助于避免在业务功能开发过程中频繁地“钻牛角尖”和减轻心智痛苦。

trait自身对象安全的基本原则

  1. trait定义的隐式类型参数Self必须是?Sized的。这也意味着:

    1. 若有supertrait,那么supertrait也必须是?Sized的,因为trait Trait: Supertrait {}就是trait Trait where Self: Supertrait {}的语法糖。例程3

      // 因为`supertrait`不是`?Sized`,所以该`trait`不是`Object Safety`的。
      trait Trait: Sized {}
      // 等效写法 - trait Trait where Self: Supertrait {}
      struct S;
      impl Trait for S {}
      let obj: Box<dyn Trait> = Box::new(S); // 不可动态分派。
    2. supertrait是泛型trait,那么supertrait泛型类型参数的实参一定不能是Self,因为Self编译时类型不确定和不能作为单态化参数。例程4

      trait Super<A> {}
      // 该`trait`不是`Object Safety`的,因为它的隐式类型参数`Self`是`Sized`的。
      // - 若抹掉`trait`的`where`从句,那么泛型的【静态分派】会抱怨:“编译时,Self的
      //   类型大小未知”。总之,左右为难。
      trait Trait: Super<Self> where Self: Sized {}
      struct S;
      impl<A> Super<A> for S {}
      impl Trait for S {}
      let obj: Box<dyn Trait> = Box::new(S); // 失败,因为`Self: Sized`
  2. trait定义不能包含【关联常量】。例程5

    // 该`trait`不是`Object Safety`的,
    trait NotObjectSafe {// 因为它包含了【关联常量】const CONST: i32 = 1;
    }
    struct S;
    impl NotObjectSafe for S {}
    let obj: Box<dyn NotObjectSafe> = Box::new(S);
  3. trait定义中成员方法【关联函数】的隐式类型参数Self必须被显式地限定为Sized 例程6。即,where Self: Sized

    // `trait`不是`Object Safety`,因为
    trait NotObjectSafe {// 它的非成员方法关联函数的隐式类型参数`Self`不是`Sized`,// 而是缺省的`?Sized`fn foo() {}
    }
    struct S;
    impl NotObjectSafe for S {}
    let obj: Box<dyn NotObjectSafe> = Box::new(S); // 编译失败

    因为隐式类型参数Self的缺省限定条件就是?Sized,所以 @Rustacean 需要利用where从句书面地退出初始限定和重置SelfSized的。

    // `trait`是`Object Safety`,因为
    trait NotObjectSafe {// 它的非成员方法关联函数的隐式类型参数`Self`被显式地限定为`Sized`,fn foo() where Self: Sized {}
    }
    struct S;
    impl NotObjectSafe for S {}
    let obj: Box<dyn NotObjectSafe> = Box::new(S); // 编译成功

至此,若不考虑trait method,获得一个【对象安全】的trait并不难。

对象安全trait的成员方法

【重申强调】即便trait定义的全部成员方法都不参与【动态分派】(即,与它配对的虚表是空),但只要满足上节罗列的三项条件,该trait依旧是“对象安全”的。只不过,它的trait Object没啥实用意义。

静态分派trait method

因为trait【关联函数】的缺省抽象形式是【动态分派】,所以 @Rustacean 需要显式地将trait method隐式类型参数Self限定为Sized。即,给trait method声明添加where Self: Sized限定条件和退出DST内存布局模式 例程7。然后,你就再也不用担心这些trait method

  • 是否是【泛型函数】

  • self形参与返回值类型是否是Self

  • self参数数据类型

虽然省心了,但胖指针(堆Box<dyn Trait>或栈&dyn Trait)也再点不出这些trait method了。请仔细阅读下面例程代码中的注释和体会其中的差别。

// 虽然`trait`是`Object Safety`,
trait Trait {// (1) 但它的`trait method`都是静态分派的,和不能从`Box<dyn Trait>`上被调用//      — `trait method`的隐式类型参数`Self`都被显示地限定为`Sized`的,// (2) 于是,成员方法的fn returns(&self) -> Self    // a. 返回值类型被允许是`Self`where Self: Sized;fn param(&self, other: Self) // b. 非`self`形参也被允许是`Self`数据类型where Self: Sized {}fn typed<T>(&self, x: T)     // c. 接受【泛型函数】成员方法where Self: Sized {}// (3) 非成员方法的关联函数必须是静态分派的fn foo()where Self: Sized {}     // 手工限定其是静态分派函数
}
struct S;
impl Trait for S {fn returns(&self) -> Self where Self: Sized { S {field: 10} }
}
// 虽然`trait`是`Object Safety`,但
let obj: Box<dyn Trait> = Box::new(S {field: 12});
// (1) 它没有可运行时寻址调用的成员方法。
// obj.returns(); // 失败,因为  where Self: Sized
// (2) 它的`trait method`都必须从实现类的实例对象上被调用
<S as Trait>::foo();
let obj = S {field: 13};
obj.returns();
obj.typed(1);

对象安全的动态分派trait method

虽然【动态分派】是全部trait method的“天赋技能”,但 @Rustacean 也有义务从编程环节确保trait method不依赖于trait实现类的任何【元信息】。即,trait method函数体对trait实现类的类型信息不知

“不知”即是“安全”。“对象安全”还真不如意译为“对象不知”。这多有趣呀!

在书面代码上,@Rustacean 仅需要做到在trait method定义中,

  1. 不出现【泛型类型参数】 例程8。例外,【泛型生命周期参数】还是被允许的。例程9

  2. self形参与返回值类型不能是Self。关键字Self代指trait实现类,但Object safe trait需要对实现类不知。

  3. self形参的数据类型必须是如下六种之一 例程10

    1. 只读引用&Self / &self

    2. 可修改引用&mut Self / &mut self

    3. 智能指针Box<Self>

    4. 引用计数Rc<Self>

    5. 原子引用计数Arc<Self>

    6. 不可swap内存Pin<P>。其中,泛型类型参数P可以是前五种类型中的任意一种。

  4. 千万别限定trait method的隐式类型参数SelfSized

条条框框还是比较多的,可得常记频用,才可应用自如。

对象安全trait的非成员方法关联函数

这类associated functions概念对等于Typescript静态成员方法。“静态”意味着这类关联函数一定不会参与动态分派,但出于未知原因rustc依旧偏好将其收录虚表vtable和造成trait Object实例化失败。所以,Object safe trait的重要原则之一,就是:

  • 要么,没有非成员方法关联函数

  • 要么,显式地书面限定每个非成员方法关联函数的隐式类型参数SelfSized。例程11

否则,编译失败。

// `trait Trait`不是对象安全的,
trait Trait {// 因为它的非成员方法关联函数不可动态分派,但还被收录`vtable`fn foo() {} // 给加添加`where Self: Sized`限定条件,可解编译失败
}
struct S;
impl Trait for S {}
let obj: Box<dyn Trait> = Box::new(S);

结束语

【动态分派】是traittrait method初始开启的天赋技能。除了性能极客,@Rustacean 一般想不起刻意地对定它们做静态化处理。但,由于项目历史包袱,在旧trait定义内遗留的

  • 泛型函数

  • Self滥用

  • 非成员方法关联函数

导致其不再“对象安全”。咱们既不必埋怨旧代码作者(哎!谁的认知不是逐步深化的呀),也别慌,更别像我一样傻乎乎地立即重构代码(很的)。而仅只需要将仅能静态分派关联函数的隐式类型参数Self限定为Sized即可。只要虚表不再收录它们,rustc就不会抱怨了。于是,“同一个trait既兼容于新/旧代码,还动/静两用”岂不美哉 例程12!可是不值得炫技,因为大量这类trait代码是馁馁的后期维护心智灾难 — 只能算是变通的“歪招”。

这次分享的内容就是这些。创作不易,希望路过的神仙哥哥、仙女妹妹们评论、点赞、转发呀!相信我在【WEB汇编】技术方向Rust栈至今都是最优选择。

a1414dd3ef24e6d19ef65c2fd75a8431.png

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

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

相关文章

配置IPv6 over IPv4 GRE隧道示例

组网需求 如图1&#xff0c;两个IPv6网络分别通过SwitchA和SwitchC与IPv4公网中的SwitchB连接&#xff0c;客户希望两个IPv6网络中的PC1和PC2实现互通。 其中PC1和PC2上分别指定SwitchA和SwitchC为自己的缺省网关。 图1 配置IPv6 over IPv4 GRE隧道组网图 配置思路 要实现I…

Flyway——修改表名称与序列名称

文章目录 前言脚本修改表名称修改序列 前言 开发中一次偶然的机会&#xff0c;Oracle 12c 更换为 11g &#xff0c;需要对表名称的长度和序列长度做限制要求。 11g相对12c而言&#xff0c;表名称与序列名称的长度&#xff0c;不能超过30个字符。 在开发中做了更改&#xff0c;…

Tinkercad 建模21个小技巧

21个Tinkercad 建模小技巧 原文 参考文章&#xff1a;在 Tinkercad 中加快设计的 22 个技巧 一起来了解一下21个Tinkercad 3D建模小技巧&#xff0c;让你快人一步。 技巧1 Copy & Paste 文件&#xff0c;整合设计 想把文件A里面的模型拷贝到文件B里面&#xff1f; 很容…

JSON格式Python,Java,PHP等封装图片识别商品数据API方法

淘宝是一个网上购物平台&#xff0c;售卖各类商品&#xff0c;包括服装、鞋类、家居用品、美妆产品、电子产品等。要获取淘宝天猫图片识别商品数据&#xff0c;您可以通过开放平台的接口或者直接访问淘宝天猫商城的网页来获取图片识别商品数据。以下是两种常用方法的介绍&#…

GCC编译选项

当使用GCC编译器时&#xff0c;可以根据不同的需求选择适当的编译选项来控制编译过程和生成的代码的行为。以下是一些常见的GCC编译选项的归纳&#xff1a; 优化选项&#xff1a; -O0: 不进行优化&#xff0c;保留原始的C代码结构。-O1: 启用基本优化级别&#xff0c;进行简单…

LXD/LXC 命令 报错 /proc/self/attr/current: Permission denied 解决

ubuntu突然死机&#xff0c;重启后lxd出毛病了 执行 lxd 和 lxc 命令就会报错 /proc/self/attr/current: Permission denied 再次重启也无效 找了一番&#xff0c;在外面找到了解决方案。 解决方法1&#xff1a; 执行这条命令即可&#xff0c;看命令&#xff0c;猜测意思是重新…

找不到Windows SDK版本 10.0.18362.0.请安装所需版本的 Windows SDK,或者在项目属性页中或通过右键单击解决

找不到Windows SDK版本 10.0.18362.0.请安装所需版本的 Windows SDK,或者在项目属性页中或通过右键单击解决 安装相应的组件 项目——重定目标解决方案——然后选择版本

商城免费搭建之java商城 开源java电子商务Spring Cloud+Spring Boot+mybatis+MQ+VR全景+b2b2c

&#xfeff; 1. 涉及平台 平台管理、商家端&#xff08;PC端、手机端&#xff09;、买家平台&#xff08;H5/公众号、小程序、APP端&#xff08;IOS/Android&#xff09;、微服务平台&#xff08;业务服务&#xff09; 2. 核心架构 Spring Cloud、Spring Boot、Mybatis、Re…

【软件安装】MATLAB_R2021b for mac 安装

Mac matlab_r2021b 安装 下载链接&#xff1a;百度网盘 下载链接中所有文件备用。 我所使用的电脑配置&#xff1a; Macbook Pro M1 Pro 16512 系统 macOS 13.5 安装步骤 前置准备 无此选项者&#xff0c;自行百度 “mac 任何来源”。 1 下载好「MATLAB R2021b」安装文…

ACUPA修饰点击试剂:ACUPA DBCO,ACUPA-Dibenzocyclooctyne,常见使用说明

资料编辑|陕西新研博美生物科技有限公司小编MISSwu​ ACUPA-DBCO试剂 | 基础知识概述&#xff08;部分&#xff09;: 中文名称&#xff1a;ACUPA修饰DBCO&#xff0c;ACUPA修饰点击试剂 英文名称&#xff1a;ACUPA-DBCO&#xff0c;ACUPA-Dibenzocyclooctyne CAS号&#xff1a…

小研究 - JVM 垃圾回收方式性能研究(二)

本文从几种JVM垃圾回收方式及原理出发&#xff0c;研究了在 SPEC jbb2015基准测试中不同垃圾回收方式对于JVM 性能的影响&#xff0c;并通过最终测试数据对比&#xff0c;给出了不同应用场景下如何选择垃圾回收策略的方法。 目录 3 几种垃圾回收器 3.1 串行回收器 3.2 并行回…

培训(c++题解)

题目描述 某培训机构的学员有如下信息&#xff1a; 姓名&#xff08;字符串&#xff09;年龄&#xff08;周岁&#xff0c;整数&#xff09;去年 NOIP 成绩&#xff08;整数&#xff0c;且保证是 5 的倍数&#xff09; 经过为期一年的培训&#xff0c;所有同学的成绩都有所提…

如何理解MySQL的事务

如何理解MySQL的事务 在日常开发中&#xff0c;我们不可避免地会碰到需要操作数据库的场景。这时&#xff0c;MySQL的事务处理就变得至关重要。如果我们对MySQL的事务概念和使用方法有深刻理解&#xff0c;那么在编程时就可以更好地保证数据的一致性和完整性。 什么是MySQL的…

javaScript 如何获取对象中非空的属性

要获取JavaScript对象中所有具有值的属性&#xff0c;您可以使用 Object.entries()方法结合Array.prototype.filter()方法。以下是一个示例代码&#xff1a; const obj {name: John,age: 30,city: ,country: USA };const propertiesWithValues Object.entries(obj).filter((…

lightdb23.3 ecpg支持多种注释方式

ecpg 支持多种注释方式 原版的pg只支持在 ecpg 的 EXEC SQL 中使用 ‘/**/’ 形式的注释&#xff0c;因为ecpg 会转换SQL&#xff0c; 把SQL 转换为一行&#xff0c;去掉了换行符&#xff0c;导致 ‘–’ 和 ‘//’ 这种行注释的使用会有问题。在oracle 的pro*c 中这两种注释都…

Jetson Nano之ROS入门 -- YOLO目标检测与定位

文章目录 前言一、yolo板端部署推理二、目标深度测距三、目标方位解算与导航点设定1、相机成像原理2、Python实现目标定位 总结 前言 Darknet_ros是一个基于ROS&#xff08;机器人操作系统&#xff09;的开源深度学习框架&#xff0c;它使用YOLO算法进行目标检测和识别。YOLO算…

2023光电赛小车题视觉代码开源(附详细方案说明)

github网址&#xff1a;HPC2H2/2023-China-National-University-Students-Opt-Sci-Tech-Competition-machine-vision-part: 2023光电赛小车题树莓派无畸变摄像头&#xff08;备用小畸变摄像头&#xff09;视觉方案 (github.com) gitee网址&#xff1a; 2023-China-National-U…

代理模式:控制访问的设计模式

代理模式&#xff1a;控制访问的设计模式 什么是代理模式&#xff1f; 代理模式是一种常见的设计模式&#xff0c;它允许通过代理对象来控制对真实对象的访问。代理模式的主要目的是在不改变原始对象的情况下&#xff0c;提供额外的功能或控制访问。 为什么要使用代理模式&a…

MFC使用png做背景图片

在MFC中使用png图片作为背景&#xff0c;你需要使用GDI库。以下是一个简单的示例&#xff1a; 首先&#xff0c;你需要在你的项目中包含GDI头文件和库。在你的stdafx.h&#xff08;或者你的项目预编译头文件&#xff09;中添加以下代码&#xff1a; #include <GdiPlus.h&g…

2023年Q2京东环境电器市场数据分析(京东数据产品)

今年Q2&#xff0c;环境电器市场中不少类目表现亮眼&#xff0c;尤其是以净水器、空气净化器、除湿机等为代表的环境健康电器。此外&#xff0c;像冷风扇这类具有强季节性特征的电器也呈现出比较好的增长态势。 接下来&#xff0c;结合具体数据我们一起来分析Q2环境电器市场中…