rust - 如何从主泛型推论出子泛型？

Question

是否可以更改此代码以仅指定主要类型:impl Writer<MyTable>，并让Rust自动推断出H和R参数？

trait Table<H, R> {
    fn rows(&self) -> &Vec<R>;
    fn header(&self) -> &H;
}

// MyTable implements Table

trait Writer<H, R, T: Table<H, R>> {}

impl Writer<MyTableHeader, MyTableRow, MyTable> for WriterImpl {}

Answer 1

解决问题的一种方法是将H和R模板参数作为关联类型移动到Table特性中:

trait Table {
    type Header;
    type Row;

    fn rows(&self) -> &Vec<Self::Row>;
    fn header(&self) -> &Self::Header;
}

实现此特征时，您可以指定要用作 Header和 Row的类型。
然后，您可以修改 Writer以仅接受一个模板参数:

trait Writer<T: Table> {}