В чём смысл при типизации числа в Float в конец добавлять F?

Question

[Boris009]

Почему тип Float требует добавления в конце после значения буквы f.
Ведь мы и так указываем тип в начале.

В чём логика ошибки при попытке присвоить значение так?
val x: Float = 3.145

Answer 1

[Rsa97]

В котлине числовые значения разных размерностей являются разными типами и отсутствует неявное приведение одного типа к другому. Соответственно, если вы не укажете f в конце числа, то получите присвоение константы типа Double переменной типа Float, то есть ошибку.

Comments

[Boris009]

Но я же в начале явно указываю тип x: Float
В чём логика двойного присвоения типа в начале и в конце?

[Rsa97]

Boris009, Это тип переменной. Но у константы тоже есть свой тип. И вам надо либо явно указать, что это константа типа Float, либо явно привести тип константы к Float.
Присвоение значения при создании переменной - это не что-то магическое, это обычное выражение и типы частей выражения слева и справа от знака присвоения (равно) должны совпадать.

[Dmitry Roo]

Boris009, да просто такой дизайн языка. Можно, наверное, было сделать так, чтобы компилятор сам догадался подсмотреть тип из левой части, но, видимо, это никого не парит.
Если есть желание, заведите ишью: https://youtrack.jetbrains.com/issues/KT

[Rsa97]

Dmitry Roo,

видимо, это никого не парит

Это объясняется в официальной документации по языку, в главе, посвящённой числовым типам данных. Авторы намеренно не стали делать в языке неявного приведения типов, чтобы избежать неопределённого поведения.

Kotlin doesn't support implicit conversions because they can lead to unexpected behavior.

[Dmitry Roo]

Rsa97, мне кажется странным вот что:

val x: Float = 3.145f
val y: Double = 3.145

Почему это для float надо добавлять f, а для Double - нет?..
Тогда бы уж требовали в обоих случаях указывать явно тип. Например
val y: Double = 3.145d

[Rsa97]

Dmitry Roo, Потому что число с точкой но без атрибута f - это тип Double.

[Василий Банников]

Rsa97, "подсмотреть тип слева" - это не implicit conversion.

На этапе парсинга можно определить число просто как "числовой литерал неопределенного типа", а уже потом определить его тип по тому, в переменную какого типа он сохраняется.

[Rsa97]

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