Дженерики

Они объявляют вариантность один раз, на самом классе. out T разрешает T только в позициях-производителях — вернуть T можно, принять нельзя — и делает Box<Dog> пригодным как Box<Animal>. in T разрешает T только в позициях-потребителях и переворачивает это. Без них тип инвариантен.

На JVM аргумент типа дженерика стирается при компиляции — во время выполнения List<String> — это просто List. Поэтому у обычного параметра типа T нет runtime-токена класса; T::class.java не компилируется, ведь реальный тип в рантайме неизвестен.

Обычный T стирается, поэтому T::class.java недоступен. Сделайте функцию inline, а параметр — reified: inline fun <reified T> filterWrapper(data: List<Any>) = data.filterIsInstance<T>(). Встраивание подставляет реальный тип T в место вызова — без рефлексии.

Он вводит альтернативное имя для существующего типа — и больше ничего. Компилятор разворачивает псевдоним обратно в исходный тип, поэтому не появляется ни нового типа, ни нового класса, ни объекта-обёртки. typealias UserId = String и String взаимозаменяемы везде.

Kotlin задаёт вариантность один раз, на классе, и любое место использования получает её даром. В Java такого нет: каждое место обязано повторять ? extends T или ? super T. Обе живут только при компиляции — стирание оставляет один сырой тип, — поэтому Kotlin выпускает wildcards на границе с Java.

Всегда — это имя, а не тип. typealias UserId = String принимает любой String, а UserId свободно смешивается с OrderId, ведь оба разворачиваются в String; совместимость типов и вариантность остаются теми же, что у исходного типа. А value class UserId(val v: String) — отдельный тип, который проверяет компилятор.

List<*> говорит, что тип элемента — некий единый, но неизвестный тип. Чтение разрешено: каждый элемент возвращается как Any?, верхняя граница. Запись отвергается, ведь компилятор не может доказать, что ваше значение подходит под этот неизвестный тип, — MutableList<*>.add(x) не компилируется.