0
문제는 변환 Type -> OtherType
함수가 f(t: Type) -> Result<OtherType, ConcreteError>
이다 (실패 할 수 있다는 것이다.
그 때문에, 반복 물론 불가능 기본 반복기 또는 콘크리트 오류 유형부터) E
(일반 반환 될 .
최소한의 예 :
pub struct A;
pub struct B;
pub struct CongreteError;
fn transform(a: A) -> Result<B, CongreteError> {
Ok(B {})
}
pub struct ExtensionIter<E>(Box<Iterator<Item = Result<A, E>>>);
impl<E> Iterator for ExtensionIter<E> {
type Item = Result<B, E>;
fn next(&mut self) -> Option<Self::Item> {
match self.0.next() {
Some(Ok(a)) => Some(transform(a)),
Some(Err(e)) => Some(Err(e)),
None => None,
}
}
}
pub trait Extension<E> {
fn extend(self) -> ExtensionIter<E>;
}
impl<E, I> Extension<E> for I
where
I: Iterator<Item = Result<A, E>>,
{
fn extend(self) -> ExtensionIter<E> {
ExtensionIter(Box::new(self))
}
}
fn main() {
let v: Vec<A> = vec![];
for element in v.iter().extend() {
match element {
Ok(b) => {}
Err(e) => {}
}
}
}
,
오류 :
error[E0308]: mismatched types
--> src/main.rs:16:33
|
16 | Some(Ok(a)) => Some(transform(a)),
| ^^^^^^^^^^^^ expected type parameter, found struct `CongreteError`
|
= note: expected type `std::result::Result<_, E>`
found type `std::result::Result<_, CongreteError>`
= help: here are some functions which might fulfill your needs:
- .map_err(...)
- .or(...)
- .or_else(...)
error[E0310]: the parameter type `I` may not live long enough
--> src/main.rs:32:23
|
27 | impl<E, I> Extension<E> for I
| - help: consider adding an explicit lifetime bound `I: 'static`...
...
32 | ExtensionIter(Box::new(self))
| ^^^^^^^^^^^^^^
|
note: ...so that the type `I` will meet its required lifetime bounds
--> src/main.rs:32:23
|
32 | ExtensionIter(Box::new(self))
| ^^^^^^^^^^^^^^
error[E0599]: no method named `extend` found for type `std::slice::Iter<'_, A>` in the current scope
--> src/main.rs:38:29
|
38 | for element in v.iter().extend() {
| ^^^^^^
|
= note: the method `extend` exists but the following trait bounds were not satisfied:
`std::slice::Iter<'_, A> : Extension<_>`
`&std::slice::Iter<'_, A> : Extension<_>`
`&mut std::slice::Iter<'_, A> : Extension<_>`
= help: items from traits can only be used if the trait is implemented and in scope
= note: the following trait defines an item `extend`, perhaps you need to implement it:
candidate #1: `Extension`
감사 : 그럼 한 유형에서 다른 유형으로 매핑 단지 문제
:이 경우, 우리는 기본 오류 또는 우리 자신이 될하는 열거를 정의 할 수 있습니다 . 저는 2 년 동안 Rust 프로그래머였으며 여러 번 읽었습니다. 방금 결과가 '(enum 도우미없이) 반환하는 방법이있을 것이라고 생각했습니다. – musicmatze
감사합니다. 실제 코드를보고 싶다면 : https://github.com/matthiasbeyer/imag/pull/1163 – musicmatze