在 Kotlin 中，密封類（sealed class）用于表示限定的類繼承結構。它們的子類數量是有限的，這樣可以避免出現不受控制的類繼承。為了優化類型檢查，你可以遵循以下幾點：

1. 使用明確子類：確保每個子類都是明確指定的，而不是使用通配符?。這有助于讓編譯器更好地理解類型結構，從而減少潛在的類型錯誤。

sealed class Shape {
    data class Circle(val radius: Double) : Shape()
    data class Rectangle(val width: Double, val height: Double) : Shape()
}

2. 使用when表達式：當處理密封類時，使用when表達式而不是if-else語句。when表達式可以更清晰地表示不同的子類情況，提高代碼的可讀性和類型安全性。

fun getArea(shape: Shape): Double {
    return when (shape) {
        is Shape.Circle -> Math.PI * shape.radius * shape.radius
        is Shape.Rectangle -> shape.width * shape.height
    }
}

3. 避免使用抽象函數：在密封類中，盡量避免使用抽象函數，因為它們可能導致不受控制的子類實現。相反，盡量將所有邏輯放在密封類本身或其顯式指定的子類中。

4. 使用擴展屬性：如果需要在密封類或其子類上添加通用屬性，可以使用擴展屬性。這樣可以保持類型結構的清晰，同時避免額外的類型檢查。

fun Shape.description(): String {
    return when (this) {
        is Shape.Circle -> "A circle with radius $radius"
        is Shape.Rectangle -> "A rectangle with width $width and height $height"
    }
}

遵循這些建議，可以幫助你優化 Kotlin 密封類的類型檢查，提高代碼的可讀性和健壯性。