- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在开发一个私有(private)项目时,我遇到了一个终生问题,即在多个结构和特征上借用同一个对象。这是我使用的一堆精简定义:
trait WorkspaceLog {
fn get(&self) -> usize;
}
struct TheLog<'a>(&'a FilesystemOverlay);
impl<'a> WorkspaceLog for TheLog<'a> {
fn get(&self) -> usize {
(self.0).0
}
}
trait WorkspaceController<'a> {
type Log: WorkspaceLog;
fn get_log(&'a self) -> Self::Log;
}
struct FilesystemOverlay(usize);
struct FSWorkspaceController<'a>(&'a mut FilesystemOverlay);
impl<'a> WorkspaceController<'a> for FSWorkspaceController<'a> {
type Log = TheLog<'a>;
fn get_log(&'a self) -> Self::Log {
TheLog(&*self.0)
}
}
trait AsWorkspaceController<'a> {
type Controller: WorkspaceController<'a>;
fn get_controller(self) -> Self::Controller;
}
impl<'a> AsWorkspaceController<'a> for &'a mut FilesystemOverlay {
type Controller = FSWorkspaceController<'a>;
fn get_controller(self) -> FSWorkspaceController<'a> {
FSWorkspaceController(self)
}
}
到目前为止,还不错。这基本上使我能够借用 FilesystemOverlay 的 mut ref 作为其他接口(interface),提供额外的功能。反过来,这个接口(interface)允许我借用本质上相同的东西作为提供最终数据的另一个东西。只要我直接使用 FilesystemOverlay,它就可以工作:
fn init1(control_dir: &mut FilesystemOverlay) -> usize {
let controller = control_dir.get_controller();
let log = controller.get_log();
log.get()
}
但是,如果我用类型参数替换具体引用,编译就会失败,告诉我 Controller 的生命周期不够长,因为我不明白的原因,它认为 get_log 借用 Controller 超出了功能,因此比程序逻辑更长要求:
fn init2<'a: 'b, 'b, O>(control_dir: O) -> usize
where O: AsWorkspaceController<'b>+'a {
let controller = control_dir.get_controller();
let log = controller.get_log();
log.get()
}
fn main() {
let mut control_dir = FilesystemOverlay(5);
dbg!(init1(&mut control_dir));
dbg!(init2(&mut control_dir));
}
我尝试了几种方法,但到目前为止我无法找出 init2 的正确签名。这是我得到的错误:
error[E0597]: `controller` does not live long enough
--> test.rs:53:15
|
53 | let log = controller.get_log();
| ^^^^^^^^^^ borrowed value does not live long enough
54 | log.get()
55 | }
| - borrowed value only lives until here
|
note: borrowed value must be valid for the lifetime 'b as defined on the function body at 50:18...
--> test.rs:50:18
|
50 | fn init2<'a: 'b, 'b, O>(control_dir: O) -> usize
| ^^
error: aborting due to previous error
For more information about this error, try `rustc --explain E0597`.
这是 rust playground 上的完整代码.
那么,我需要如何更改 init2 的签名,以便编译器理解在调用 log.get() 后可能会删除 Controller ?我还需要对上述类型进行其他更改吗?
编辑:我做了一些额外的实验和 this是我能设法创造的最接近的。这个有两个生命周期和一个后期绑定(bind)的签名,但它仍然给出关于 UB 的警告。有谁知道为什么?
最佳答案
在 GitHub 上一位友善且知识渊博的人的帮助下,我能够创建代码的工作版本,请参阅 https://github.com/rust-lang/rust/issues/58868 .关键是在 AsWorkspaceController
内的 Controller
类型声明上使用自由生命周期绑定(bind):
trait AsWorkspaceController<'a> {
type Controller: for<'b> WorkspaceController<'b>+'a;
fn get_controller(&'a mut self) -> Self::Controller;
}
查看 playground 上的完整代码.
关于rust - 跨多个特征借用数据时如何编写适当的通用函数签名,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54738085/
这段代码在 Java 中的等价物是什么?我放了一部分,我对 I/O 部分感兴趣: int fd = open(FILE_NAME, O_WRONLY); int ret = 0; if (fd =
我正在尝试将维度为 d1,d2,d3 的张量 M[a1,a2,a3] reshape 为维度为 d2, d1*d3 的矩阵 M[a2,a1*a3]。我试过 M.reshape(d2,d1*d3) 但是
我是一名优秀的程序员,十分优秀!