Gibt es eine Möglichkeit, den Rückgabetyp eines Scala-Funktionsliterals anzugeben?

Ich frage mich, ob es möglich ist, den Rückgabetyp eines Funktionsliterals anzugeben. Zum Beispiel habe ichGibt es eine Möglichkeit, den Rückgabetyp eines Scala-Funktionsliterals anzugeben?

(x:Int) => x * 2 // scala infers the type Int => Int 
((x:Int) => Double) => x * 2 // does NOT compile

Ich weiß, dass Scala Typinferenz tun wird den Rückgabetyp zu finden, aber ich würde ausdrücklich gerne den Typen angeben, so dass der Compiler früher den Fehler abfängt.

Natürlich habe ich die Prüfung durch

zwingen kann

val a: Int => Int = (x: Int) => x * 2

Aber ist es möglich, wörtliche direkt auf eine Funktion angeben?

Quelle

2017-09-08 ecerulm

'(x: Int) => x * 2.0'? Oder '(x: Int) => (x * 2): Double' – Dima

Sie können sogar Typbezeichnung auf Blöcke in geschweiften Klammern verwenden:' (x: Int) => {... Tonnen Code ...}: Double ' –

perfekt, danke, das ist genau das, was ich suchte, ich konnte es nicht herausfinden. Mach es zur Antwort und ich werde es akzeptieren! – ecerulm

"Angeben des Typs" heißt type ascription. Wenn also die Funktionsliteral Typ sein sollte Int => Double (nehmen Sie einen Int-Parameter und geben einen Doppel), dann können Sie es wie folgt angeben:

(x: Int) => { x * 2.0 }:Double

Wie erwähnt Scala Inferenz tut Typ so wird der Typ Zuschreibung nicht wirklich nötig, Aber wenn Sie den Typüberprüfer auf den beabsichtigten Typ "hinweisen" möchten, können Sie es tun. Wie in der Dokumentation erwähnt, wird die Beschreibung jedoch nicht häufig verwendet.

Quelle

2017-10-26 09:35:40 ecerulm

Gibt es eine Möglichkeit, den Rückgabetyp eines Scala-Funktionsliterals anzugeben?

Antwort

Verwandte Themen