请考虑以下代码:
type ThingIter = dyn Iterator<Item = u64>;
trait Foo {
type ThingIter: Iterator<Item = u64>;
}
enum Bar<T: Foo> {
A(T::ThingIter),
B(ThingIter),
}
使用Rust-1.68.2进行编译时，enum arm A编译得很好(即，如果我注释掉B，它就会编译)，但enum arm B不能--我得到一个错误，表明ThingIter没有在编译时可以知道的大小.
为什么会有这种不同呢？T::ThingIter的大小在编译时也是未知的(它可以是任意大小容器的迭代器).此外，除了将其放入Box或引用之外，我还可以做些什么来使外部type的行为类似于内部type(即，我可以将其放入枚举中而不会出现问题)？
T::ThingIter的大小在编译时也是未知的(它可以是任意大小容器的迭代器).
T::ThingIter确实有一个已知的大小，因为有一个implicit + Sized bound.如果您还想接受未调整大小的类型，则必须明确 Select 不使用它.如果您放松该约束，则它也无法编译:
trait Foo {
type ThingIter: Iterator<Item = u64> + ?Sized;
}
结果:
error[E0277]: the size for values of type `<T as Foo>::ThingIter` cannot be known at compilation time
--> src/lib.rs:8:7
|
8 | A(T::ThingIter),
| ^^^^^^^^^^^^ doesn't have a size known at compile-time
此外，除了将其放入
Box或引用之外，我可以做些什么来使外部type的行为类似于内部type(即，我可以将其放入enum而不会出现问题)？
这些都是常见的解决方案.枚举变体不允许包含动态调整大小的字段.
如果迭代器在其他地方拥有，则&借入有效；否则，像Box、Rc或Arc这样的拥有指针是合理的.