Kotlin und diskriminierte Vereinigungen (Summenarten)

Question

Hat Kotlin etwas wie diskriminierte Vereinigungen (Summenarten)? Was würde die idiomatische Kotlin Übersetzung dieses (F #) sein:

type OrderMessage = 
    | New of Id: int * Quantity: int 
    | Cancel of Id: int 

let handleMessage msg = 
    match msg with 
     | New(id, qty) -> handleNew id qty 
     | Cancel(id) -> handleCxl id 

Answer 1

Der gemeinsame Weg in einer OO-Sprache, diese Art von Abstraktion der Umsetzung (zB Kotlin oder Scala) wäre Erbe durch:

open class OrderMessage private() { // private constructor to prevent creating more subclasses outside 
    class New(val id: Int, val quantity: Int) : OrderMessage() 
    class Cancel(val id: Int) : OrderMessage() 
} 

Sie können den gemeinsamen Teil auf die übergeordnete schieben, wenn man so will:

open class OrderMessage private (val id: Int) { // private constructor to prevent creating more subclasses outside 
    class New(id: Int, val quantity: Int) : OrderMessage(id) 
    class Cancel(id: Int) : OrderMessage(id) 
} 

die Typprüfer wissen nicht, dass eine solche Hierarchie geschlossen ist, so dass, wenn Sie tun, um eine Fall-ähnlichen Spiel (when -ausdruck) darauf wird es sich beschweren, dass es nicht erschöpfend ist, aber das wird bald behoben sein.

Update: während Kotlin nicht Muster unterstützt passende, können Sie verwenden, wenn -expressions als intelligenten Abgüsse fast das gleiche Verhalten zu erhalten:

when (message) { 
    is New -> println("new $id: $quantity") 
    is Cancel -> println("cancel $id") 
} 

Sehen Sie mehr über Smart wirft here.

Answer 2

Kotlins Ansatz zu diesem Problem ist sehr ähnlich der Scala sealed class.

https://kotlinlang.org/docs/reference/sealed-classes.html

Beispiel (aus diesem Link):

sealed class Expr { 
    class Const(val number: Double) : Expr() 
    class Sum(val e1: Expr, val e2: Expr) : Expr() 
    object NotANumber : Expr() 
}