匿名部分写像構文

Question

私は以前この質問をした：Combine a PartialFunction with a regular function

、その後実現し、私は実際にそれを右に尋ねていないこと。 別の試みがここにあります。私はこれを行う場合は

：

val foo = PartialFunction[Int, String] { case 1 => "foo" } 
val bar = foo orElse { case x => x.toString } 

をそれがコンパイルされません：error: missing parameter type for expanded function The argument types of an anonymous function must be fully known. (SLS 8.5) Expected type was: PartialFunction[?,?]

しかし、これは正常に動作します：

val x: Seq[String] = List(1,2,3).collect { case x => x.toString } 

質問は差がある何ですか？引き数のタイプは、両方のケースで同じです：PartialFunction[Int, String]。渡された値は文字通り同一です。なぜ1つのケースが動作するのですが、もう1つは動作しませんか？

Answer 1

barの型を指定する必要があります。これは、コンパイラがその型を推測できないためです。これは、コンパイル：List(1,2,3).collect{case x => x.toString}の場合、コンパイラは

val foo = PartialFunction[Int, String] { case 1 => "foo" } 
val bar : (Int => String) = foo orElse { case x => x.toString } 

Answer 2

はListが入力された方法のオフに基づいて、部分関数の入力タイプを推測することができます。

final override def collect[B, That](pf: PartialFunction[A, B])(implicit bf: CanBuildFrom[List[A], B, That]) 

型パラメーターに基づいて、コンパイラーは、型指定された部分関数を渡すことを推論できます。そのため、List(1,2,3).collect{case x:String => x.toString}はコンパイルされず、List(1,2,3).collect{case x:Int => x.toString; case x: String => x.toString}もありません。

Listは共変であるため、コンパイラは部分関数{case x => x.toString}がIntの部分関数であると推測できます。コンパイラがIntまたはサブクラスIntのいずれかで操作していると推測するため、List(1,2,3).collect{case x => x.length}はコンパイルされません。

{case x => x.toString}は構文上の砂糖です。私たちは以下のような何かを行う場合は、あなたの例では、期待される

val f = new PartialFunction[Int, String](){ 
    override def isDefinedAt(x: Int): Boolean = true 
    override def apply(v1: Int): String = v1.toString 
} 

val foo = PartialFunction[Int, String] { case 1 => "foo" } 

val bar = foo orElse f //This compiles fine. 

List(1,2,3).collect{f} // This works as well. 

として働くので、私の観点からの唯一の論理的な答えは{case x => x.toString}ためPartialFunctionインスタンスを生成することができる糖衣構文は、コンパイル時に十分な情報を持っていないということですあなたのorElseケースにPartialFunction[Int, String]として適切に入力できるようになります。

Answer 3

ライブラリExtractor.scalaを使用できます。

import com.thoughtworks.Extractor._ 

// Define a PartialFunction 
val pf: PartialFunction[Int, String] = { 
    case 1 => "matched by PartialFunction" 
} 

// Define an optional function 
val f: Int => Option[String] = { i => 
    if (i == 2) { 
    Some("matched by optional function") 
    } else { 
    None 
    } 
} 

// Convert an optional function to a PartialFunction 
val pf2: PartialFunction[Int, String] = f.unlift 

util.Random.nextInt(4) match { 
    case pf.extract(m) => // Convert a PartialFunction to a pattern 
    println(m) 
    case f.extract(m) => // Convert an optional function to a pattern 
    println(m) 
    case pf2.extract(m) => // Convert a PartialFunction to a pattern 
    throw new AssertionError("This case should never occur because it has the same condition as `f.extract`.") 
    case _ => 
    println("Not matched") 
}