改进rust代码的35种具体方法-类型(十九)-避免使用反射

上一篇文章


从其他语言来到Rust的程序员通常习惯于将反思作为工具箱中的工具。他们可能会浪费很多时间试图在Rust中实现基于反射的设计,却发现他们所尝试的事情只能做得不好,如果有的话。这个项目希望通过描述Rust在反思方面做什么和不做什么,以及可以使用什么来节省探索死胡同所浪费的时间。

反思是程序在运行时检查自己的能力。给定一个运行时的项目,它涵盖了以下问题:

  • 关于物品的类型,可以确定哪些信息?
  • 这些信息能做什么?

具有全面反思支持的编程语言对这些问题有广泛的答案。基于反射信息,带有反射的语言通常在运行时支持以下部分或全部内容:

  • 确定变量的类型
  • 探索其内容
  • 修改其字段
  • 调用其方法

具有这种反射支持水平的语言也往往是动态类型语言(例如Python、Ruby),但也有一些值得注意的静态类型语言也支持反射,特别是java和Go。

Rust不支持这种类型的反射,这使得避免反射的建议在这个层面上很容易遵循——这是不可能的。对于来自支持充分反思的语言的程序员来说,这种缺席起初似乎是一个重大差距,但Rust的其他功能提供了解决许多相同问题的替代方法。

C++具有更有限的反射形式,称为运行时类型识别(RTTI)。typeid运算符为每个类型返回一个唯一标识符,用于多态类型的对象(大致:具有虚拟函数的类):

Rust也不支持这种RTTI反思风格,延续了本项目建议易于遵循的主题。

Rust确实支持一些在std::any模块中提供类似功能的功能,但它们是有限的(以我们将探索的方式),因此除非没有其他替代方案,否则最好避免。

std::any的第一个反射状功能起初看起来像魔术——一种确定物品类型名称的方法。以下示例使用用户定义的tname()函数:

let x = 42u32;
let y = vec![3, 4, 2];
println!("x: {} = {}", tname(&x), x);
println!("y: {} = {:?}", tname(&y), y);

显示类型以及值:

x: u32 = 42
y: alloc::vec::Vec<i32> = [3, 4, 2]

该实现由std::any::type_name<T>库函数提供,该函数也是通用的。此函数只能访问编译时信息;没有代码运行来确定运行时的类型。之前中使用的特征对象类型说明了这一点:

let square = Square::new(1, 2, 2);
let draw: &dyn Draw = &square;
let shape: &dyn Shape = &square;println!("square: {}", tname(&square));
println!("shape: {}", tname(&shape));
println!("draw: {}", tname(&draw));

只有特征对象的类型可用,而不是具体基础项目的类型(Square):

square: reflection::Square
shape: &dyn reflection::Shape
draw: &dyn reflection::Draw

type_name返回的字符串仅适用于诊断——它显然是一个“尽最大努力”助手,其内容可能会发生变化,并且可能不是唯一的——因此不要试图解析type_name结果。如果您需要全局唯一类型标识符,请改用TypeId:

use std::any::TypeId;fn type_id<T: 'static + ?Sized>(_v: &T) -> TypeId {TypeId::of::<T>()
}
println!("x has {:?}", type_id(&x));
println!("y has {:?}", type_id(&y));
x has TypeId { t: 18349839772473174998 }
y has TypeId { t: 2366424454607613595 }

输出对人类的帮助较小,但唯一性的保证意味着结果可以用于代码。然而,通常最好不要直接使用TypeId,而是使用std::any::Any特征,因为标准库具有处理Any实例的附加功能(如下所述)。

Any trait只有一个方法type_id(),它返回实现该trait的类型的TypeId值。你不能自己实现这个特性,因为Any已经为大多数任意类型T提供了一个全面的实现:

impl<T: 'static + ?Sized> Any for T {fn type_id(&self) -> TypeId {TypeId::of::<T>()}
}

总体实现并不涵盖所有类型TT: 'static生命周期绑定意味着,如果T包含任何具有非'static生命周期的引用,则TypeId不会为T实现。这是一个故意施加的限制,因为生命周期不是类型的一部分:TypeId::of::<&'a T>将与TypeId::of::<&'b T>相同,尽管生命周期不同,这增加了混淆和代码不健全的可能性。

第8项中回想一下,特征对象是一个胖指针,它包含指向底层项目的指针,以及指向特征实现vtable的指针。对于Any,vtable有一个条目,用于返回项目类型的type_id()方法,如下图所示:

let x_any: Box<dyn Any> = Box::new(42u64);
let y_any: Box<dyn Any> = Box::new(Square::new(3, 4, 3));

Any特征对象,每个都有指向具体项目和vtable的指针

除了几个间接性外,dyn Any特征对象实际上是原始指针和类型标识符的组合。这意味着标准库可以提供一些额外的通用方法,这些方法是为dyn Any特征对象定义的;这些方法是一些附加类型T的通用的:

  • is::<T>():指示特征对象的类型是否等于某些特定的其他类型T
  • downcast_ref::<T>():返回对具体类型T的引用,前提是特征对象的类型匹配T
  • downcast_mut::<T>():返回对具体类型T的可变引用,前提是特征对象的类型匹配T

观察Any特征只是近似反射功能:程序员选择(在编译时)明确构建一些东西(&dyn Any),以跟踪项目的编译时类型及其位置。只有当构建Any特征对象的开销已经发生时,(例如)向下回归原始类型的能力才有可能。

在相对较少的场景中,Rust具有与项目相关的不同编译时和运行时类型。其中最主要的是特征对象:混凝土类型Square的项目可以强制为该类型实现的特征的特征对象dyn Shape。这种胁迫从一个简单的指针(对象/项目)构建一个胖指针(对象+vtable)。

也从之前文章中回忆起,Rust的特征对象并不是真正面向对象的。aSquare不是Shape;只是Square实现了Shape的接口。特征绑定也是如此:特征绑定Shape: Draw并不意味着is-a;它只是意味着也实现,因为Shape的vtable包括Draw方法的条目。

对于一些简单的特质界限:

trait Draw: Debug {fn bounds(&self) -> Bounds;
}trait Shape: Draw {fn render_in(&self, bounds: Bounds);fn render(&self) {self.render_in(overlap(SCREEN_BOUNDS, self.bounds()));}
}

等效特征对象:

let square = Square::new(1, 2, 2);
let draw: &dyn Draw = &square;
let shape: &dyn Shape = &square;

有一个带有箭头的布局(如图3-5所示;从第重复),使问题变得清晰:给定一个dyn Shape对象,没有立即构建dyn Draw特征对象的方法,因为没有办法回到impl Draw for Square的vtable——即使其内容的相关部分(Square::bounds()方法的地址)理论上可恢复的。(这在后续版本的Rust中可能会发生变化;请参阅此项目的最后一节。)

特征边界的特征对象,具有不同的vtable用于DrawShape

与上一张图表相比,很明显,显式构造的&dyn Any特征对象没有帮助。Any允许恢复基础项的原始具体类型,但没有运行时方式来查看它实现的属性,或访问可能允许创建特征对象的相关vtable。

那么,有什么是可用的呢?

要获得的主要工具是特征定义,这符合对其他语言的建议——有效的Java项目65建议“更喜欢界面,而不是反射”。如果代码需要依赖某个项目的某些行为的可用性,请将该行为编码为特征。即使所需的行为不能表示为一组方法签名,也请使用标记特征来指示对所需行为的合规性——这比(例如)自省类名称以检查特定前缀更安全、更有效。

期望特征对象的代码也可以与具有程序链接时不可用的后立代码的对象一起使用,因为它在运行时(通过dlopen(3)或等效的)已动态加载——这意味着通用的单态化是不可能的。

与此相关,反射有时也用于其他语言,以允许同一依赖库的多个不兼容版本同时加载到程序中,绕过只能有一个的链接约束。Rust不需要这个,Cargo已经处理了同一库的多个版本。

最后,宏——特别是derive宏——可用于自动生成在编译时理解项目类型的辅助代码,作为更高效、更类型安全的等同于在运行时解析项目内容的代码。之后文章会讨论了Rust的宏系统。

Rust未来版本中的升级

本项目的文本首次编写于2021年,并一直保持准确,直到该书准备在2024年出版——届时,Rust将添加一项新功能,以改变一些细节。

当U是T的超性状(性状T: U{…})之一时,这个新的“性状上转换”特性可以将一个性状对象dyn T转换为一个性状对象dyn U。在正式发布之前,该功能被锁定在#![feature(trait_upcasting)]上,预计将在Rust 1.76版本发布。

对于前面的示例,这意味着&dyn Shape特征对象现在可以转换为&dyn Draw特征对象,更接近Liskov替换的is-a关系。允许这种转换会对vtable实现的内部细节产生连锁效应,这些细节可能会变得比上图所示的版本更复杂。

然而,此项目的中心点不受影响——Any特征都没有超特征,因此上投的能力不会增加其功能。

06ae6c1d4239b3e971f583be7e1fed1e.png

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

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

相关文章

C语言例题47、从键盘输入一个正整数n,计算1+1/(1+2)+1/(1+2+3)+…+1/(1+2+3+…+n) 的值

#include <stdio.h>void main() {int x;int fm 0;//分母double sum 0;printf("请输入一个正整数&#xff1a;");scanf("%d", &x);for (int i 1; i < x; i) {fm i;//分母变化sum sum 1.0 / fm;if (i ! x) {printf("1/%d ", f…

【Linux】升级GCC(版本9.3),补充:binutils

GCC&#xff1a;GNU Compiler Collection 。编译器&#xff0c;几乎Linux中所有程序&#xff08;包括内核&#xff09;都是gcc编译的&#xff0c;包括libc。 gcc不仅仅是编译器&#xff0c;gcc也有很多库&#xff0c;依赖libc。gcc和libc互相依赖。 GCC官网&#xff1a;GCC, …

【C++练级之路】【Lv.22】C++11——右值引用和移动语义

快乐的流畅&#xff1a;个人主页 个人专栏&#xff1a;《算法神殿》《数据结构世界》《进击的C》 远方有一堆篝火&#xff0c;在为久候之人燃烧&#xff01; 文章目录 引言一、右值引用1.1 左值和右值1.2 左值引用和右值引用的范围1.3 左值引用的意义 二、移动语义2.1 移动构造…

AI大模型探索之路-实战篇9:探究Agent智能数据分析平台的架构与功能

系列篇章&#x1f4a5; AI大模型探索之路-实战篇4&#xff1a;深入DB-GPT数据应用开发框架调研 AI大模型探索之路-实战篇5&#xff1a;探索Open Interpreter开放代码解释器调研 AI大模型探索之路-实战篇6&#xff1a;掌握Function Calling的详细流程 AI大模型探索之路-实战篇7…

中断处理过程介绍

概念 中断 中断源 分类 中断处理过程 中断请求 实现器件 中断判优 软件判优 过程 器件实现 程序实现 硬件判优 链路判优 器件实现 控制器判优 中断响应 中断服务 中断返回

STM32H750外设之ADC通道选择

目录 概述 1 通道选择功能介绍 2 通道选择&#xff08; SQRx、 JSQRx&#xff09; 2.1 通道复用 2.1.1 通道介绍 2.1.2 通道框图 2.2 转换分组 2.3 内部专用通道 3 通道预选寄存器 (ADCx_PCSEL) 3.1 功能介绍 3.2 预选通道寄存器 概述 本位主要介绍STM32H750外设之…

栈 队列

目录 1.1栈的基本概念 1.1.1栈的定义 1.1.2栈的基本操作 1.2栈的顺序存储结构 1.2.1构造原理 1.2.2基本算法 1.3栈的链式存储结构 1.3.1构造原理 1.3.2基本算法 2.1队列的基本概念 2.1.1队列的定义 2.1.2队列的基本运算 2.2队列的顺序存储结构 2.2.1构造原理 2.2.1基…

CRLF注入漏洞

1.CRLF注入漏洞原理 Nginx会将 $uri进行解码&#xff0c;导致传入%0a%0d即可引入换行符&#xff0c;造成CRLF注入漏洞。 执行xss语句 2.漏洞扩展 CRLF 指的是回车符(CR&#xff0c;ASCII 13&#xff0c;\r&#xff0c;%0d) 和换行符(LF&#xff0c;ASCII 10&#xff0c;\n&am…

FTP协议——LightFTP安装(Linux)

1、简介 LightFTP是一个轻量级的FTP&#xff08;File Transfer Protocol&#xff0c;文件传输协议&#xff09;客户端软件。FTP是一种用于在网络上传输文件的标准协议&#xff0c;允许用户通过TCP/IP网络&#xff08;如互联网&#xff09;在计算机之间进行文件传输。 2、步骤…

在ARM开发板上,栈大小设置为2MB(常用设置)里面存放的数据

系列文章目录 在ARM开发板上&#xff0c;栈大小设置为2MB&#xff08;常用设置&#xff09;里面存放的数据 在ARM开发板上&#xff0c;栈大小设置为2MB&#xff08;常用设置&#xff09;里面存放的数据 系列文章目录 在ARM开发板上&#xff0c;栈&#xff08;Stack&#xff09;…

Thingsboard规则链:Message Type Filter节点详解

一、Message Type Filter节点概述 二、具体作用 三、使用教程 四、源码浅析 五、应用场景与案例 智能家居自动化 工业设备监控 智慧城市基础设施管理 六、结语 在物联网&#xff08;IoT&#xff09;领域&#xff0c;数据处理与自动化流程的实现是构建智能系统的关键。作…

创新实训2024.05.28日志:记忆化机制、基于MTPE与CoT技术的混合LLM对话机制

1. 带有记忆的会话 1.1. 查询会话历史记录 在利用大模型自身能力进行对话与解答时&#xff0c;最好对用户当前会话的历史记录进行还原&#xff0c;大模型能够更好地联系上下文进行解答。 在langchain chat chat的chat函数中&#xff0c;通过实现langchain框架提供的ChatMemo…

【设计模式】创建型-工厂方法模式

前言 工厂方法模式是一种经典的创建型设计模式&#xff0c;它提供了一种灵活的方式来创建对象实例。通过本文&#xff0c;我们将深入探讨工厂方法模式的概念、结构和应用。 一、什么是工厂方法模式 工厂方法模式是一种创建型设计模式&#xff0c;旨在解决对象的创建过程和客…

Parquet使用指南:一个超越CSV、提升数据处理效率的存储格式

前言 在大数据时代&#xff0c;数据存储和处理的效率越来越重要。同时&#xff0c;我们在工作中处理的数据也越来越多&#xff0c;从excel格式到csv格式&#xff0c;从文件文档传输到直接从数据库提取&#xff0c;数据单位也从K到M再到G。 当数据量达到了G以上&#xff0c;几…

ROS | 自动导航

保存&加载地图&#xff1a; image:地图文件 resolution:地图分辨率&#xff08;珊格地图&#xff09; origin&#xff1a;地图左下标 第三个参数是偏转角度 加载创建好的yaml文件&#xff1a; 年轻人第一次导航&#xff1a; 全局规划器&#xff1a; 代价地图设置参数&#…

K-means聚类模型入门介绍

K-means聚类是一种无监督学习方法&#xff0c;广泛应用于数据挖掘、机器学习和模式识别等领域&#xff0c;用于将数据集划分为K个簇&#xff08;cluster&#xff09;&#xff0c;其中每个簇的数据具有相似的特征。其基本思想是通过迭代寻找使簇内点间距离平方和最小的簇划分方式…

K8S-pod资源 探针

一.pod资源限制&#xff1a; 对pod资源限制原因&#xff1a;高并发占用所有的cpu资源、内存资源、会造成雪崩 当定义 Pod 时可以选择性地为每个容器设定所需要的资源数量。 最常见的可设定资源是 CPU 和内存大小&#xff0c;以及其他类型的资源。 方式&#xff1a; 对pod做…

UML-系统架构师(二)

1、UML&#xff08;Unified Modeling Language&#xff09;是面向对象设计的建设工具&#xff0c;独立于任何具体程序设计语言&#xff0c;以下&#xff08;&#xff09;不属于UML中的模型。 A用例图 B协作图 C活动图 DPAD图 解析&#xff1a; UML一共14种图 结构图&…

【蓝桥杯——物联网设计与开发】拓展模块2 - 电位器模块

一、电位器模块 &#xff08;1&#xff09;资源介绍 &#x1f505;原理图 蓝桥杯物联网竞赛实训平台提供了一个拓展接口 CN2&#xff0c;所有拓展模块均可直接安装在 Lora 终端上使用&#xff1b; 图1 拓展接口 电位器模块电路原理图如下所示&#xff1a; 图2 …

python数据分析——apply 2

参考资料&#xff1a;活用pandas库 1、向量化函数 使用apply时&#xff0c;可以按行或按列应用函数。如果想应用自定义的函数&#xff0c;必须重写它&#xff0c;因为整列或整行传递到了函数的第一个参数中。可以利用向量化函数和装饰器对所有函数进行向量化。对代码进行向量化…