Котлин-сопрограммы: возможно ли без стандартной библиотеки?

Могу ли я запустить сопрограмму, используя чистый котлин, без импорта каких-либо библиотек (каким бы уродливым это ни было)?

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

Как это можно сделать, слишком долго для ответа StackOverflow, но попробуйте вызвать метод этого класса Kotlin из Java:

class AsyncWorks {
    suspend fun print() {
        println("Hello")
    }
}

Вы увидите, что хотя метод Kotlin не имеет аргументов, в Java он требует Continuation<? super Unit>. Это то, что делает ключевое слово suspend. Он добавляет Continuation<T> в качестве последнего аргумента нашей функции.

Было бы лучше реализовать обе функции как библиотеки или обе как функции компилятора?

В идеале вы хотите, чтобы все было «функцией библиотеки», поскольку ее легче развить. Удалить ключевое слово из языка очень сложно. Теоретически можно избежать использования suspend в качестве ключевого слова. Quasar, будучи фреймворком, вместо этого использует аннотации. С другой стороны, язык программирования Go предполагает, что все функции приостанавливаются. У всех этих подходов есть свои преимущества и недостатки.
Kotlin решил проявить прагматичность и добавить ключевое слово suspend, оставив решение за разработчиками. Если вам интересна эта тема, я настоятельно рекомендую этот доклад Романа Елизарова, автора сопрограмм Kotlin, который объясняет их решения: https://www.youtube.com/watch?v=Mj5P47F6nJg

Маркер suspend добавляет к сигнатуре функции скрытый параметр продолжения и полностью изменяет байт-код реализации. Точки приостановки не сводятся к вызовам вспомогательных функций, они превращают ваш линейный программный код в конечный автомат, состояние которого сохраняется в объекте продолжения. Результирующий байт-код даже не может быть представлен в виде программного кода Java.

В отличие от этого, launch - это просто обычный библиотечный код, основанный на примитиве приостановки / возобновления.

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

Запустить сопрограмму без каких-либо библиотек можно с помощью startCoroutine < / а>. kotlin.coroutines является частью Kotlin, а не библиотекой.

Отвечая на свой вопрос здесь.

После года Kotlin я склонен думать, что это действительно возможно. Функция языка suspend создает дополнительный класс и создает его экземпляр каждый раз, когда вызывается функция приостановки. Этот класс расширяет ContinuationImpl и сохраняет ход выполнения вашей сопрограммы - до этого момента она могла выполняться.

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

Это все еще асимметрия - ContinuationImpl живет в kotlin.coroutines.jvm.internal, поэтому компилятор предполагает, что этот пакет существует. Если кто-то действительно хочет полностью отказаться от стандартной библиотеки, ему нужно будет реализовать этот пакет, чтобы иметь возможность использовать ключевое слово suspend.

Я не эксперт по котлину, поэтому могу ошибаться.

@ Алексея Сошина не совсем правильно.

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

import kotlin.coroutines.*

fun main() {

    lateinit var context: Continuation<Unit>
    
        suspend {
            val extra="extra"
            println("before suspend $extra")
            suspendCoroutine<Unit> { context = it }
            println("after suspend $extra")
        }.startCoroutine(
            object : Continuation<Unit> {
                override val context: CoroutineContext = EmptyCoroutineContext
                // called when a coroutine ends. do nothing.
                override fun resumeWith(result: Result<Unit>) {
                    result.onFailure { ex : Throwable -> throw ex }
                }
            }
        )
    
        println("kick it")
        context.resume(Unit)
}

Это нормально работает на сайте play.kotlinlang.org.

Как видно из этого кода, любая лямбда, украшенная suspend, имеет startCourtine().

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

Компилятор делает тяжелую работу над сопрограммами, разделяя код на разные методы в каждой возможной точке приостановки. Посмотрите на java-код для этого, и вы увидите, что он разделен на оператор switch. одно дело до приостановки, другое - после.

Библиотека делает для вас массу приятных вещей ... и, вероятно, вы почти всегда будете ее использовать (почему бы и нет?), Но на самом деле она вам не нужна.