#4 Обобщенные типы в Java и Kotlin

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

🚑 Тест для самопроверки по теме "Generics в Java и Kotlin". RS School Android 2021. Ссылка на видео https://www.youtube.com/watch?v=mh6LV9aBypo

Отметьте верные утверждения о механизме стирания обобщенных типов в Kotlin:

1 point

Как и в Java, обобщенные типы в Kotlin стираются во время выполнения

inline функции с овеществляемыми типовыми параметрами не могут быть вызваны из Java

В теле обобщенной функции нельзя ссылаться на типовой аргумент, с которым она вызвана. Синтаксис `fun <T> isA(value: Any) = value is T` недопустим

В теле обобщенной inline функции можно ссылаться на типовой аргумент, с которым она вызвана. Синтаксис `inline fun <reified T> isA(value: Any) = value is T` допустим

Какой код скомпилируется?

1 point

`fun <T> someFun(c: Collection<T>) = if (c is List<Int>) 1 else 0`

`fun <T> someFun(c: Collection<T>) = if (c is List<*>) 1 else 0`

`fun someFun(c: Collection<*>) = c as? List<Int>`

`fun someFun(c: Collection<Int>) = if (c is List<Int>) 1 else 0`

Овеществляемые типовые параметры (reified) можно использовать:

1 point

В операциях проверки и приведения типа (is, !is, as, as?)

Для получения соответствующего java.lang.Class(::class.java)

Для создания нового экземпляра класса указанного в типовом параметре

В невстраиваемых (без `inline`) функциях

В Kotlin есть интерфейс `interface List<out E> : Collection<E>`. Отметьте верные утверждения:

1 point

Параметры типа E, должны находится в исходящей позиции для всех public, protected, internal методов

Параметры типа Е, должны находится в исходящей позиции только для public методов

Параметры типа Е, могут находится в любой позиции, если они используются в private методах

Параметры типа Е, могут находится во входящей позиции, если они помечены аннотацией `@UnsafeVariance`

Дана функция printInt. Какой будет результат компиляции, если вызвать printInt и передать множество Set в качестве параметра?

1 point

Получим исключение IllegalArgumentException во время выполнения

Получим исключение ClassCastException во время выполнения

Cкомпилируется без ошибок, нет исключений во время выполнения

Не даст скомпилироваться

Clear selection

В Kotlin дан некоторый обобщенный класс `Producer<out T>`. Это означает (относительно открытых методов)

1 point

Что параметры типа Т, могут находится только во входящей позиции

Что параметры типа Т, могут находится только в исходящей позиции

Что параметры типа Т, могут использоваться в конструкторе Producer, только если они не объявлены как var

Что параметры типа Т, могут использоваться в конструкторе Producer, только если они не объявлены как var или val

Что верно относительно понятий "тип", "подтип", "супертип"?

1 point

Смысл термина "супертип" противоположен термину "подтип". Если B это подтип типа A, то A это супертип для B

В простых случаях (но не в случаях обобщенных типов) "подтип" означает то же самое, что и "подкласс". Например, Int - это подкласс Number, соответственно Int - это подтип Number

Если класс использует интерфейс, его тип становится подтипом этого интерфейса: String - подтип CharSequence

Тип класса, не поддерживающий значения null - это подтип версии класса, поддерживающей null

Как в Kotlin граничить типовой параметр так, чтобы он не поддерживал null?

1 point

`<T: Any?>`

`<T: Any>`

`<T>`

В Kotlin любой типовой параметр всегда поддерживает null

Clear selection

Отметьте верные утверждения:

1 point

Kotlin позволяет использовать обобщенные типы в операторах приведения типов. Например, выражение `с as? List<Int>` скомпилируется

Kotlin позволяет использовать обобщенные типы в операторах приведения типов. Но компилятор выводит предупреждение `uncheked cast:`

Kotlin позволяет использовать обобщенные типы без типовых аргументов. Чтобы проверить, что некоторое значение является списком, можно воспользоваться синтаксисом без обозначения типового параметра: `value is List<>`

Kotlin не позволяет использовать обобщенные типы без типовых аргументов. Чтобы проверить, что некоторое значение является списком, можно воспользоваться синтаксисом проекций: `value is List<*>`

Отметьте верные утверждения о границах типовых параметров в Kotlin:

1 point

Верхней границей типового параметра может быть обобщенный тип: `<T : Some<T>>`

Можно определить несколько ограничений для типового параметра: `fun <T> someFun(value: T) where T : CharSequence, T : Comparable<T> { ... }`

Типовой параметр без верхней границы на деле имеет границу Any т.е. `<T>` эквивалентно `<T: Any>`

Типовой параметр без верхней границы на деле имеет границу Any? т.е. `<T>` эквивалентно `<T: Any?>`

Дана функция addMeaningOfLife. Какой будет результат компиляции, если вызвать addMeaningOfLIfe и передать изменяемый список строк в качестве параметра?

1 point

Получим исключение IllegalArgumentException во время выполнения

Получим исключение ClassCastException во время выполнения

Cкомпилируется без ошибок, нет исключений во время выполнения

Не даст скомпилироваться

Clear selection

Отметьте верные утверждения о понятиях "класс", "тип" и "подтип":

1 point

В Kotlin понятие "класс" всегда соответствует понятию "тип"

В Kotlin каждый класс можно использовать для конструирования по меньшей мере двух типов: nullable и non-nullable

Каждый обобщенный класс потенциально способен породить бесконечное количество типов

Тип B - это подтип типа A, если значение типа B можно использовать везде, где ожидается значение типа A

Укажите верный синтаксис применения обобщенных типов в Kotlin: (1), (2), (3), (4) ?

1 point

В Kotlin дан некоторый обобщенный класс `Producer<out T>` . Он -

1 point

Инвариантен по типовому параметру Т

Ковариантен по типовому параметру Т

Контрвариантен по типовому параметру Т

Тип вариантности класса задается в месте использования, а не в месте объявления

Что верно относительно типового аргумента у обобщенных типов в Kotlin и Java? (типовой аргумент - конкретный тип, который подставляется в треугольные скобки <> обобщенного типа)

1 point

Типовые аргументы, могут выводится компилятором Kotlin автоматически: `val list = listOf("Chewbacca","Han Solo")`

В Kotlin типовые аргументы должны определяться всегда. Когда типовой аргумент не может быть выведен компилятором или не указывается явно, компилятор укажет на это, как на недопустимый синтаксис

В Java можно объявить переменную типа List не указывая типового аргумента

В Kotlin типовые параметры можно объявлять для методов в классах, интерфейсов, функций верхнего уровня, функций расширений, обычных свойств (не являющихся расширениями)

Отметьте верные утверждения:

1 point

Тип `MutableList<Any?>` определяет список, содержащий элементы любого типа

Тип `MutableList<*>` определяет список содержащий элементы конкретного типа, но неизвестно какого именно

В Kotlin `Clazz<*>` соответствует `Clazz<?>` в Java

В Kotlin `Clazz<out T>` соответствует `Clazz<? super T>` в Java

Дана функция printSumInt. Какой будет результат компиляции, если вызвать printSumInt и передать список строк в качестве параметра?

1 point

Получим исключение IllegalArgumentException во время выполнения

Получим исключение ClassCastException во время выполнения

Cкомпилируется без ошибок, нет исключений во время выполнения

Не даст скомпилироваться

Clear selection

Какие отношения указаны верно?

1 point

Int? является подтипом для Int

Int является подтипом для Int?

Int является подтипом для Number

Int является подтипом для String

Submit

Clear form

This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy

Forms