Обзор типов

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

В этом разделе описаны основные типы, используемые в Kotlin:

• Числа и их беззнаковые аналоги

• Логические значения

• Символы

• Строки

• Массивы

Чтобы узнать о других типах Kotlin, таких как Nothing, Any и Unit, обратитесь к справочнику API Kotlin:

• Any

• Nothing

• Unit

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

Хотя вы не можете самостоятельно объявлять типы, которые нельзя записать напрямую, вы можете встретить их в сообщениях компилятора, подсказках IDE или при отображении выведенных типов. Подробнее о таких типах:

• Платформенные типы

• Пересекающиеся типы

• Типы целочисленных литералов

• Захваченные типы

• Спецификация языка Kotlin: система типов