- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试为枚举实现Deref
:
use std::rc::Rc;
use std::ops::Deref;
pub trait tObject {
fn name(&self) -> String;
fn span(&self) -> u32;
}
pub struct t1 {
pub name: String,
pub bd: Option<String>,
pub span: u32,
pub label: Option<String>
}
pub struct t2 {
pub name: String,
pub vrf: Option<String>,
pub span: u32,
pub label: Option<String>,
pub svi: u32
}
pub struct t3 {
pub name: String,
pub span: u32,
pub label: Option<String>
}
impl tObject for t1 {
fn name(&self) -> String {self.name.clone()}
fn span(&self) -> u32 {self.span.clone()}
}
impl tObject for t2 {
fn name(&self) -> String {self.name.clone()}
fn span(&self) -> u32 {self.span.clone()}
}
impl tObject for t3 {
fn name(&self) -> String {self.name.clone()}
fn span(&self) -> u32 {self.span.clone()}
}
pub enum TType {
t1(Rc<t1>),
t2(Rc<t2>),
t3(Rc<t3>)
}
impl Deref for TType {
type Target = tObject;
fn deref<'a>(&'a self) -> &'a tObject {
match *self {
TType::t1(ref x) => x as &t1,
TType::t2(ref x) => x as &t2,
TType::t3(ref x) => x as &t3
}
}
}
fn main() {
let mut t1s: Vec<Rc<t1>> = Vec::new();
let mut t2s: Vec<Rc<t2>> = Vec::new();
let mut t3s: Vec<Rc<t3>> = Vec::new();
let t_iter: Box<Iterator<Item=TType>> = Box::new(t1s.iter().map(|x| TType::t1(x.clone())).chain(
t2s.iter().map(|x| TType::t2(x.clone())).chain(
t3s.iter().map(|x| TType::t3(x.clone())))));
}
编译器报错:
rustc 1.15.1 (021bd294c 2017-02-08)
error[E0495]: cannot infer an appropriate lifetime for lifetime parameter 'a in generic type due to conflicting requirements
--> <anon>:53:5
|
53 | fn deref<'a>(&'a self) -> &'a tObject {
| _____^ starting here...
54 | | match *self {
55 | | TType::t1(ref x) => x as &t1,
56 | | TType::t2(ref x) => x as &t2,
57 | | TType::t3(ref x) => x as &t3
58 | | }
59 | | }
| |_____^ ...ending here
|
note: first, the lifetime cannot outlive the anonymous lifetime #1 defined on the body at 53:42...
--> <anon>:53:43
|
53 | fn deref<'a>(&'a self) -> &'a tObject {
| ___________________________________________^ starting here...
54 | | match *self {
55 | | TType::t1(ref x) => x as &t1,
56 | | TType::t2(ref x) => x as &t2,
57 | | TType::t3(ref x) => x as &t3
58 | | }
59 | | }
| |_____^ ...ending here
note: ...so that method type is compatible with trait (expected fn(&TType) -> &tObject + 'static, found fn(&TType) -> &tObject)
--> <anon>:53:5
|
53 | fn deref<'a>(&'a self) -> &'a tObject {
| _____^ starting here...
54 | | match *self {
55 | | TType::t1(ref x) => x as &t1,
56 | | TType::t2(ref x) => x as &t2,
57 | | TType::t3(ref x) => x as &t3
58 | | }
59 | | }
| |_____^ ...ending here
= note: but, the lifetime must be valid for the static lifetime...
note: ...so that method type is compatible with trait (expected fn(&TType) -> &tObject + 'static, found fn(&TType) -> &tObject)
--> <anon>:53:5
|
53 | fn deref<'a>(&'a self) -> &'a tObject {
| _____^ starting here...
54 | | match *self {
55 | | TType::t1(ref x) => x as &t1,
56 | | TType::t2(ref x) => x as &t2,
57 | | TType::t3(ref x) => x as &t3
58 | | }
59 | | }
| |_____^ ...ending here
如果我将返回类型设为 deref
Self::Target
而不是 tObject
,它可以正常编译。我不明白这种行为。
最佳答案
这是一个MCVE .程序员使用这些来帮助缩小问题的范围。例如,此 MCVE 排除了由于使用 enum
、Rc
、特征中的任何方法或结构中的任何字段而导致的任何情况.这使我们能够专注于重要的事情:
use std::ops::Deref;
pub trait Trait {}
pub struct S {}
impl Trait for S {}
pub struct Container(S);
impl Deref for Container {
type Target = Trait;
// fn deref(&self) -> &Trait { // Fails!
fn deref(&self) -> &Self::Target { // Works!
&self.0
}
}
从代码中,我们可以凭直觉知道,不知何故,Trait
和 Self::Target
不是 相同的类型。在这里查看类型有点棘手,但是这段代码将类型打印为编译器错误:
fn deref(&self) -> &Self::Target {
let a: Self::Target;
&self.0
}
error[E0277]: the trait bound `Trait + 'static: std::marker::Sized` is not satisfied
我们实际上并不关心错误,但我们发现了类型:Trait + 'static
。让我们看看如果我们尝试类似的事情会发生什么:
fn deref(&self) -> &(Trait + 'static) {
&self.0
}
这编译。
如果您不熟悉此语法,有很多关于它的问题。这里有一些:
关于rust - 实现 Deref 特征时无法为生命周期参数推断出合适的生命周期,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42309597/
设置 我希望能够定义一个特征,使得任何实现该特征的结构不仅必须实现函数,而且还必须为某些常量指定值。所以也许是这样的: trait MyTrait { const MY_CONST: u8;
在我的 Web 应用程序中,授权用户至少有 4 个“方面”:http session 相关数据、持久数据、facebook 数据、运行时业务数据。 我决定使用案例类组合而不是特征至少有两个原因: 性状
我正在尝试使用以下代码从类中获取完整数据成员的列表: import std.stdio; import std.traits; class D { static string[] integr
我正在尝试实现 From对于我的一种类型。它应该消耗任意长度的行(仅在运行时已知)并从行中获取数据。编译器提示 &[&str; 2]不是 &[&str] ,即它不能将固定大小的切片转换为任意长度的切片
有人可以请你这么好心,并指出一种提取拟合树中使用的列/特征的方法,使用如下代码: library(dplyr) library(caret) library(rpart) df % dplyr
假设我定义了一个 Group所有组操作的特征。是否可以创建一个包装器AGroup超过 Group无需手动派生所有操作? 基本上,我想要这个: #[derive (Copy, Debug, Clone,
最近浏览了Markus Stocker的博客他很好地解释了如何在使用 observation 时表示传感器观察结果。 SSN 的模块本体论。我完全理解他的解释,但我发现有一件事多余地代表了一个的两个特
我有以下情况/代码; trait Model { def myField: String } case class MyModel(myField: String) extends Model
我想让一个案例类扩展一个特征 以下是我的要求: 我需要为 child 使用案例类。这是一个硬性要求,因为 scopt ( https://github.com/scopt/scopt ) parent
最近浏览了Markus Stocker的博客他很好地解释了如何在使用 observation 时表示传感器观察结果。 SSN 的模块本体论。我完全理解他的解释,但我发现有一件事多余地代表了一个的两个特
我有以下情况/代码; trait Model { def myField: String } case class MyModel(myField: String) extends Model
不确定标题是否完全有意义,对此感到抱歉。我是机器学习新手,正在使用 Scikit 和决策树。 这就是我想做的;我想获取所有输入并包含一个独特的功能,即客户端 ID。现在,客户端 ID 是唯一的,无法以
我想读取具有 Eigen 的 MNIST 数据集,每个文件都由一个矩阵表示。我希望在运行时确定矩阵大小,因为训练集和测试集的大小不同。 Map> MNIST_dataset((uchar*)*_dat
在 MATLAB 中,我可以选择一个分散的子矩阵,例如: A = [1 ,2 ,3;4,5,6;7,8,9] A([1,3],[1,3]) = [1,3;7,9] 有没有用 Eigen 做到这一点的聪
我在执行 Into 时遇到问题Rust 中通用结构的特征。下面是我正在尝试做的简化版本: struct Wrapper { value: T } impl Into for Wrapper {
我有这段 matlab 代码,我想用 Eigen 编写: [V_K,D_K] = eig(K); d_k = diag(D_K); ind_k = find(d_k > 1e-8); d_k(ind_
我正在使用 Eigen C++ 矩阵库,我想获取对矩阵列的引用。文档说要使用 matrix_object.col(index),但这似乎返回了一个表示列的对象,而不是简单地引用原始矩阵对象中的列。我担
在乘以很多旋转矩阵之后,由于舍入问题(去正交化),最终结果可能不再是有效的旋转矩阵 重新正交化的一种方法是遵循以下步骤: 将旋转矩阵转换为轴角表示法 ( link ) 将轴角转换回旋转矩阵 ( lin
定义可由命名空间中的多个类使用的常量的最佳方法是什么?我试图避免太多的继承,所以扩展基类不是一个理想的解决方案,我正在努力寻找一个使用特征的好的解决方案。这在 PHP 5.4 中是可行的还是应该采用不
定义可由命名空间中的多个类使用的常量的最佳方法是什么?我试图避免太多的继承,所以扩展基类不是一个理想的解决方案,我正在努力寻找一个使用特征的好的解决方案。这在 PHP 5.4 中是可行的还是应该采用不
我是一名优秀的程序员,十分优秀!