Kotlin类型不匹配(接口未正确解决)

Question

我正在使用Ktorm，并试图为我的表创建一个抽象和通用的DAO。最后，我得到了一个类型错配，我不知道我错了：

BaseEntity是具有id的实体类的接口：

interface BaseEntity<T: Entity<T>>: Entity<T> {
    val id: Int
}

用户( ORM类)：

interface User: BaseEntity<User>

IdTable (以int id作为主键的表)：

open class IdTable<T : BaseEntity<T>>(tableName: String) : Table<T>(tableName) {
    val id = int("id").primaryKey().bindTo { it.id }
}

用户(SQL表)：

object Users : IdTable<User>("users")

BaseDao：

open class BaseDao<E : BaseEntity<E>>(private val es: EntitySequence<E, IdTable<E>>)

UserDao实现了BaseDao：

class UserDao(val es: EntitySequence<User, IdTable<User>>) : BaseDao<User>(es)

现在，正如在Ktorm文档中提到的，我创建了一个EntitySequence，类似于

val Database.users get() = this.sequenceOf(Users)

我想创建一个UserDao：

userDao = UserDao(database.users)

但我得到

Type mismatch.
Required:
EntitySequence<User, IdTable<User>>
Found:
EntitySequence<User, Users>

但是Users是IdTable<User>类型的，因为它是从它继承的。为什么编译器不知道呢？

Answer 1

我不知道Ktorm，所以我不会帮你做那个部分，但是你的问题是由类型差异引起的。是的，你是对的，Users可以安全地用作IdTable<User>。但这并不意味着EntitySequence<User, Users>可以用作EntitySequence<User, IdTable<User>>。T类型参数的EntitySequence是不变的，这意味着它既不能安全地转换，也不能向上或向下转换。

为了安全地将EntitySequence<User, Users>转换为EntitySequence<User, IdTable<User>>，T必须是协变量，因此必须将其标记为out参数。但事实并非如此。

事实上，通过查看EntitySequence的定义，我认为T可以/应该标记为out。然后你就可以毫无问题地做你想做的事。也许这只是Ktorm的一个错误/疏忽。

如果我是正确的，并且T可能是协变的，那么通过进行未检查的强制转换来修复您的问题也是安全的：

userDao = UserDao(database.users as EntitySequence<User, IdTable<User>>)

一个长期的解决方案是向Ktorm开发人员报告这一点，要求他们将T标记为out.。