Приведение и проверка типов
Умные приведения
или в случаях, когда приводимая переменная находится справа от оператора && или || :
Заметьте, что умные приведения не работают, когда компилятор не может гарантировать, что переменная не изменится между проверкой и использованием. Более конкретно, умные приведения будут работать:
Оператор «небезопасного» приведения
Обычно оператор приведения выбрасывает исключение, если приведение невозможно, поэтому мы называем его небезопасным. Небезопасное приведение в Kotlin выполняется с помощью инфиксного оператора as (см. приоритеты операторов):
Оператор «безопасного» (nullable) приведения
Чтобы избежать исключения, вы можете использовать оператор безопасного приведения as?, который возвращает null в случае неудачи:
Стирание и проверка типов у Обобщений (Generics)
` or `list is T` (type parameter). You can, however, check an instance against a [star-projected type](generics.html#star-projections):—>
Учитывая это, компилятор запрещает is-проверки, которые не могут быть выполнены во время выполнения программы из-за стирания типов, например ints is List или list is T (параметризированный тип). Однако у вас есть возможность произвести проверку со «Звёздными» проекциями:
Таким же образом, когда у вас есть статически определенный тип аргумента, вы можете произвести is-проверку или приведение с не-обобщенной частью типа. Заметье, что в данном случае угловые скобки пропущены:
Аналогичный синтаксис, с пропущенным типом аргумента может использоваться для приведений, которые не принимают типы аргументы: list as ArrayList
Встроенные (inline) функции с параметрами вещественного типа имеют свои аргументы типа, встроенные на каждый момент вызова, что позволяет arg is T проверку параметризованного типа, но если arg является объектом обобщенного типа, его аргумент типа по-прежнему стирается. Пример:
Непроверяемые (Unchecked) приведения
Как упоминалось выше, стирание типов делает невозможным проверку типа аргумента обобщения на этапе выполнения, и обобщенные типы в коде могут быть недостаточно связаны друг с другом, чтобы компилятор обеспечил типобезопасность.
Тем не менее, иногда мы имеем программную логику высокого уровня, которая вместо этого подразумевает типобезопасность. Например:
Чтобы избежать непроверяемые приведения, вы можете изменить структуру программы: в примере выше, возможно объявить интерфейсы DictionaryReader и DictionaryWriter с типобезопасными имплементациями для типизированного типа. Правильно использование вариативности обобщений также может помочь.
Для обобщенных функций, используемых встроенные (inline) функции с параметрами вещественного типа приведение типа arg as T является проверяемым, до тех пор, если тип arg не имеет свои аргументы типа, которые были стерты.
Предупреждение о непроверяемом приведении можно убрать используя аннотации
Котлин | Проверка типов и Smart Casting
Проверка типа —
В Kotlin мы можем проверить тип определенной переменной, используя оператор is во время выполнения. Это способ проверки типа переменной во время выполнения, чтобы отделить поток для разных объектов.
Kotlin программа проверки типов с использованием блоков if-else-
fun main(args: Array ) <
var salary = 5000.55
for (attribute in employeeDetails) <
if (attribute is String) <
> else if (attribute is Int) <
> else if (attribute is Double) <
println( «Not an attribute» )
Выход:
Kotlin программа проверки типов с использованием когда —
fun main(args: Array ) <
var salary = 5000.55
var emp_id = 12345f
for (attribute in employeeDetails) <
Выход:
Умный Кастинг —
В Java или других языках программирования существует требование явного приведения типов к переменной перед доступом к свойствам этой переменной, но Котлин выполняет умное приведение типов. Компилятор Kotlin автоматически преобразует переменную в конкретную ссылку на класс, как только она передается через любой условный оператор.
Давайте рассмотрим пример Java. Прежде всего, мы проверяем тип переменной с помощью оператора instanceOf, а затем приводим его к целевому типу следующим образом:
Object ob = «GeeksforGeeks» ;
if (ob instanceof String) <
// Явное приведение типов
String str = (String) ob;
System.out.println( «length of String » + str.length());
В Котлине умное литье является одной из самых интересных функций. Мы используем оператор is или !is Is для проверки типа переменной, и компилятор автоматически приводит переменную к целевому типу, например так:
fun main(args: Array ) <
val str1: String? = «GeeksforGeeks»
var str2: String? = null // выводит String is null
// Не требуется явное приведение типа.
println( «String is null» )
Выход:
fun main(args: Array ) <
val str1: String? = «GeeksforGeeks»
var str2: String? = null // выводит String is null
println( «String is null» )
Выход:
Примечание: Smart Cast не работает, когда компилятор не может гарантировать, что переменная не может измениться между проверкой и использованием. Смарт-броски применяются в соответствии со следующими правилами:
Основные типы
В Kotlin всё является объектом, в том смысле, что пользователь может вызвать функцию или получить доступ к свойству любой переменной. Некоторые типы являются встроенными, т.к. их реализация оптимизирована, хотя для пользователя они могут выглядеть как обычные классы. В данном разделе описывается большинство этих типов: числа, символы, логические переменные и массивы.
Числа
Kotlin обрабатывает численные типы примерно так же, как и Java, хотя некоторые различия всё же присутствуют. Например, отсутствует неявное расширяющее преобразование для чисел, а литералы в некоторых случаях немного отличаются.
Для представления чисел в Kotlin используются следующие встроенные типы (подобные типам в Java):
| Тип | Количество бит |
|---|---|
| Double | 64 |
| Float | 32 |
| Long | 64 |
| Int | 32 |
| Short | 16 |
| Byte | 8 |
Обратите внимание, что символы (characters) в языке Kotlin не являются числами (в отличие от Java).
Символьные постоянные
В языке Kotlin присутствуют следующие виды символьных постоянных (констант) для целых значений:
ВНИМАНИЕ: Восьмеричные литералы не поддерживаются.
Также Kotlin поддерживает числа с плавающей запятой:
Нижние подчеркивания в числовых литералах (начиная с версии 1.1)
Вы можете использовать нижние подчеркивания, чтобы сделать числовые константы более читаемыми:
Представление
Обычно платформа Java хранит числа в виде примитивных типов JVM; если же нам необходима ссылка, которая может принимать значение null (например, Int? ), то используются обёртки. В приведённом ниже примере показано использование обёрток.
Обратите внимание, что использование обёрток для одного и того же числа не гарантирует равенства ссылок на них:
Однако, равенство по значению сохраняется:
Явные преобразования
Из-за разницы в представлениях меньшие типы не являются подтипами бОльших типов. В противном случае у нас возникли бы сложности:
Таким образом, будет утрачена не только тождественность (равенство по ссылке), но и равенство по значению.
Как следствие, неявное преобразование меньших типов в большие НЕ происходит. Это значит, что мы не можем присвоить значение типа Byte переменной типа Int без явного преобразования:
Мы можем использовать явное преобразование для «расширения» чисел
Каждый численный тип поддерживает следующие преобразования:
Отсутствие неявного преобразования редко бросается в глаза, поскольку тип выводится из контекста, а арифметические действия перегружаются для подходящих преобразований, например:
Арифметические действия
Kotlin поддерживает обычный набор арифметических действий над числами, которые объявлены членами соответствующего класса (тем не менее, компилятор оптимизирует вызовы вплоть до соответствующих инструкций). См. Перегрузка операторов.
Что касается битовых операций, то вместо особых обозначений для них используются именованные функции, которые могут быть вызваны в инфиксной форме, к примеру:
Ниже приведён полный список битовых операций (доступны только для типов Int и Long ):
Символы
Подобно числам, символы оборачиваются при необходимости использования nullable ссылки. При использовании обёрток тождественность (равенство по ссылке) не сохраняется.
Логический тип
При необходимости использования nullable ссылок логические переменные оборачиваются.
Встроенные действия над логическими переменными включают
Массивы
Также для создания массива можно использовать фабричную функцию, которая принимает размер массива и функцию, возвращающую начальное значение каждого элемента по его индексу:
Строки
Строковые литералы
В Kotlin представлены два типа строковых литералов: строки с экранированными символами и обычные строки, которые могут содержать символы новой строки и произвольный текст. Экранированная строка очень похожа на строку в Java:
Экранирование выполняется общепринятым способом, а именно с помощью обратной косой черты.
Обычная строка выделена тройной кавычкой ( «»» ), не содержит экранированных символов, но может содержать символы новой строки и любые другие символы:
Строковые шаблоны
Строки могут содержать шаблонные выражения, т.е. участки кода, которые выполняются, а полученный результат встраивается в строку. Шаблон начинается со знака доллара ($) и состоит либо из простого имени (например, переменной):
либо из произвольного выражения в фигурных скобках:
Типы данных и операции в Kotlin
Теперь, когда вы знаете, как выполнять основные операции и манипулировать с их помощью данными, пришло время подробнее разобраться в типах этих самых данных. По сути, тип описывает набор значений и операций, которые могут выполняться над этими значениями.
В следующих уроках вы узнаете об обработке различных типов данных, включая строки, которые позволяют вам работать с текстом. Вы узнаете о преобразовании типов, а также познакомитесь с процессом предположения типов, который сделает жизнь программиста намного проще.
Статьи серии «Типы данных и операции в Kotlin»:
Содержание:
Задачи для проверки
1. Создайте константу coordinates и присвойте ей пару значений — 2 и 3;
2. Извлеките значения 2 и 3 из константы coordinates и поместите их в две переменные под названиями row и column ;
3. Что из следующего кода является действительным?
4. Правильно ли написан данный код?
5. Что не так со следующим кодом?
Ключевые особенности типов данных и операций в Kotlin
Что дальше?
Типы является фундаментальной частью программирования. Именно они позволяют правильно хранить ваши данные. Мы рассмотрели строки, Pair и Triple, а также множество числовых типов. Позже в обучающем курсе вы узнаете, как создавать свои собственные типы с помощью классов, перечислений и интерфейсов.
В следующем уроке вы узнаете о Булевой логике и о простом порядке выполнения. Это необходимо для того, чтобы программа принимала решения о том, как она должна действовать, на основе данных, которыми она манипулирует.
Переменные Kotlin: типы и способы объявления. Инструкция для новичков
Что такое переменные в Kotlin, типы переменных в Kotlin и способы их объявлениея — разобрали в этом материале.
В этой статье на тему «переменные Kotlin» вы узнаете:
Что такое переменная в Kotlin и других языках программирования
Когда программист пишет программу. он использует данные и выполняет с ними различные операции. Переменные используют, чтобы каждый раз заново не вводить значения, не путать их и не ошибаться.
Переменная — это контейнер, в котором хранится какое-то значение.
Например, нам нужно написать программу, которая будет рассчитывать площадь круга. Вот формула площади круга:
S — это площадь
r — это радиус круга
p — это число пи, константа. Константа — это число, которое никогда не меняется.Число «p» (пи) во всех науках и во всем мире равно 3,14.
Вернемся к нашей программе. Вот как будет с точки зрения пользователя выглядеть ее работа:
Программа попросит его задать значения, которые нужны ей для расчетов. В нашем случае, значения «p» и «r». Это произойдет, потому что во время создания программы, разработчик задал формулу. Для ее расчета нужны значения «контейнеров». «P» и «r» — это и есть контейнеры.
Хотите быстро и легко понять, как работает Kotlin? Запишитесь на консультацию к ментору из крупной компании!
Переменные могут быть просто объявлены. Либо им могут быть присвоены значения. Вернемся к нашему примеру с программой для расчета площади круга. Для работы программе нужны значения переменных «p» и «r». Их можно получить двумя путями.
Первый: запросить оба значения у пользователя. Программа выведет на экран запрос. Пользователь введет значения. Программа покажет результат. То есть, в нашем случае, площадь круга.
Второй вариант: задать значение «p» в коде программы. Напоминаем: «p» — константа. Она никогда не меняется. Поэтому нет смысла каждый раз заново спрашивать ее значение. Программист может задать его один раз во время создания программы. А пользователь будет вводить только значение переменной «r».
В этом и заключается разница между «r» и «p». «r» — пустой контейнер, значение которого еще нужно «положить» внутрь. А у «p» уже есть заданное значение.
Переменные Kotlin: как объявить
Нужно использовать одно из двух ключевых слов: val или var. Затем название переменной. Сразу после названия двоеточие. После двоеточия тип. Вот как это выглядит:
В этой строке мы задали переменную «a» с типом Int через ключевое слово var. Затем можно присвоить ей значение. Нужно написать имя переменной, поставить знак равно, затем поставить присваиваемое значение. Вот как это выглядит:
Мы присвоили «a» значение 5.
Ключевые слова: val и var
Мы уже писали выше, что объявить переменную можно через одно из ключевых слов: val или var. Между ними есть отличие. Значение переменной, которая использует val, нельзя изменить. А значение переменной, которая использует var, можно изменять.
Вот так выглядит использование val:
А вот что будет, если попробовать изменить ее значение:
Что здесь происходит: мы объявили переменную «a». Присвоили ей значение 5. Потом использовали функцию «Println». Она выводит значение на экран. Затем мы попробовали присвоить «a» новое значение —10. И снова попытались вывести его на экран. Программа выдала ошибку. Потому что нельзя изменять значение переменной, которая использует val.
Через var это прекрасно работает:
Сценарий такой же: объявили «a», присвоили ей значение 5, вывели на экран. Потом изменили значение на 10, снова вывели на экран. Программа работает и выводит на экран последовательно два числа: 5 и 10. Ошибки нет.
Типы переменных в Kotlin
Числовые типы:
В примерах выше мы объявили переменные Int. На примере ниже видна «a» типа Float:
Логический тип:
Boolean. Принимает только 2 значения: true или false. Занимает 4 байта памяти:
Символьный тип:
Char. Принимает только один символ, который нужно заключать в одинарные кавычки. Занимает 2 байта памяти:
Строковый тип:
String. Принимает значения «слов», которые нужно заключать в двойные кавычки. Занимает разный объем памяти, в зависимости от размера строки:
Kotlin — это про простоту
Способ объявления, который мы описали выше, очень академический. Kotlin — язык, который ориентирован на скорость и простоту. Поэтому на практике используют другой подход.
Переменной присваивают значение сразу же, а не в отдельной строке. Тип обычно не указывают. Потому что по умолчанию Kotlin сам определяет его как Int для целых чисел и как Double для чисел с плавающей запятой.
На практике код выглядит вот так:
Через var мы объявили «a», по умолчанию ее тип — Int. И сразу же присвоили ей значение 5.
Если вы хотите отдельно проверить тип переменной, то используйте код, как в 3 строке на скриншоте:
Программа в консоли выведет ответ вида «kotlin.Тип».
Решаем задачу из начала статьи
Вот как будет выглядеть решение:
Что тут происходит: мы ввели 3 переменные, присвоили им значения.
«r» — радиус круга, значение 5 взяли для примера.
«p» — число Пи, константа, 3.14.
«s» — присвоили значение по формуле нахождения площади круга.
Чуть раньше мы говорили, что по-умолчанию Kotlin обозначает переменные как Int, либо Double. В данном случае программа сама определит тип переменной «p» — double. В Int она не подходит, потому что значение с плавающей точкой.
В 7 строчке мы использовали функцию «println», которая выводит на экран значение того, что указано в скобках. А в скобках указали, что нужно вывести текст «Площадь круга = », а после него — значение переменной «s». Знак доллара показывает программе, что нужно использовать именно значение переменной, то есть результат рассчетов, а не ее идентификатор, то есть «s».
Хотите глубже разобраться в принципах работы Kotlin? Запишитесь на консультацию к ментору из корпорации, который ответит на все ваши вопросы!
