Как проверить тип параметра в обобщённом методе Kotlin

Что проверяют

Знаете ли вы про стирание типов и чем в Kotlin его обходят. Код с when (value) { is String -> ... } пишет каждый, а интервьюер ждёт вопроса «а как проверить, что value имеет тип T?». Следом обычно спрашивают, почему reified работает только в inline-функциях.

Как отвечать

Начните с ограничения: на JVM параметр T после компиляции стирается, поэтому запись value is T в обычной обобщённой функции не компилируется, ошибка «Cannot check for instance of erased type». Дальше три рабочих способа:

• проверка на конкретные типы: is String, is Int внутри when работают, потому что сравнение идёт с известным классом. После is срабатывает smart cast, приводить вручную не нужно;
• inline fun <reified T>: компилятор подставляет тело функции в место вызова вместе с настоящим типом, и становятся доступны value is T, T::class и typeOf<T>(). Так устроены filterIsInstance<T>() и by viewModels<T>();
• передача класса явно: параметр KClass<T> или Class<T> и проверка klass.isInstance(value). Вариант нужен, когда функция не может быть inline или её зовут из Java. На Android по той же схеме с API 33 работает Bundle.getParcelable(key, Class), а для старых версий есть BundleCompat.

Отдельно упомяните обобщённые коллекции: даже с reified проверить is List<String> нельзя, только is List<*>, элементы придётся проверять по одному.

Где спотыкаются

Пишут value as T и считают это проверкой. Компилятор выдаёт предупреждение о непроверяемом приведении, в рантайме проверка не выполняется, и ClassCastException вылетает позже, в месте использования.

Забывают про nullable: у T без ограничений верхняя граница Any?, поэтому value::class не скомпилируется. Нужна граница T : Any или проверка на null.

Предлагают reified везде. Такая функция встраивается в каждое место вызова, раздувает байткод и недоступна из Java, так что для больших функций выгоднее передать KClass.