Телеграмм чат группы kotlin

Size: a a a

Kotlin JVM

2020 June 20

Чего-то не пойму... В jooq есть

SelectSelectStep<Record1<Integer>> selectCount();

Результат не присваивается в переменную типа:

val selectStep: SelectSelectStep<Record> = dsl.selectCount()

Хотя

interface Record1<T> implements Record

В чем может быть дело?

Ошибка такая:

Error:(103, 65) Kotlin: Type mismatch: inferred type is SelectSelectStep<Record1<Int!>!>! but SelectSelectStep<Record> was expected

источник

16:43пожаловаться #1

ПФ

Паша Финкельштейн... in Kotlin JVM

В котлине нет raw types

источник

16:44пожаловаться #2

Bogdan Panchenko in Kotlin JVM

Vladislav Navrocky

Чего-то не пойму... В jooq есть

SelectSelectStep<Record1<Integer>> selectCount();

Результат не присваивается в переменную типа:

val selectStep: SelectSelectStep<Record> = dsl.selectCount()

Хотя

interface Record1<T> implements Record

В чем может быть дело?

Ошибка такая:

Error:(103, 65) Kotlin: Type mismatch: inferred type is SelectSelectStep<Record1<Int!>!>! but SelectSelectStep<Record> was expected

Ну так Record1 extension Record

источник

16:44пожаловаться #3

ПФ

Паша Финкельштейн... in Kotlin JVM

А Record не дженерик?

источник

16:44пожаловаться #4

ПФ

Паша Финкельштейн... in Kotlin JVM

хах, так это ж про ковариантность

источник

16:44пожаловаться #5

Bogdan Panchenko in Kotlin JVM

Нет, это интерфейс

источник

16:45пожаловаться #6

Vladislav Navrocky in Kotlin JVM

Паша Финкельштейн

А Record не дженерик?

public interface Record1<T1> extends Record {

public interface Record extends Attachable, Comparable<Record>, Formattable {

источник

16:45пожаловаться #7

Vladislav Navrocky in Kotlin JVM

когда написал такие же интерфейсы на котлине, то всё присваивается

источник

16:45пожаловаться #8

ПФ

Паша Финкельштейн... in Kotlin JVM

Там поди должно быть SelecSelectStep<T super Record>

источник

16:45пожаловаться #9

ПФ

Паша Финкельштейн... in Kotlin JVM

хммм

источник

16:46пожаловаться #10

ПФ

Паша Финкельштейн... in Kotlin JVM

Тогда не понимаю

источник

16:46пожаловаться #11

Vladislav Navrocky in Kotlin JVM

    interface A
    interface B<T> : A

    fun listOfB(): List<B<Int>> { TODO() }
    val listOfA: List<A> = listOfB()

Вот такое компилится

источник

16:46пожаловаться #12

ПФ

Паша Финкельштейн... in Kotlin JVM

я чот не понимаю, да

источник

16:47пожаловаться #13

Bogdan Panchenko in Kotlin JVM

Vladislav Navrocky

    interface A
    interface B<T> : A

    fun listOfB(): List<B<Int>> { TODO() }
    val listOfA: List<A> = listOfB()

Вот такое компилится

Может проблема в том что там платформенный тип ?

источник

16:48пожаловаться #14

ПФ

Паша Финкельштейн... in Kotlin JVM

Тоже странно потому что там все платформенные

источник

16:48пожаловаться #15

Vladislav Navrocky in Kotlin JVM

Bogdan Panchenko

Может проблема в том что там платформенный тип ?

Ну вот только что это на Java..

источник

16:48пожаловаться #16

Bogdan Panchenko in Kotlin JVM

Попробуй сделать екстеншен, где просто скасти к котлиновскому типу (что бы проверить)

источник

16:50пожаловаться #17

Vladislav Navrocky in Kotlin JVM

https://pl.kotl.in/6z7rAZqTz

источник

16:53пожаловаться #18

Vladislav Navrocky in Kotlin JVM

вот я добился с котлином то же самое

источник

16:53пожаловаться #19

Vladislav Navrocky in Kotlin JVM

почему не дает присвоить?

источник

16:54пожаловаться #20