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

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

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

два общих случаях точки с запятой:

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

enum class Things {
    ONE, TWO;

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

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

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

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

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

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

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

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

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

функция работает хорошо, нет никаких доказательств в любом месте, что есть проблемы с этой функцией и годы опыта 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. Таким образом, код действителен в обоих направлениях. но я не видел, чтобы что-то подобное происходило естественно так как все должно быть идеально. The характеристика предложил emit ключевое слово ^ оператор шляпа сделал бы этот случай невозможным, и он был рассмотрен, но отброшен до 1.0 из-за сильно высказанных мнений и времени ограничения.