Type Checking and Smart Casts

The is Operator in Kotlin

Kotlin uses the is operator to check if an object is of a specific type at runtime. This operator serves the same purpose as Java's instanceof operator but is more concise and fits naturally with Kotlin's syntax.

When you write if (obj is String), Kotlin checks whether obj is an instance of the String class or a subclass. If the check passes, you can safely use obj as a String inside that block, thanks to Kotlin's smart cast feature.

Comparison with Java:

• In Java, you write: if (obj instanceof String);
• In Kotlin, you write: if (obj is String).

Practical notes:

• The is operator automatically handles null checks; if obj is null, the result is false;
• You do not need to cast the object manually after an is check—Kotlin smart casts it for you in the safe scope;
• To check if an object is not of a type, use !is (e.g., if (obj !is String)).

Use the is operator for safe, readable type checks in Kotlin, and rely on smart casts to reduce boilerplate and potential casting errors.

Smart Casts

Kotlin's smart casts feature automatically casts a variable to a more specific type after a successful type check using the is operator. This reduces the need for explicit type casts that are often required in Java, making your code cleaner and safer.

When you check if a variable is of a certain type using is, Kotlin automatically treats the variable as that type within the scope of the check. You do not need to use an explicit cast like (Type) in Java. This eliminates repetitive casting and reduces the risk of ClassCastException at runtime.

Practical benefits:

• Eliminates most explicit casts after type checks;
• Improves code readability and maintainability;
• Reduces the chance of runtime casting errors.

Example:

fun printStringLength(obj: Any) {
    if (obj is String) {
        // No explicit cast needed; obj is treated as String here
        println(obj.length)
    }
}

In Java, you would need to explicitly cast the object:

void printStringLength(Object obj) {
    if (obj instanceof String) {
        String s = (String) obj;
        System.out.println(s.length());
    }
}

With smart casts, Kotlin makes type-safe programming more concise and less error-prone.