带const参数的不可变对象是否会被Kotlin编译器优化为仅实例化一次？

好问题！咱们一步步拆解这个问题，从编译器优化逻辑到具体代码的性能差异都聊清楚。

首先可以明确：Kotlin编译器会针对内置的已知不可变类做单例化优化，尤其是那些由编译期常量构造的实例。

比如你提到的Range系列类，当它的上下界都是编译期可确定的常量时（像'a'..'z'里的字符常量），编译器会自动把这个Range实例缓存起来，避免重复创建。不过这种优化是有范围的：它只针对Kotlin官方内置的、编译器明确认知的不可变类型（比如Range子类、部分不可变集合的特定构造场景），自定义的不可变类除非你手动用object单例或const val约束，否则编译器不会自动帮你做这种复用优化。

咱们来看你给出的两个具体写法：

第一段代码：

repeat(1024) { doSomething(('a'..'z').random()) }

第二段代码：

val LOWERCASE_ALPHABETS = 'a'..'z'
repeat(1024) { doSomething(LOWERCASE_ALPHABETS.random()) }

首先说结论：第二段写法确实能带来（虽然微小但存在的）性能提升，而且第一段写法其实也不会真的创建1024次Range实例——因为Kotlin编译器会识别到'a'..'z'是编译期常量构造的Range，会自动缓存这个实例，后续每次调用('a'..'z')都会复用同一个对象。

不过把Range提取成命名常量的写法，还有额外的优势：

• 可读性大幅提升：LOWERCASE_ALPHABETS比直接写'a'..'z'更直观，尤其是在代码多处使用这个范围的场景
• 避免潜在的优化失效：如果后续你把范围的上下界改成非编译期常量（比如从变量或函数返回值取值），第一段写法会每次创建新的Range实例，而第二段写法依然只会创建一次
• 微小的性能增益：虽然编译器会缓存，但直接引用常量比每次触发编译器的缓存检查，还是会少一点点开销（当然，这个差异在大多数业务场景下可以忽略不计）

你提到的“const不可变实例化”（实例的所有参数都是常量或const不可变实例），Kotlin编译器对这类场景的优化是很积极的。除了Range，像IntRange、LongRange这类内置范围类，只要构造参数是编译期常量，都会被缓存为单例；对于小型的不可变集合（比如listOf(1, 2, 3)这种由编译期常量元素组成的集合），编译器也会做类似的复用优化，减少不必要的对象创建开销。

需要注意的是，这种优化属于编译器的实现细节，不属于Kotlin语言规范的强制要求，不同版本的编译器可能在优化细节上有细微差异，但核心逻辑是一致的：对于可确定的不可变实例，尽量复用，降低内存开销和对象创建成本。

内容的提问来源于stack exchange，提问作者Shreck Ye