syntax - &Trait 和 impl Trait 用作方法参数时有什么区别？-6ren

syntax - &Trait 和 impl Trait 用作方法参数时有什么区别？

转载作者：行者123 更新时间：2023-11-29 07:47:36

26

4

到目前为止，在我的项目中，我使用了许多特征来允许在单元测试中模拟/ stub 以注入(inject)依赖项。然而，到目前为止我正在做的事情的一个细节似乎非常可疑，以至于我很惊讶它甚至可以编译。我担心正在发生一些我看不到或不理解的危险事情。它基于这两个方法签名之间的差异:

fn confirm<T>(subject: &MyTrait<T>) ...
fn confirm<T>(subject: impl MyTrait<T>) ...

我刚刚发现 impl ...方法参数中的语法，这似乎是执行此操作的唯一记录方式，但我的测试已经使用另一种方式通过了，这是我根据 Go 解决相同问题的方式(编译时方法参数的大小，当参数可以是接口(interface)的任何实现者时，引用可以来拯救)。

这两者有什么区别？为什么他们都被允许？它们是否都代表合法的用例，或者我的引用语法 ( &MyTrait<T>) 严格来说是一个更糟糕的主意？

最佳答案

两者不同，用途不同。两者都有用，根据具体情况，其中一个可能是最佳选择。

第一种情况，&MyTrait<T> , 最好写成 &dyn MyTrait<T>在现代 Rust 中。它是一个所谓的特质对象。引用指向任何实现 MyTrait<T> 的类型，并且方法调用在运行时动态调度。为了使这成为可能，引用实际上是一个胖指针；除了指向对象的指针外，它还存储指向对象类型的虚方法表的指针，以允许动态调度。如果你的对象的实际类型只在运行时才知道，这是你唯一可以使用的版本，因为在这种情况下你需要使用动态调度。该方法的缺点是存在运行时成本，并且它仅适用于 object-safe 的特征。 .

第二种情况，impl MyTrait<T> , 表示实现 MyTrait<T> 的任何类型再次，但在这种情况下，需要在编译时知道确切的类型。原型(prototype)

fn confirm<T>(subject: impl MyTrait<T>);

相当于

fn confirm<M, T>(subject: M)
where
    M: MyTrait<T>;

对于每种类型 M在您的代码中使用，编译器会创建一个单独的版本 confim在二进制文件中，方法调用在编译时静态分派(dispatch)。如果在编译时已知所有类型，则此版本更可取，因为您无需支付动态分派(dispatch)到具体类型的运行时成本。

两个原型(prototype)之间的另一个区别是第一个版本接受 subject通过引用，而第二个版本使用传入的参数。这不是概念上的区别，虽然 - 虽然第一个版本不能编写为使用对象，但第二个版本可以很容易地编写为接受 subject通过引用:

fn confirm<T>(subject: &impl MyTrait<T>);

鉴于您引入了便于测试的特征，您可能更喜欢 &impl MyTrait<T> .

关于syntax - &Trait 和 impl Trait 用作方法参数时有什么区别？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/53769176/

26

4

0

文章推荐： enums - 我应该使用枚举还是盒装特征对象来模拟多态性？

文章推荐： java - CDI注入(inject)顺序和构造函数

文章推荐： rust - 在 Rust 中创建关联数组

文章推荐： rust - 是否可以通过特征将值存储在结构中？

Ruby 方法() 方法
我想了解 Ruby 方法 methods() 是如何工作的。我尝试使用“ruby 方法”在 Google 上搜索，但这不是我需要的。我也看过 ruby-doc.org，但我没有找到这种方法。
VBS教程：方法-Test 方法
Test 方法对指定的字符串执行一个正则表达式搜索，并返回一个 Boolean 值指示是否找到匹配的模式。 object.Test(string) 参数 object 必选项。总是一个
VBS教程：方法-Replace 方法
Replace 方法替换在正则表达式查找中找到的文本。 object.Replace(string1, string2) 参数 object 必选项。总是一个 RegExp 对象的名称。
VBS教程：方法-Raise 方法
Raise 方法生成运行时错误 object.Raise(number, source, description, helpfile, helpcontext) 参数 object 应为
VBS教程：方法-Execute 方法
Execute 方法对指定的字符串执行正则表达式搜索。 object.Execute(string) 参数 object 必选项。总是一个 RegExp 对象的名称。 string
VBS教程：方法-Clear 方法
Clear 方法清除 Err 对象的所有属性设置。 object.Clear object 应为 Err 对象的名称。说明在错误处理后，使用 Clear 显式地清除 Err 对象。此
VBS教程：方法-CopyFile 方法
CopyFile 方法将一个或多个文件从某位置复制到另一位置。 object.CopyFile source, destination[, overwrite] 参数 object 必选
VBS教程：方法-Copy 方法
Copy 方法将指定的文件或文件夹从某位置复制到另一位置。 object.Copy destination[, overwrite] 参数 object 必选项。应为 File 或 F
VBS教程：方法-Close 方法
Close 方法关闭打开的 TextStream 文件。 object.Close object 应为 TextStream 对象的名称。说明下面例子举例说明如何使用 Close 方
VBS教程：方法-BuildPath 方法
BuildPath 方法向现有路径后添加名称。 object.BuildPath(path, name) 参数 object 必选项。应为 FileSystemObject 对象的名称
VBS教程：方法-GetFolder 方法
GetFolder 方法返回与指定的路径中某文件夹相应的 Folder 对象。 object.GetFolder(folderspec) 参数 object 必选项。应为 FileSy
VBS教程：方法-GetFileName 方法
GetFileName 方法返回指定路径（不是指定驱动器路径部分）的最后一个文件或文件夹。 object.GetFileName(pathspec) 参数 object 必选项。应为
VBS教程：方法-GetFile 方法
GetFile 方法返回与指定路径中某文件相应的 File 对象。 object.GetFile(filespec) 参数 object 必选项。应为 FileSystemObject
VBS教程：方法-GetExtensionName 方法
GetExtensionName 方法返回字符串，该字符串包含路径最后一个组成部分的扩展名。 object.GetExtensionName(path) 参数 object 必选项。应
VBS教程：方法-GetDriveName 方法
GetDriveName 方法返回包含指定路径中驱动器名的字符串。 object.GetDriveName(path) 参数 object 必选项。应为 FileSystemObjec
VBS教程：方法-GetDrive 方法
GetDrive 方法返回与指定的路径中驱动器相对应的 Drive 对象。 object.GetDrive drivespec 参数 object 必选项。应为 FileSystemO
VBS教程：方法-GetBaseName 方法
GetBaseName 方法返回字符串，其中包含文件的基本名 (不带扩展名), 或者提供的路径说明中的文件夹。 object.GetBaseName(path) 参数 object 必
VBS教程：方法-GetAbsolutePathName 方法
GetAbsolutePathName 方法从提供的指定路径中返回完整且含义明确的路径。 object.GetAbsolutePathName(pathspec) 参数 object
VBS教程：方法-FolderExists 方法
FolderExists 方法如果指定的文件夹存在，则返回 True；否则返回 False。 object.FolderExists(folderspec) 参数 object 必选项
VBS教程：方法-FileExists 方法
FileExists 方法如果指定的文件存在返回 True；否则返回 False。 object.FileExists(filespec) 参数 object 必选项。应为 FileS

首页

博学

6Ren·AI

商城

syntax - &Trait 和 impl Trait 用作方法参数时有什么区别？