为什么编译错误在理解和模式匹配案例类

Question

任何人都可以知道为什么下面的代码不能通过编译？我只是不知道为什么类型不匹配发生。

输出应该是这样的：

List(Book, DVD, MP3) 

我的代码：

package library3 { 

    abstract class Item() { 
    def use(): Unit 
    } 

    // match on Items. 

    case class Book (val title: String) extends Item 
    case class DVD (val title: String) extends Item 
    case class MP3 (val title: String) extends Item 
} 

object Ch3_2 { 

    import library3._ 

    def main(args:Array[String]) = { 
    val items = List(new Book("The Hobbit"), 
       new DVD("Black Adder Goes Forth"), 
       new MP3("Watership Down") 
      ) 

    println(classifyItems(items)) 
    } 

    def classifyItems(items:List[Item]): List[String] = { 

    // Use a for comprehension and pattern matching to take a list of 
    // items and return a list of types of items. 

    for (item <- items) { // <=== type mismatch; 
     item match { 
      case b: Book => println("Book") 
      case d: DVD => println("DVD") 
      case m: MP3 => println("MP3") 
     } 
    } 

    } 

} 

错误消息：

error: type mismatch; 
found : Unit 
required: List[String] 
    for (item <- items) { 
      ^
one error found 

Answer 1

这里是你的代码的工作版本：

abstract class Item 

case class Book (title: String) extends Item 
case class DVD (title: String) extends Item 
case class MP3 (title: String) extends Item 

val items = List( 
    Book("The Hobbit"), 
    DVD("Black Adder Goes Forth"), 
    MP3("Watership Down") 
) 

def classifyItems(items:List[Item]): List[String] = 
    for (item <- items) yield 
    item match { 
     case b: Book => "Book" 
     case d: DVD => "DVD" 
     case m: MP3 => "MP3" 
     case _ => "else" 
    } 

验证它的实际工作：

scala> classifyItems(items) 
res2: List[String] = List(Book, DVD, MP3)  

一个几句话：

• 使用情况下类，你不必使用new
• 你之后使用yield声明for声明。
• 如果你不想在match使用默认情况下，你必须使用Scala中关于for语句sealed trait或sealed class
• 更多信息：http://www.scala-lang.org/node/111