Kotlin-为什么没有像“ ClosedRange”那样的“ Progression”界面？

Question

科特琳（Kotlin）已定义：

class CharRange : CharProgression, ClosedRange<Char>

但看着CharProgression：

open class CharProgression : Iterable<Char>

没有Progression界面。它直接实现Iterable。

为什么Kotlin没有像Progression那样定义ClosedRange接口？

Answer 1

也许JetBrains的某人会纠正我，但我认为原因就在这里：

// Auto-generated file. DO NOT EDIT!

import kotlin.internal.getProgressionLastElement

所有此类类层次结构，包括内部CharProgressionIterator，都将自动生成。因此，既是内部的又是生成的，就什么也不用，只要生成的代码可以使用就没有任何接口。