- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在编写一些代码,并且有一个使用 self
的方法的特征。按值(value)。我想在 Box
上调用这个方法'd trait 对象(消耗 Box
及其值)。这可能吗?如果是这样,如何?
在代码方面,一个最小的例子看起来像以下(不完整的)代码:
trait Consumable {
fn consume(self) -> u64;
}
fn consume_box(ptr: Box<dyn Consumable>) -> u64 {
//what can I put here?
}
我的问题是如何填写函数
consume_box
具有指定的签名,以便返回的值是通过调用
consume
获得的任何值。在
Box
'd 值。
ptr.consume()
作为函数的主体,虽然我意识到这不是一个正确的想法,因为它没有理解我想要
Box
的事实。被消费,不仅仅是它的内容,但它是我唯一能想到的东西。这不会编译,给出一个错误:
cannot move a value of type dyn Consumable: the size of dyn Consumable cannot be statically determined
self
参数的传递类似于 C++ 中的右值引用(这正是我想要的 - 在 C++ 中,我可能会通过带有签名
virtual std::uint64_t consume() &&
的方法来实现这一点,让
std::unique_ptr
通过虚拟析构函数),但我猜 Rust 确实是按值传递,将参数移动到位之前 - 所以它拒绝代码是合理的。
Box
'd trait 对象。我尝试使用默认实现向 trait 添加一个方法,认为这可能会让我在 vtable 中得到一些有用的东西:
trait Consumable {
fn consume(self) -> u64;
fn consume_box(me: Box<Self>) -> u64 {
me.consume()
}
}
但是,这会产生错误
the trait
Consumable
cannot be made into an object
Box<dyn Consumable>
type - 这并不奇怪,因为编译器会弄清楚如何处理参数类型随
Self
而变化的函数。会很神奇。
consume_box
使用提供的签名 - 甚至在必要时修改特征?
impl Consumable for u64 {
fn consume(self) -> u64 {
self
}
}
struct Sum<A, B>(A, B);
impl<A: Consumable, B: Consumable> Consumable for Sum<A, B> {
fn consume(self) -> u64 {
self.0.consume() + self.1.consume()
}
}
struct Product<A, B>(A, B);
impl<A: Consumable, B: Consumable> Consumable for Product<A, B> {
fn consume(self) -> u64 {
self.0.consume() * self.1.consume()
}
}
fn parse(&str) -> Option<Box<dyn Consumable> > {
//do fancy stuff
}
在大多数情况下,事物是普通的旧数据(但可能是由于泛型而造成的任意大块),但也要使其与传递更多不透明句柄到此类事物兼容 - 因此需要能够与
Box<dyn Consumable>
一起工作.至少在语言层面,这是一个很好的模型,说明我在做什么——这些对象拥有的唯一资源是内存片段(与多线程无关,也没有自我引用的恶作剧)——尽管这模型没有捕捉到我所拥有的用例是一个对实现使用对象而不是仅仅读取它很有用的用例,也没有适本地建模我想要一个“开放”类的可能段而不是一个有限集的可能性(使得很难做像
enum
这样直接代表一棵树的事情) - 因此,为什么我要问按值传递而不是尝试重写它以按引用传递。
最佳答案
目前不支持此功能。一个 dyn Consumable
表示一个非大小的类型,除了通过间接(通过引用或 Box
-like structs)之外非常有限。
然而有RFC 1909: Unsized RValues希望放宽其中一些限制。一种能够传递未定义大小的函数参数,例如 self
在这种情况下。当每晚使用 unsized_fn_params
编译时,此 RFC 的当前实现接受您的初始代码。 :
#![feature(unsized_fn_params)]
trait Consumable {
fn consume(self) -> u64;
}
struct Foo;
impl Consumable for Foo {
fn consume(self) -> u64 {
42
}
}
fn main () {
let ptr: Box<dyn Consumable> = Box::new(Foo);
println!("result is {}", ptr.consume());
}
见
playground .
关于rust - 如何在 Rust 中按值传递装箱的 trait 对象?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/65261399/
请告诉我哪种算法适用于以下问题: 在给定的 3 个月内,我们的项目数量有限(通常 < 50)。每个项目都有一定的小时数。 我们在同一 3 个月内拥有有限数量的资源(通常 < 100)。 每个资源每个月
我了解装箱和拆箱是关于强制转换(将实型转换为对象...将对象转换为实型)的。但是我不明白MSDN对Nullable的评价。这是我不明白的文字: When a nullable type is boxe
据我了解,Java 具有装箱(堆)和未装箱(堆栈)变量,如果我将装箱类型分配给未装箱类型,反之亦然,则涉及 (n) (un) 装箱成本。 拆箱比分配一个新的装箱对象便宜吗?如果以只读方式使用,盒装对象
装箱/拆箱和类型转换之间有什么区别? 这些术语似乎经常可以互换使用。 最佳答案 装箱是指将不可空值类型转换为引用类型或将值类型转换为其实现的某个接口(interface)(例如 int 到 IComp
给定一组项目,每个项目都有一个值,确定要包含在集合中的每个项目的数量,以使总值小于或等于给定限制,并且总值尽可能大。 例子: Product A = 4Product B = 3Product C =
我正在编写一个一维装箱程序。我只想要一个可能的垃圾箱。所以它不包括很多垃圾箱,它是唯一的一个。该程序仅搜索四边形组,如果四边形组不等于搜索数量则爆炸。我想搜索大于四边形的每个可能的组。在示例中,我们有
关闭。这个问题是not reproducible or was caused by typos .它目前不接受答案。 这个问题是由于错别字或无法再重现的问题引起的。虽然类似的问题可能是on-topi
我最近的代码包括很多 boxing and unboxing ,因为我的许多变量都是在运行时解析的。但是我读到装箱和拆箱在计算上非常昂贵,所以我想问一下是否还有其他方法可以对类型进行装箱/拆箱?这甚至
我的作业是装箱问题,要求我展示如何从优化版本解决问题的决策版本,反之亦然。我知道要解决决策版本,您只需获取优化版本中使用的 bin 数量并将其与指定的最大 bin 数量进行比较,但我如何使用决策版本来
这是在不使用外部库的情况下在 Java 中装箱/拆箱多维原始数组的最有效方法吗? private Float[][] toFloatArray(float[][] values) { Float
我有一个头疼的问题,感觉类似于经典的装箱问题,但我无法确定。任何帮助表示赞赏... 问题: 我有一组尺寸相同的产品,但有不同颜色的款式和不同的订单数量要求。 我可以任意组合包装,但我只能有规定数量的不
我有一个由 df.column.value_counts().sort_index() 生成的 Pandas 系列。 | N Months | Count | |------|------| |
大家可以向我解释一下 new 的性质以及 Integer 的使用 Integer i = new Integer(-10); Integer j = new Integer(-10); Integer
如果我错了,请纠正我,将值类型装箱转换为引用类型,那么为什么以下代码给出 10 输出而不是 12? public static void fun(Object obj) { o
如果我理解 CLR 装箱和处理可空值的方式,如 Boxing / Unboxing Nullable Types - Why this implementation? 中所述,我仍然有一些困惑。例如,
我经常使用 div 来装箱信息,但我注意到包装箱有时可能不会填满空间,这会导致来自其他包装器的元素进入箱区域。 例如: my info1 my Info2 看看这个例子 .topic {
目前我有这门课 public class Currency { private int _Amount; public Currency(){... } public Curr
我收集了 43 到 50 个数字,范围从 0.133 到 0.005(但大部分偏小)。如果可能的话,我想找到 L 和 R 之间总和非常接近的所有组合。* 蛮力法需要 243 到 250 步,这是不可行
我试图从性能的角度了解两种解决方案中的哪一种是首选。比如我有两段代码: 1) 装箱/拆箱 int val = 5; Session["key"] = val; int val2 = (int)Sess
通过 C# 在装箱/拆箱值类型上从 CLR 中提取 ... 关于装箱:如果可为空的实例不是null,CLR 会从可为空的实例中取出值并将其装箱。换句话说,值为 5 的 Nullable 装箱到值为
我是一名优秀的程序员,十分优秀!