當其中一個相關類型無法命名時，如何實現特征？

Question

我有一個返回impl Trait的函數，所以我沒有訪問具體的返回類型。 我需要使用該函數的返回值作為特征中的關聯類型。 我怎么做？

這是一個簡化的例子：

fn f() -> impl Iterator<Item = u8> {
    std::iter::empty()
}

struct S;

impl IntoIterator for S {
    type Item = u8;
    type IntoIter = (); // What can I write here ?

    fn into_iter(self) -> Self::IntoIter {
        f()
    }
}

它甚至可以做（沒有訴諸拳擊迭代器）？

Answer 1

不幸的是，你做不到。 至少還沒有。

有一個RFC， 命名存在和impl Trait變量聲明 （ 跟蹤問題 ），它允許您在模塊級別聲明一個公共類型名稱 ，其類型定義是從它在模塊中使用的方式推斷出來的。 模塊的用戶可以通過其公共名稱引用此類型，並且可以將其用作關聯類型。

很難猜測新功能何時會穩定下來，同時確實沒有太多好的選擇。 除了因用例的具體情況而可能起作用的事情之外，一般的解決方法是使用特征對象：

impl IntoIterator for S {
    type Item = u8;
    type IntoIter = Box<dyn Iterator<Item = u8>>;

    fn into_iter(self) -> Self::IntoIter {
        Box::new(f())
    }
}

如果可以使用夜間功能，您可以在穩定之前幫助測試RFC：

#![feature(existential_type)]

impl IntoIterator for S {
    type Item = u8;
    existential type IntoIter: Iterator<Item = u8>;

    fn into_iter(self) -> Self::IntoIter {
        f()
    }
}