Kotlin 代码是如何编译成原生代码的

Kotlin编译器有一个前端，但有多个后端，这取决于您用来构建代码的插件.Kotlin/Native插件将Kotlin中间表示(IR)转换为本地代码(即机器可执行的代码).

Is this quote correct?

Yes, it's quite correct. The intermediate representation (IR) is a form that universally represents a Kotlin program, regardless of the platform. Then a platform-specific back-end translates the IR to the final binary form – the JVM class files for Kotlin/JVM, LLVM bitcode and other metadata packed into a *.klib for Kotlin/Native.

So, Kotlin/Native doesn't deal with the JVM bytecode in any way.

The intermediate representation is an implementation detail of the Kotlin compiler, and it's not used by any other consumer than the Kotlin compiler itself, so it's not a thing that a developer should care about. For the JVM, it's even kept in memory and never written to binaries. For Kotlin/Native, it's actually serialized and written into the *.klib to be reused.

它告诉您，Java字节码、本机代码和JavaScript的编译过程是相同的.编译Kotlin代码，然后有3个后端编译器提供预期的输出格式(Java字节码、JavaScript、二进制代码).

实际上，a part%的编译过程是相同的，即前端语言分析，包括解析、调用解析、类型推理、诊断和其他步骤，这些步骤不需要任何特定于平台的代码转换.即便如此，前端部分还是针对每个平台进行了调优，因为它们允许不同的语言功能集并提供不同的诊断集.

最后一个问题是，最终的特定于平台的二进制文件是否包含本地Kotlin标准库？或者它是动态链接的？

Currently, the standard library is statically linked into the resulting Kotlin/Native binaries.