Kotlin константы времени компиляции

то компилятор выдаст ошибку

Error:(11, 5) Kotlin: Val cannot be reassigned

6. Синтаксис объявления константы. Ключевое слово const

В языке Kotlin допускается объявлять константы — имена, которые получают неизменяемые значения в течение выполнения программы. Это значения, которые никогда не изменяются в программе. Их еще называют константы времени компиляции, так как значения константам присваивается при компиляции (в момент, когда программа компилируется).

Константы могут получать значение только базовых типов: Int , Double , Float , Long , Short , Byte , Char , String , Boolean .

Для объявления константы используется модификатор const .

Чтобы в программе объявить константу нужно, чтобы эта константа была в глобальной области видимости. Объявить константу в локальной области видимости (в теле функции) не удастся. На попытку объявления константы в теле функции (в пределах фигурных скобок <> ) компилятор выдаст ошибку.

Синтаксис объявления константы имеет две разновидности:

• с явным указанием типа константы;
• без явного указания типа константы. В этом случае тип константы определяется типом получаемого значения (литерала).

Синтаксис объявления константы с явным указанием типа следующий

const val ConstantName : Type = Value

• ConstantName – имя константы. При использовании этого имени в программе, будет подставляться значение Value ;
• Value – значение, которое получает константа.

Синтаксис объявления константы без явного задания типа имеет вид

const val ConstantName = Value

7. Примеры объявления констант

Константы объявляются в глобальной области видимости, то есть за пределами функции main() или любой другой функции.

// Объявление константы - глобальная область видимости // 1. Без явного указания типа const val Pi = 3.1415; // константа типа Double const val Language = "Kotlin" // константа типа String // С указанием типа const val Max : Int = 200 // константа типа Int // fun MyFun() <  // Здесь запрещено объявлять константы // .  > fun main(args:Array) <  // В локальной области запрещено объявлять константу // Использование констант Pi, Language, Max в функции main()  println("Pi color: #008000;">"Language color: #008000;">"Max color: #0000ff;">main()
 
fun main(args:Array) <  // В локальной области запрещено объявлять константу  const val Radius = 1.5 // ошибка компиляции // . >
 
то компилятор сгенерирует ошибку
 
Error:(22, 5) Kotlin: Modifier 'const' is not applicable to 'local variable'
 
8. Что такое статическая типизация?
 
В языке Kotlin реализована статическая типизация. Это проверка компилятором исходного кода, написанного программистом, на корректность и совместимость типов.
 
В контексте сказанного различают статическую проверку совместимости типов. Эта проверка позволяет увидеть ошибки еще до компиляции кода.
 
9. Что такое автоматическое определение типов?
 
Автоматическое определение типа — это определение типа переменной или константы на основе значения, которое она получает при ее объявлении.
 
Каждое значение, которое присваивается переменной или константе, имеет определенный тип. Если в объявлении переменной или константы не указывать их тип, то эта переменная или константа примет тип значения которое она получает.
 
Пример. Объявляются переменные и константы которые получают различные типы на основе получаемых значений.
 
// Объявление константы типа Float const val constFloat = 1.777F // 1.777F - значение типу Float // Объявление константы типа Long const val Max = 10000000000L . // Объявление переменной типа Char var c1 = 'Z' val c2 = 'X' // Объявление переменной типа Double var a = 2.5 var b = 3.8 val c = 2.7
 
Связанные темы
 
Источник
 
 Kotlin blog 
 
Если значение свойства только для чтения известно во время компиляции, отметьте его как постоянную времени компиляции с помощью модификатора const. Такие свойства должны соответствовать следующим требованиям:
 
 
Верхний уровень или член объявления объекта или сопутствующий объект (companion object).
 
Инициализируется значением типа String или примитивным типом
 
Нет специального получателя
 
 
Такие свойства можно использовать в аннотациях:
 
const val SUBSYSTEM_DEPRECATED: String = "This subsystem is deprecated" @Deprecated(SUBSYSTEM_DEPRECATED) fun foo()
 
Свойства и переменные с поздней инициализацией
 
Обычно свойства, объявленные как имеющие ненулевой тип, должны быть инициализированы в конструкторе. Однако довольно часто это не удобно. Например, свойства могут быть инициализированы с помощью внедрения зависимостей или с помощью метода настройки модульного теста. В этом случае вы не можете указать в конструкторе инициализатор, отличный от null, но вы все равно хотите избежать проверки null при ссылке на свойство внутри тела класса.
 
Чтобы справиться с этим случаем, вы можете пометить свойство модификатором lateinit:
 
public class MyTest < lateinit var subject: TestSubject @SetUp fun setup() < subject = TestSubject() >@Test fun test() < subject.method() // разыменование напрямую >>
 
Модификатор можно использовать для свойств var, объявленных внутри тела класса (не в основном конструкторе, и только тогда, когда свойство не имеет настраиваемого средства получения или установки) и, начиная с Kotlin 1.2, для свойств верхнего уровня и локальных переменных. Тип свойства или переменной не должен быть нулевым и не должен быть примитивным типом.
 
Доступ к свойству lateinit до его инициализации вызывает специальное исключение, которое четко определяет свойство, к которому осуществляется доступ, и тот факт, что оно не было инициализировано.
 
Проверка инициализации переменной lateinit (начиная с версии 1.2)
 
Чтобы проверить, инициализирована ли уже переменная lateinit, используйте .isInitialized для ссылки на это свойство:
 
Эта проверка доступна только для свойств, которые лексически доступны, т. н. объявлены в том же типе, или в одном из внешних типов, или на верхнем уровне в том же файле.
 
Делегированные свойства
 
Наиболее распространенный вид свойств просто считывает (и, возможно, записывает) резервное поле. С другой стороны, с помощью настраиваемых геттеров и сеттеров можно реализовать любое поведение свойства. Где-то посередине есть определенные общие закономерности того, как собственность может работать. Несколько примеров: отложенные значения, чтение с карты по заданному ключу, доступ к базе данных, уведомление слушателя о доступе и т. д.
 
Такое обычное поведение можно реализовать в виде библиотек с использованием делегированных свойств.
 
Источник
 
Читайте также:  Make software with python