Kotlin Range Until

​

Syntax and Compilation

val range = start ..< end

val range = start.rangeUntil(end)

​

Type System Integration

1. Integral Types (Int, Long, Short, Byte, Char): For discrete integral types, the operator returns a standard Iterable progression (e.g., IntRange, LongRange). The standard library implementation of rangeUntil for these types explicitly guards against integer underflow. Rather than blindly calculating end - 1 to find an inclusive upper bound, the function checks the exclusive bound against the type’s minimum value (e.g., if (to <= Int.MIN_VALUE) return IntRange.EMPTY). This ensures that an expression like 0 ..< Int.MIN_VALUE safely returns an empty range instead of underflowing to Int.MAX_VALUE.

2. **Floating-Point Types (`Float`, `Double`)**:

   Because `Float` and `Double` implement the `Comparable` interface, they automatically inherit the generic `Comparable<T>.rangeUntil` extension function from the Kotlin standard library. Expressions using `..<` with these types compile successfully and return an `OpenEndRange<Float>` or `OpenEndRange<Double>`.
   ```kotlin
val doubleRange: OpenEndRange<Double> = 1.0 ..< 2.0

​

Operator Overloading and Custom Types

class Version(val major: Int, val minor: Int) : Comparable<Version> {
    override fun compareTo(other: Version): Int {
        return compareValuesBy(this, other, { it.major }, { it.minor })
    }
}

// Syntax visualization: Automatically supported via Comparable<T>.rangeUntil
val v1 = Version(1, 0)
val v2 = Version(2, 0)
val versionRange: OpenEndRange<Version> = v1 ..< v2

​

Behavioral Characteristics

• Ascending Order Only: The ..< operator strictly creates ascending ranges. If the left operand is greater than or equal to the right operand, the resulting range is empty (isEmpty() returns true).
• Step Size: For integral progressions, the default step size is 1.
• Interface Hierarchy: The OpenEndRange<T> interface is distinct from ClosedRange<T> (which is generated by the .. operator). OpenEndRange exposes an endExclusive property, whereas ClosedRange exposes an endInclusive property.