구조체와 특성 간의 수명을 어떻게 통합 할 수 있습니까?

Question

특성 메서드에서 수명을 지정하는 특성이 있고 수명이 필요한 값을 보유하는 구조가 있습니다. 구조체가 특성을 구현하도록하고 싶습니다. 이는 수명이 일치해야 함을 의미합니다. 그러나 그것을 표현하는 방법을 모르겠습니다.

struct Context<'d> { 
    name: &'d str, 
} 

struct Value<'d> { 
    name: &'d str, 
} 

trait Expression { 
    fn evaluate<'d>(&self, context: &Context<'d>) -> Value<'d>; 
} 

struct Constant<'d> { 
    value: Value<'d>, 
} 

시도 1 - 방법에 수명을 지정 :이 impl에 수명의 원인

impl<'d> Expression for Constant<'d> { 
    fn evaluate<'d>(&self, _unused: &Context<'d>) -> Value<'d> { 
     self.value 
    } 
} 

것은 그림자, 나는 같은 오류를 얻을 수 :

$ rustc x.rs 
x.rs:18:5: 20:6 help: consider using an explicit lifetime parameter as shown: fn evaluate<'d>(&self, _unused: &Context<'d>) -> Value<'d> 
x.rs:18  fn evaluate<'d>(&self, _unused: &Context<'d>) -> Value<'d> { 
x.rs:19   self.value 
x.rs:20  } 
x.rs:19:9: 19:19 error: mismatched types: expected `Value<'d>`, found `Value<'d>` (lifetime mismatch) 
x.rs:19   self.value 
       ^~~~~~~~~~ 

시도 2 ​​ - 수명 지정 없음 :

impl<'d> Expression for Constant<'d> { 
    fn evaluate(&self, _unused: &Context<'d>) -> Value<'d> { 
     self.value 
    } 
} 

이 실제로 방법을 구현하기 위해 저를 발생합니다

trait Expression<'d> { 
    fn evaluate(&self, context: &Context<'d>) -> Value<'d>; 
} 

impl<'d> Expression<'d> for Constant<'d> { 
    fn evaluate(&self, _unused: &Context<'d>) -> Value<'d> { 
     self.value 
    } 
} 

Playpen

이유 :

$ rustc x.rs 
x.rs:18:5: 20:6 error: method `evaluate` has an incompatible type for trait: expected concrete lifetime, found bound lifetime parameter 'd [E0053] 
x.rs:18  fn evaluate(&self, _unused: &Context<'d>) -> Value<'d> { 
x.rs:19   self.value 
x.rs:20  } 
x.rs:18:60: 20:6 note: expected concrete lifetime is the lifetime 'd as defined on the block at 18:59 
x.rs:18  fn evaluate(&self, _unused: &Context<'d>) -> Value<'d> { 
x.rs:19   self.value 
x.rs:20  } 

Answer 1

당신은 특성 자체가 평생 매개 변수를 제공해야합니다을 당신은 # 1 (그림자 이외에) 오류가 생기고있다. 당신의 특성이 th의 수명을 가지기 위해 context을 제한하고있다. 반환 유형은 아니지만 self이 아닙니다. self을 제한하려면 특성 자체에 수명 매개 변수가 있어야합니다.

오류가 2 번 발생하는 이유는 간단합니다. 수명은 유형 시스템의 일부이며 불일치 할 수 없습니다. 작성하는 모든 일반 코드는 에 대해 특성을 구현해야하며, 각 구현에서 수명이 다르게 적용되면 작동하지 않습니다.