- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我在外部 crate 中定义了一个特征,我需要从我定义的结构中的方法中返回它。接受 trait 类型作为输入参数没有问题,但我不知道如何返回它。该特征未实现 Sized
我不能改变它的实现。
这是一个示例代码(playground):
use std::fmt::Debug;
// this code is defined in an external crate
pub trait SomeTrait: Clone + Debug {
fn get_name(&self) -> &str;
}
#[derive(Clone, Debug)]
struct Implementor1(String);
impl SomeTrait for Implementor1 {
fn get_name(&self) -> &str {
&self.0
}
}
#[derive(Clone, Debug)]
struct Implementor2 {
name: String,
}
impl SomeTrait for Implementor2 {
fn get_name(&self) -> &str {
&self.name
}
}
// the code below is mine
struct ImplementorManager<T: SomeTrait> {
implementors: Vec<T>,
}
impl<T: SomeTrait> ImplementorManager<T> {
pub fn call_get_name(implementor: T) -> String {
implementor.get_name().to_string()
}
pub fn new_implementor(first: bool, name: &str) -> T {
match first {
true => Implementor1(name.to_string()),
false => Implementor2 {
name: name.to_string(),
},
}
}
}
fn main() {
let implementor = Implementor1("first".to_string());
println!("name: {}", ImplementorManager::call_get_name(implementor));
}
我得到的错误:
error[E0308]: mismatched types
--> src/main.rs:40:21
|
33 | impl<T: SomeTrait> ImplementorManager<T> {
| - this type parameter
...
38 | pub fn new_implementor(first: bool, name: &str) -> T {
| - expected `T` because of return type
39 | match first {
40 | true => Implementor1(name.to_string()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T`, found struct `Implementor1`
|
= note: expected type parameter `T`
found struct `Implementor1`
如果我将注释掉
new_implementor()
方法,
call_get_name()
方法可以很好地接受该特征。我试过
Box
返回的对象,但没有
Sized
是不可能的特征。
Peripheral
结构来自
btleplug
在我的结构中装箱。在 Linux 上,此结构是公共(public)的,但在私有(private)模块中。只有
Peripheral
trait 暴露在 api 模块中。
use btleplug::api::{BDAddr, Central, Peripheral};
use btleplug::bluez::manager::Manager;
use btleplug::Error;
use std::str::FromStr;
// cannot import the Peripheral struct as the module is private
// use btleplug::bluez::adapter::peripheral::Peripheral;
struct MyStruct<PeripheralType: Peripheral> {
device: PeripheralType,
}
impl<PeripheralType> MyStruct<PeripheralType>
where
PeripheralType: Peripheral,
{
fn get_device() -> PeripheralType {
let central = Manager::new()
.unwrap()
.adapters()
.unwrap()
.into_iter()
.next()
.unwrap()
.connect()
.unwrap();
central
.peripheral(BDAddr::from_str("2A:00:AA:BB:CC:DD").unwrap())
.unwrap()
}
pub fn new() -> Self {
let device = Self::get_device();
Self { device }
}
}
fn main() -> Result<(), Error> {
let _ = MyStruct::new();
Ok(())
}
我得到的错误:
error[E0308]: mismatched types
--> src/main.rs:27:9
|
13 | impl<PeripheralType> MyStruct<PeripheralType>
| -------------- this type parameter
...
17 | fn get_device() -> PeripheralType {
| -------------- expected `PeripheralType` because of return type
...
27 | / central
28 | | .peripheral(BDAddr::from_str("2A:00:AA:BB:CC:DD").unwrap())
29 | | .unwrap()
| |_____________________^ expected type parameter `PeripheralType`, found struct `btleplug::bluez::adapter::peripheral::Peripheral`
|
= note: expected type parameter `PeripheralType`
found struct `btleplug::bluez::adapter::peripheral::Peripheral`
不知怎的,
work internally ,但我不明白为什么它在我的例子中不起作用......
最佳答案
在这段代码中:
impl<PeripheralType> MyStruct<PeripheralType>
where
PeripheralType: Peripheral,
{
fn get_device() -> PeripheralType {
...
central
.peripheral(BDAddr::from_str("2A:00:AA:BB:CC:DD").unwrap())
.unwrap()
}
您正在向后获取类型依赖关系:您假设
PeripheralType
的任意类型(这就是
impl<PeripheralType>
的意思),然后尝试为其使用特定但无法命名的类型的值。
get_device
的定义。应该可以,因为
impl Peripheral
准确描述了“我有一个 trait 实现,但我没有说是哪一个”的情况:
// This should NOT be in an `impl<PeripheralType>` block.
fn get_device() -> impl Peripheral {
let central = Manager::new()
.unwrap()
.adapters()
.unwrap()
.into_iter()
.next()
.unwrap()
.connect()
.unwrap();
central
.peripheral(BDAddr::from_str("2A:00:AA:BB:CC:DD").unwrap())
.unwrap()
}
然后使用这个,你可以
使用这个返回值 构造你的结构体.
fn main() {
let device = get_device();
let my_struct = MyStruct { device };
my.do_something();
}
然而,这有一个问题:你永远不能写下
my_struct
的类型。因为它包含一个不可命名的参数。如果您需要这样做,那么我认为您将不得不使用动态调度:
struct MyStruct {
device: Box<dyn Peripheral>,
}
使用这种类型,没有类型参数会给你带来麻烦。 (您需要编写
Box::new(central...unwrap())
来初始化 struct 字段。)关键是通过
device
期望某种外围类型的东西不起作用。
It somehow seems to work internally, but I don't understand why it doesn't work in my example...
get_device
这是试图使外围类型比“无论我的类型参数是什么”更具体。
impl<T: SomeTrait> ImplementorManager<T> {
...
pub fn new_implementor(first: bool, name: &str) -> T {
match first {
true => Implementor1(...),
false => Implementor2 {...},
}
}
}
当你写
-> T
里面
impl<T: SomeTrait>
你是说这个方法总是返回
T
为所有
T
实现
SomeTrait
的.但这不是你正在做的;您将返回两种不同的特定类型,它们不能保证等于
T
.
T
)选择类型参数(
first
),这是不可能的。解决方案是使用静态类型信息,您可以通过编写自己的 trait 和实现来做到这一点:
trait SomeTraitFactory: SomeTrait {
fn new(name: &str) -> Self;
}
impl SomeTraitFactory for Implementor1 {
fn new(name: &str) -> Self {
Implementor1(name.to_string())
}
}
impl SomeTraitFactory for Implementor2 {
fn new(name: &str) -> Self {
Implementor2 {
name: name.to_string(),
}
}
}
一旦你有了这个工厂,你就可以拥有
ImplementorManager
在任何地方使用它:
impl<T: SomeTraitFactory> ImplementorManager<T> {
...
pub fn new_implementor(name: &str) -> T {
<T as SomeTraitFactory>::new(name)
}
}
请注意
bool
参数消失了,因为
ImplementorManager
的类型您使用的完全决定了构造哪个实现者。调用
new_implementor
有点烦,但是,因为您需要写出类型参数:
<ImplementorManager<Implementor2>>::new_implementor("second")
当您开始实际使用
ImplementorManager
时,此问题就会消失。值,在具有
self
的方法中, 因为可以使用
Self
携带类型:
impl<T: SomeTraitFactory> ImplementorManager<T> {
...
pub fn push_implementor(&mut self, name: &str) {
self.implementors.push(Self::new_implementor(name));
}
}
Implementor1
和
Implementor2
在同一个
ImplementorManager
,然后所有
<T>
s 是不需要的,您需要使用
Box<dyn Trait>
而是接近。这不会直接起作用,因为
SomeTrait: Clone
和
Clone
不是对象安全的,但您可以添加一个包装器特征,它转发到
SomeTrait
但隐藏了
Clone
部分:
trait SomeTraitWrapper: Debug {
fn get_name(&self) -> &str;
}
impl<T: SomeTrait> SomeTraitWrapper for T {
fn get_name(&self) -> &str {
SomeTrait::get_name(self)
}
}
然后
ImplementorManager
直接使用
dyn
:
struct ImplementorManager {
implementors: Vec<Box<dyn SomeTraitWrapper>>,
}
impl ImplementorManager {
pub fn call_get_name(implementor: Box<dyn SomeTraitWrapper>) -> String {
implementor.get_name().to_string()
}
pub fn new_implementor(first: bool, name: &str) -> Box<dyn SomeTraitWrapper> {
match first {
true => Box::new(Implementor1(name.to_string())),
false => Box::new(Implementor2 {
name: name.to_string(),
}),
}
}
}
关于rust - 从方法返回实现 trait 的对象,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/64181613/
编辑备注 由于 Rust(版本:1.42)仍然没有稳定的 ABI ,推荐使用extern (目前相当于extern "C"(将来可能会改变))否则,可能需要重新编译库。 This article解释如
词法分析器/解析器文件位于 here非常大,我不确定它是否适合只检索 Rust 函数列表。也许我自己编写/使用另一个库是更好的选择? 最终目标是创建一种执行管理器。为了上下文化,它将能够读取包装在函数
我试图在 Rust 中展平 Enum 的向量,但我遇到了一些问题: enum Foo { A(i32), B(i32, i32), } fn main() { let vf =
我正在 64 位模式下运行的 Raspberry Pi 3 上使用 Rust 进行裸机编程。我已经实现了一个自旋锁,如下所示: use core::{sync::atomic::{AtomicBool
我无法理解以下示例是如何从 this code 中提炼出来的, 编译: trait A: B {} trait B {} impl B for T where T: A {} struct Foo;
在我写了一些代码和阅读了一些文章之后,我对 Rust 中的移动语义有点困惑,我认为值移动后,它应该被释放,内存应该是无效的。所以我尝试写一些代码来作证。 第一个例子 #[derive(Debug)]
https://doc.rust-lang.org/reference/types/closure.html#capture-modes struct SetVec { set: HashSe
考虑 const-generic 数据结构的经典示例:方矩阵。 struct Matrix { inner: [[T; N]; N] } 我想返回一个结构体,其 const 参数是动态定义的:
以下代码无法编译,因为 x在移动之后使用(因为 x 具有类型 &mut u8 ,它没有实现 Copy 特性) fn main() { let mut a: u8 = 1; let x:
我在玩 Rust,发现了下面的例子: fn main() { let mut x = [3, 4, 5].to_vec(); x; println!("{:?}", x); }
假设一个 Rust 2018 宏定义了一个 async里面的功能。它将使用的语法与 Rust 2015 不兼容。因此,如果您使用 2015 版编译您的 crate,那么宏中的扩展代码不会与它冲突吗?
假设我有一些 Foo 的自定义集合s: struct Bar {} struct Foo { bar: Bar } struct SubList { contents: Vec, }
代码如下: fn inner(x:&'a i32, _y:&'b i32) -> &'b i32 { x } fn main() { let a = 1; { let b
在lifetime_things的定义中,'b的生命周期比'a长,但实际上当我调用这个函数时,x1比y1长,但是这样可以编译成功: //here you could see 'b:'a means
我正在尝试检索 FLTK-RS Widget 周围的 Arc Mutex 包装器的内部值: pub struct ArcWidget(Arc>); impl ArcWidget{ pub
如下代码所示,我想封装一个定时函数,返回一个闭包的结果和执行时间。 use tap::prelude::Pipe; use std::time::{Instant, Duration}; pub fn
我想实现自己的通用容器,这是我正在使用的特征的片段: pub trait MyVec where Self: Default + Clone + IntoIterator, Self:
所需代码: 注释掉的块可以编译并工作,但是我想从嵌套的匹配样式转变为更简洁的函数链 async fn ws_req_resp(msg: String, conn: PgConn) -> Result>
我正在尝试编写一些代码,该代码将生成具有随机值的随机结构。对于结构,我具有以下特征和帮助程序宏: use rand::{thread_rng, Rng}; use std::fmt; pub trai
我有一个带有函数成员的结构: struct Foo { fun: Box, } type FooI = Foo; 这不起作用: error[E0106]: missing lifetime s
我是一名优秀的程序员,十分优秀!