我在给别人的泛型 API 写包装，它的 FromEncoding trait 支持大多数基本类型[1] (#footnote-682731-1)。我想让这个包装能够把该 API 提供的值收集到一个集合里。
一开始我想，“集合实现了 FromIterator<Element>，直接用它不就行了吗？”看来不行，因为 Rust 无法确定我指的是哪个 Element，这也很合理，多个 impl FromEncoding for IterElement 都可能对应一个 impl FromIterator<IterElement> for Bucket<BucketElement>。有办法处理这种情况吗，还是说应该只支持固定的几个集合，比如 Vec 和 HashSet？
如果这有助于排除 XY 问题，实际用到的 trait 是 rusqlite::FromSql。↩︎ (#footnote-ref-682731-1)
I'm building a wrapper for somebody else's generic API, whose FromEncoding trait supports most primitive types[1] (#footnote-682731-1). I want this wrapper to support gathering the values supplied by that API together into a collection.
Initially I thought, "collections implement FromIterator<Element>, couldn't that handle it?" Apparently not, since Rust (quite reasonably) can't determine which Element I mean: several impl FromEncoding for IterElement could each match an impl FromIterator<IterElement> for Bucket<BucketElement>. Is there a way around this, or should I just support a fixed selection of collections (say Vec and HashSet)?
The actual trait here is rusqlite::FromSql, if that helps rule out an XY problem. ↩︎ (#footnote-ref-682731-1)
可以提供一个会失败的小例子，以及编译器的诊断信息吗？我不太清楚你想表达这些类型的什么约束。看到编译器拒绝的具体尝试后，我们会更容易确定从哪里开始找解决办法。
Could you share a small example that fails, together with the compiler's diagnostic? I can't quite tell which constraints you're trying to express on these types. Seeing the attempt that the compiler refused would give us a much clearer starting point for working out a solution.
可以看通过 impl Trait 参数获取关联常量(https://users.rust-lang.org/t/obtaining-associated-constant-from-impl-trait-parameter/128600)，这个问题很相近。
See Getting associated constants via impl Trait arguments (https://users.rust-lang.org/t/obtaining-associated-constant-from-impl-trait-parameter/128600), a closely related question.
你好， 在一个我无法修改代码的包里，类的层次结构如下。 我想给 Inner 加个方便使用的包装，但因为 Inner 依赖外层实例，目前只做到把它放进外层类的子类里面。 可惜，在多个地方继承 Outer，就意味着每个新子类里都得重复这个方便使用的 ca…
我发现下面两个表达式 以及 行为完全相同。证明定理时也是这样。 它们可以互换吗？区别在哪里？
我在创建一个 Map，其中每个条目都保存字符串数组。怎样在一条语句中同时声明类型并完成初始化？ 我（天真地）这样试了一下。 结果是下面这个错误。
