Das Typsystem von Scala. L. Piepmeyer: Funktionale Programmierung - Das Typsystem von Scala

Transkript

1 Das Typsystem von Scala 1

2 Eigenschaften Das Typsystem von Scala ist statisch, implizit und sicher 2

3 Nichts Primitives Alles ist ein Objekt, es gibt keine primitiven Datentypen scala> 42.hashCode() res0: Int = 42 Der Datentyp ist hier Int Der Compiler entscheidet, ob der primitive Java-Typ int oder java.lang.integer verwendet wird. 3

4 Wozu primitive Datentypen? Auch in Java sind primitive Typen nicht unbedingt nötig. Alles kann mit Referenztypen ausgedrückt werden Schleife mit Laufvariable des primitiven Typs: for(int i=0; i<high; i++); Schleife mit Laufvariable der Hüllklasse: for(integer i=0; i.compareto(high)<0; i=i+1); 4

5 Wozu primitive Datentypen? Da die Hüllklassen-Objekte unveränderbar sind, werden in der zweiten Schleife sehr viele Objekte erzeugt und irgendwann zerstört. Das ist bei primitiven Typen nicht der Fall! for(integer i=0; i.compareto(hi)<0; i=i+1); Primitive Typen sind ein Performance-Hack 5

6 Der Compiler entscheidet Der Compiler entscheidet ähnlich wie wir: Immer wenn es möglich ist, wird int verwendet Nur dann, wenn es nötig ist, wird Integer benutzt. Übrigens: Bei Methoden mit maximal einem Parameter dürfen die Klammern fehlen: 42 hashcode Math sqrt

7 Vergleiche Anders als in Java entspricht der Operator == immer der Methode equals. Das folgende Codefragment liefert also true val i1: Int = 4711 val i2: Int = 4711 println(i1==i2) Referenzen vergleicht man so: val v1: java.lang.integer = 42 val v2 = new java.lang.integer(42) println(v1 eq v2) 7

8 Wieder zwei Arten von Typen Nicht für alle Typen ist die Methode eq anwendbar: val i1 : Int =4711 val i2 : Int =4711 println(i1 eq i2) liefert eine Fehlermeldung, da Int auf den primitiven Typ int abgebildet werden kann. Scala unterscheidet zwei Arten von Typen Wertetypen Referenztypen 8

9 Wertetypen Die Typen Unit (wird noch erklärt) Boolean Char Byte Short Int Long Float Double sind die Wertetypen 9

10 Referenztypen Alle andere Typen sind Referenztypen. Basisklasse aller Referenztypen ist AnyRef Basisklasse aller Wertetypen ist AnyVal Basisklasse aller Typen ist Any AnyVal ist eine geschlossene Gesellschaft: Entwickler können selbst Referenztypen, aber keine Wertetypen definieren. 10

11 Der Typ Unit Wir kennen in Java solche Definitionen void out(int v){ System.out.println("Hello Scala"); } Schön ist das nicht: void ist ein Schlüsselwort und kein Typ. Scala bietet hier wirklich einen eigenen Typ an: def out(v: Int): Unit = { println("hello Scala") } Scala bemüht sich mit einem Minimum von Schlüsselworten auszukommen! 11

12 Der Typ Null Das einzige Objekt vom Typ Unit ist () scala> val u = () u: Unit = () Ebenso ist null kein Schlüsselwort, sondern das einzige Objekt vom Typ Null. Insbesondere ist Null Untertyp jedes Referenztypen scala> val nil = null nil: Null = null Das Schlüsselwort null entfällt so. 12

13 Der Typ Nothing Der Typ Nothing ist Untertyp aller anderen Typen (bottom type). Es gibt keine Objekte vom Typ Nothing Der Typ Nothing ist gelegentlich sehr praktisch: Die leere Liste ist vom Typ List[Nothing] und kann somit jeder beliebigen Konstanten (Typ egal) zugewiesen werden. Scala-Typen als Graph: 13

14 Typoperationen Typumwandlung (Java: Cast): Die generische Methode asinstanceof[typ] fasst ein Objekt als Objekt des angegebenen Typen auf: scala> val v = 7 v: Int = 7 Scala> v.asinstanceof[number] Res17: java.lang.number = 7 Typtest (Java: instanceof): Die generische Methode isinstanceof[typ] testet, ob ein Objekt als Objekt des angegebenen Typen aufgefasst werden darf: scala> val v = 7 v: Int = 7 Scala> v.isinstanceof[number] Res18: Boolean = true 14

15 Alles klar? Das Typsystem von Scala ist statisch, implizit und sicher. Der Basistyp aller Typen ist Any. In Scala ist jeder Wert ein Objekt. In Scala wird zwischen Wertetypen und Referenztypen unterschieden. Referenztypen sind Unterklassen von AnyRef. Anwender können selbst Klassen definieren. Es gibt neun Wertetypen in Scala. Alle Wertetypen sind Unterklassen von AnyVal. Alle Typen haben den gemeinsamen Untertypen Nothing. Alle Referenztypen haben den gemeinsamen Untertypen Null. Der Wertetyp Unit wird verwendet, um Funktionen zu definieren, die keinen Rückgabewert haben. 15