Rust 中特质的平等约束。带有 Into的变体特征

Question

我希望 ToKeyIter::Item 等于 ToKeyIter::KeyIter::Item 因为 KeyIter 应该实现 Iterator 特征。我无法做到这一点，因为 where 子句中的约束相等。这就是为什么我决定使用 Trait Into。

pub trait ToKeyIter {
    type Item: Clone + Hash + Eq;
    type KeyIter<'b>: Iterator where Self: 'b, <Self::KeyIter<'b> as Iterator>::Item: Into<Self::Item>;
    fn key_iter<'a> (&'a self) -> Self::KeyIter<'a> 
    where <Self::KeyIter<'a> as Iterator>::Item: Into<Self::Item>;
}

该特征本身可以编译，但是当我尝试将其实现为 str 或 String 时，编译器会失败并显示“溢出评估需求”。

impl ToKeyIter for str {
    type Item = char;
    type KeyIter<'a> = Chars<'a>;

    fn key_iter<'a> (&'a self) -> Chars<'a> {
        self.chars()
    }
}


impl ToKeyIter for String {
    type Item = char;
    type KeyIter<'a> = Chars<'a>;
    
    fn key_iter<'a> (&'a self) -> Chars<'a> {
        self.chars()
    }
} 

如果您能告诉我如何写这样的东西，

Key::Item == Key::KeyIter::Item

那就太好了。但我也想知道我应该做什么才能为带有 Into 特征的 str 和 String 提供正确的实现。

Answer 1

您可以指定迭代＆lt; item = self :: item＆gt;以获取所需的东西。参见

#![feature(generic_associated_types)]

use std::hash::Hash;
use std::str::Chars;

pub trait ToKeyIter {
    type Item: Clone + Hash + Eq;
    type KeyIter<'a>: Iterator<Item=Self::Item>
    where
        Self: 'a;
    fn key_iter<'a>(&'a self) -> Self::KeyIter<'a>;
}

impl ToKeyIter for str {
    type Item = char;
    type KeyIter<'a> = Chars<'a>;

    fn key_iter<'a> (&'a self) -> Chars<'a> {
        self.chars()
    }
}
impl ToKeyIter for String {
    type Item = char;
    type KeyIter<'a> = Chars<'a>;
    
    fn key_iter<'a> (&'a self) -> Chars<'a> {
        self.chars()
    }
}