Каковы правила вывода точки с запятой?

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

Правило: не беспокойтесь об этом и вообще не используйте точки с запятой (кроме двух случаев, указанных ниже). Компилятор обязательно сообщит вам, когда вы ошиблись. Даже если вы случайно добавите дополнительную точку с запятой, подсветка синтаксиса покажет вам, что в этом нет необходимости, с предупреждением о «избыточной точке с запятой».

Два распространенных случая использования точки с запятой:

Класс перечисления, который имеет список перечислений, а также свойства или функции в перечислении, требует ; после списка перечислений, например:

enum class Things {
    ONE, TWO;

    fun isOne(): Boolean = this == ONE
}

И в этом случае компилятор скажет вам напрямую, если вы не сделаете это правильно:

Ошибка: (y, x) Котлин: Ожидается ';' после последней записи перечисления или '}', чтобы закрыть тело класса перечисления

В противном случае единственный другой распространенный случай - это когда вы выполняете два оператора в одной строке, возможно, для краткости:

myThingMap.forEach { val (key, value) = it; println("mapped $key to $value") } 

Отсутствие точки с запятой в этом последнем примере приведет к более загадочной ошибке в том месте, где вы запутаетесь в том, что вы делаете. Действительно сложно создать код, который был бы действительным как два оператора, разделенные точкой с запятой, которые также действительны, когда точка с запятой удаляется и они становятся одним целым.

В прошлом были и другие случаи, такие как блок инициализации класса, который был более «анонимным» { ... } до Kotlin 1.0, а позже стал init { ... }, который больше не нуждался в точке с запятой, потому что он намного понятнее. Эти случаи больше не остаются в языке.

Уверенность в этой функции:

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

Эта функция работает хорошо, нигде нет доказательств того, что с этой функцией есть проблемы, а годы опыта Kotlin не выявили никаких известных случаев, когда эта функция имела бы обратный эффект. Если есть проблема с отсутствующим ;, компилятор сообщит об ошибке.

Обыскивая весь мой Kotlin с открытым исходным кодом и наши внутренние довольно большие проекты Kotlin, я не нашел точек с запятой, кроме случаев, указанных выше - и их очень и очень мало. Как правило, поддерживая идею «не использовать точки с запятой в Kotlin».

Однако возможно, что вы можете намеренно придумать случай, когда компилятор не сообщает об ошибке, потому что вы создали код, который действителен и имеет различное значение с точкой с запятой и без нее. Это будет выглядеть следующим образом (измененная версия ответа @Ruckus):

fun whatever(msg: String, optionalFun: ()->Unit = {}): () -> Unit = ...

val doStuff: () -> Unit = when(x) {
    is String -> {
        { doStuff(x) }
    }
    else -> { 
        whatever("message") // absence or presence of semicolon changes behavior
        { doNothing() }
    }
}

В этом случае doStuff присваивается результат вызова whatever("message") { doNothing() }, который является функцией типа ()->Unit; и если вы добавите точку с запятой, ей будет назначена функция { doNothing() }, которая также имеет тип ()->Unit. Так что код действителен в обоих направлениях. Но я не видел, чтобы что-то подобное происходило естественным образом , поскольку все должно быть идеально согласовано. предложенная функция emit ключевого слова или ^ оператора шляпы будет иметь сделали этот случай невозможным, и он был рассмотрен, но отклонен до версии 1.0 из-за резко противоположных мнений и ограничений по времени.