如何从trait方法返回std：：iter：：Map？

我能想到的解决这个问题的唯一方法是禁止使用捕获闭包（因为它们的类型还不能在特征中命名）以支持函数指针。然后，您可以使用关联类型定义您的特征，而不是返回位置 impl 特征。这显然限制了可能的实现，但它仍然允许您展示的用例：

trait TupleExtractor<'a, T1: 'a, T2: 'a>: Iterator<Item = &'a (T1, T2)> {
    type Mapper: Iterator<Item = T1>;
    fn tuple_first(
        self,
    ) -> Self::Mapper;
    //   ^^^^^^^^^^^^ replace return position impl trait with associated type
}

impl<'a, T1: 'a + Copy, T2: 'a, I> TupleExtractor<'a, T1, T2> for I
where
    I: Iterator<Item = &'a (T1, T2)>,
{
    type Mapper = std::iter::Map<I, fn(&'a (T1, T2)) -> T1>;
    //                              ^^^^^^^^^^^^^^^^^^^^^^ we can actually name this type
    fn tuple_first(self) -> Self::Mapper {
        // implementation stays the same because this is just an anonymous function
        // not a closure
        self.map(|e| e.0)
    }
}

#[test]
fn test_tuple_first() {
    let v = vec![(1, 'a'), (2, 'b'), (3, 'b')];
    assert!(v.iter().tuple_first().eq([1, 2, 3].into_iter()))
}

如果该类型需要针对其他潜在的特征方法更具可扩展性，则可以将其设置为泛型，而不是它生成的项类型：Mapper

trait TupleExtractor<'a, T1: 'a, T2: 'a>: Iterator<Item = &'a (T1, T2)> {
    type Mapper<T>: Iterator<Item = T>
    where
        T: 'a;
    
    fn tuple_first(
        self,
    ) -> Self::Mapper<T1>;
    
    fn tuple_second(
        self,
    ) -> Self::Mapper<T2>;
}

impl<'a, T1: 'a + Copy, T2: 'a + Copy, I> TupleExtractor<'a, T1, T2> for I
where
    I: Iterator<Item = &'a (T1, T2)>,
{
    type Mapper<T> = std::iter::Map<I, fn(&'a (T1, T2)) -> T> where T: 'a;
    
    fn tuple_first(self) -> Self::Mapper<T1> {
        self.map(|e| e.0)
    }
    
    fn tuple_second(self) -> Self::Mapper<T2> {
        self.map(|e| e.1)
    }
}

#[test]
fn test_tuple_first() {
    let v = vec![(1, 'a'), (2, 'b'), (3, 'b')];
    assert!(v.iter().tuple_first().eq([1, 2, 3].into_iter()))
}

#[test]
fn test_tuple_second() {
    let v = vec![(1, 'a'), (2, 'b'), (3, 'b')];
    assert!(v.iter().tuple_second().eq(['a', 'b', 'b'].into_iter()))
}

在 Rust 1.75 版本中，您将能够编写为返回类型。这将使您的尝试 1（当修复正确性时）工作不变。唯一的其他效果是您需要从中删除该类型，因为它现在是不透明的。impl Traitm

我简化了你的特征，使内容更易于阅读，但这种技术也适用于所有泛型的原始特征。特别是，您可能希望在特征中保留泛型。T1

trait TupleExtractor {
    type TupleItem;
    fn tuple_first(self) -> impl Iterator<Item = Self::TupleItem>;
}

impl<'a, T1, T2, I> TupleExtractor for I
where
    I: Iterator<Item = &'a (T1, T2)>,
    T1: Copy + 'a,
    T2: 'a,
{
    type TupleItem = T1;
    fn tuple_first(self) -> impl Iterator<Item = Self::TupleItem> {
        self.map(|e| e.0)
    }
}

1.75 将于 2023 年底推出。一般概念称为“返回位置 impl trait in trait”（RPITIT），专门用于将异步特征脱糖为 。你今天就可以使用 Rust 的测试版或夜间版本来尝试这个。impl Future