Dart：在抽象類中覆蓋泛型函數時輸入錯誤

Question

在 Dart/flutter 中，我有以下課程：

abstract class Base {
   V foo<V, T>(T arg);
}

class Concrete implements Base {
   @override
   TypeA foo<TypeA, TypeB>(TypeB arg) {
       //... do something and return TypeA variable x
       return x;
   }
}

TypeA 和 TypeB 是用戶定義的類型。 但是，我收到錯誤消息：<The value of type B can't be returned from method 'foo' because it has a return type of TypeB>。 有線！ 你能幫我理解這里發生了什么嗎？ 我試圖得到的是一個通用的 API 函數 foo()，其中輸入和輸出類型可以由實現的類靈活定義。

Answer 1

問題是這里的TypeA和TypeB不是用戶定義的類型。 它們是恰好與用戶定義的類型同名的類型變量。 對Concrete.foo每次調用都需要傳遞類型參數，並且主體需要適用於任何類型參數（這就是“通用”的意思，它通常適用於任何類型）。

如果您嘗試從Concrete.foo返回用戶定義類型TypeA某些內容，則會出現錯誤，因為它沒有類型變量TypeA ... 的類型，對於可以作為類型參數傳遞的任何類型。

我的猜測是你想要的是一個泛型類：

abstract class Base<V, T> {
   V foo(T arg);
}

class Concrete implements Base<TypeA, TypeB> {
   @override
   TypeA foo(TypeB arg) {
       //... do something and return TypeA variable x
       return x;
   }
}

它使用實際的TypeA和TypeB參數化接口。