具有相关类型的别名特征

Question

是否可以使用指定的关联类型创建特征别名？我正在使用类似问题的方法为多个特征输入别名

trait Trait {
    type Item;
}

fn print<T>(value: T) where T: Trait<Item=char> {
}

trait Alias: Trait {}
impl<T: Trait<Item=char>> Alias for T {}

fn print_alias<T: Alias>(value: T) {
    print(value)
}

fn main() {
}

但是无法编译并出现以下错误:

<anon>:12:5: 12:10 error: type mismatch resolving `<T as Trait>::Item == char`:
 expected associated type,
    found char [E0271]
<anon>:12     print(value)
              ^~~~~
<anon>:12:5: 12:10 note: required by `print`
<anon>:12     print(value)
              ^~~~~
error: aborting due to previous error

围栏链接:http://is.gd/LE4h6a

Answer 1

@ Shepmaster的解决方案可以在本地解决问题; 但你必须where T: Alias<Item=char>每次指定.或者,您可以通过要求所有Alias实现来全局解决它Trait<Item=char>:

trait Alias: Trait<Item=char> {}
impl<T: Trait<Item=char>> Alias for T {}

首选哪种全球或本地解决方案完全取决于您.