Question

如果我尝试定义这样的盒装IEvent字段：

use stdweb::private::ConversionError;
use stdweb::web::event::IEvent;

struct Foo {
    bar: Box<IEvent<Error = ConversionError>>,
}

我收到这样的错误：

error[E0221]: ambiguous associated type `Error` in bounds of `stdweb::traits::IEvent`
  --> src/events.rs:16:21
   |
16 |     bar: Box<IEvent<Error = ConversionError>>,
   |                     ^^^^^^^^^^^^^^^^^^^^^^^ ambiguous associated type `Error`
   |
note: associated type `stdweb::traits::IEvent` could derive from `stdweb::unstable::TryFrom<stdweb::Reference>`
  --> src/events.rs:16:21
   |
16 |     bar: Box<IEvent<Error = ConversionError>>,
   |                     ^^^^^^^^^^^^^^^^^^^^^^^
note: associated type `stdweb::traits::IEvent` could derive from `stdweb::unstable::TryFrom<stdweb::Value>`
  --> src/events.rs:16:21
   |
16 |     bar: Box<IEvent<Error = ConversionError>>,
   |                     ^^^^^^^^^^^^^^^^^^^^^^^

If you want more information on this error, try using "rustc --explain E0221"

如何编写语法来设置关联的Error类型（针对特征TryFrom<Value>和TryFrom<Reference>）？

Answer 1

我不相信你可以。

检查我认为是编译器中的相关类型（TypeBinding in libsyntax）表明它只支持关联类型的单个标识符。所以我认为没有办法从字段类型中指定相关类型。

定义自己的中间特征没有帮助，因为它使用相同的语法来约束相关类型。甚至修改stdweb中的特征似乎也不起作用，因为尝试将TryFrom::Error类型约束到相关类型，例如ReferenceType会产生循环依赖关系，该依赖关系被拒绝编译器。更改ReferenceType以接受用于直接约束Error类型的泛型类型参数也不满足它。

这可能只是语言根本无法处理的边缘情况。如果其他人没有提出解决方案，我建议在compiler's issue tracker中打开一个问题并提供一个完整的激励示例。

我能想到的唯一其他解决方案是修改stdweb以不使用多个TryFrom约束。

如何消除特征对象边界中关联类型的歧义？

1 个答案: