改进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, …

【CMake】CMake入门(二)流程控制 if while foreach 数学表达式 函数定义

本篇文章不是新手入门教学文章&#xff0c;主要是记录笔者个人的学习笔记 参考文章 : CMake中的分支与判断&#xff08;if语句&#xff09;CMake中的条件判断if/elseif/else CMake入门&#xff08;二&#xff09; 一、CMake中的逻辑判断二、 while循环三、CMake中的foreach循环…

【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…

中断处理过程介绍

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

GBDT 算法【python,机器学习,算法】

GBDT 即 Gradient Boosting Decision Tree 梯度提升树&#xff0c; 是一种迭代的决策树算法&#xff0c;又叫 MART(Multiple Additive Regression Tree)&#xff0c; 它通过构造一组弱的学习器(树)&#xff0c;然后把多棵决策树的结果累加起来作为最终的预测输出。该算法将决策…

史上最全的Linux常用命令、使用技巧汇总(超全面!简单明了!)

目录 常用Linux命令 --help ls pwd cd touch mkdir rm clear vim cat 基本命令 find 快捷键 小技巧 系统命令 reboot 常用Linux命令 --help 作 用&#xff1a;显示 命令的帮助信息 ls 作 用&…

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外设之…

AI学习指南数学工具篇-凸优化在支持逻辑回归中的应用

AI学习指南数学工具篇-凸优化在支持逻辑回归中的应用 一、引言 在人工智能领域&#xff0c;逻辑回归是一种常见的分类算法&#xff0c;它通过学习样本数据的特征和标签之间的关系&#xff0c;来进行分类预测。而在逻辑回归算法中&#xff0c;凸优化是一种重要的数学工具&…

如何开展人工智能项目呢?

1.分析问题&#xff0c;确定输入和输出 比如&#xff1a;中英翻译&#xff0c;输入&#xff1a; 苹果 输出&#xff1a; apple 确定了输入和输出后&#xff0c;要想办法将输入和输出抽象成一些数字&#xff0c;因为计算机只能为你处理数字。比如说&#xff0c;你输入一朵花&am…

栈 队列

目录 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基…

SAP项目中的国际化团队

参与过国际项目或者管理过国际化的团队的同仁是不是有同样的感受&#xff0c;管理SAP项目中的国际化团队是一项复杂的任务&#xff0c;需要考虑多种因素&#xff0c;包括跨文化沟通、时区管理、项目协调等。今天我就根据我多个国际项目的经验来给大家分享一下如何很好的管理国际…

深刻解析 volatile 关键字和线程本地存储ThreadLocal

1.volatile关键字在Java多线程编程中的重要性 在多线程编程中&#xff0c;volatile关键字扮演着至关重要的角色&#xff0c;它确保了变量在多个线程间的可见性&#xff0c;并且能防止指令重排序&#xff0c;从而达到线程安全的目的。 1.1 保证多线程环境下变量的可见性 在Ja…

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…

Java中的事件驱动编程:增强应用的互动性和响应性

事件驱动编程是一种编程范式&#xff0c;其中程序的流程由外部事件决定&#xff0c;如用户操作、系统消息或其他程序的输入。在Java中&#xff0c;事件驱动编程广泛应用于图形用户界面&#xff08;GUI&#xff09;开发、网络编程和组件交互。本文将探讨Java中的事件驱动编程基础…

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;…

Flutter 中的 LimitedBox 小部件:全面指南

Flutter 中的 LimitedBox 小部件&#xff1a;全面指南 Flutter 是一个功能强大的 UI 框架&#xff0c;它提供了大量的小部件来帮助开发者构建美观且响应式的用户界面。在 Flutter 的布局小部件中&#xff0c;LimitedBox 是一个不太常见但非常有用的组件&#xff0c;它可以用来…

Keras深度学习框架第二十五讲:使用KerasNLP预训练Transformer模型

1、KerasNPL预训练Transformer模型概念 使用KerasNLP来预训练一个Transformer模型涉及多个步骤。由于Keras本身并不直接提供NLP的预训练模型或工具集&#xff0c;我们通常需要结合像TensorFlow Hub、Hugging Face的Transformers库或自定义的Keras层来实现。 以下是一个简化的…