Muster passender Typ Fehler

Question

Unten ist die map1.scala Datei in IntelijIDEA

Es scheint, dass ich wieder die Wand traf. Ich habe keine Ahnung, warum die folgenden Fehler ist:

abstract class List[T] { 
    def map[U](f: T => U): List[U] = { 
    this match { 
     case Nil => this 
     case x :: xs => ??? 
    } 
    } 
} 

Fall Nil: Mustertyp ist nicht kompatibel mit dem erwarteten Typ: Ergebnis Nil.type erwartete Liste [T] dies: Ausdruck der Typ List [T] nicht konform zum erwarteten Typ Liste [U] x :: xs Mustertyp inkompatibel gefunden :: B erforderlich Liste [T] ..

Ich habe alles versucht ... Habe aber immer noch dieses Problem. Wie auch immer, bitte antworten Sie.

Answer 1

Eigentlich gibt es einige Probleme mit Ihrem Code:

• invariant Typparameter T der Liste
• inexistent Objekt Nil
• abwesende Betreiber ::
• abwesendes Objekt :: mit Unapply Funktion

Versuchen Sie folgendes:

abstract class List[+A] 
    def head: A 
    def tail: List[A] 

    def map[B](f: A => B): List[B] = 
    if (this == Nil) Nil 
    else new ::(f(head), tail map f) 
} 

case object Nil extends List[Nothing] { 
    def head = ??? // not interested in throwing more appropriate exception 
    def tail = ??? 
} 

case class ::[T](head: T, tail: List[T]) extends List[T] 

Dann können Sie es verwenden

(1 :: 2 :: 3 :: Nil).map(_.toString)