我在使用 JOOQ 的类上遇到泛型类型问题。
public abstract class BaseDataAccessObject<T extends BaseDataClass, U extends UpdatableRecord> {
protected abstract RecordMapper<U, T> getRecordMapper();
public T insert(T data) throws Exception{
//Some code ...
U record = getRecord(data);
record.store();
return record.map(getRecordMapper()); // <-- PROBLEM HERE !
}
}
Map 接受此类型的一个参数 RecordMapper<Record, E>
它返回 E
类型的对象.
我面临这个问题:
Error:(110, 22) java: method map in interface org.jooq.Record cannot be applied to given types;
required : org.jooq.RecordMapper<org.jooq.Record,E>
found : org.jooq.RecordMapper<U,T>
reason: cannot infer type-variable(s) E argument mismatch; org.jooq.RecordMapper<U,T> cannot be converted to org.jooq.RecordMapper<org.jooq.Record,E>)
我不明白为什么,因为:
- 通用
U
,继承形式UpdatableRecord
谁继承自org.jooq.Record
,然后U
应该与org.jooq.Record
兼容. -
E
应该与T
兼容(没有定义祖先)。
我必须保留 U
延伸UpdatableRecord
.
最佳答案
这个 Record.map(RecordMapper)
方法是 jOOQ 早期的一个错误。在非单子(monad)类型(即非包装类型)上使用 map
方法是完全没有意义的。例如。 Stream.map() 完全没问题,因为流可以将其内容映射到其他内容,从而生成另一个流。 Optional.map()
完全没问题,因为可选值可以将其内容映射到其他内容,从而生成另一个可选值。
但是项目/值不应该能够映射自身。通过使用递归泛型,有轻微的可能性来纠正这个问题,but that would have been an even bigger mistake .
但幸运的是,这是您问题的解决方案,而且非常简单:
U record = getRecord(data);
record.store();
return getRecordMapper().map(record); // <-- PROBLEM HERE NO MORE !
关于java - 通用类型不兼容,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/40605878/