階映射方法不能正確地解析功能類型中收集與固定功能類型

Question

我有以下代碼，

def obsKPI[T](kpi: Option[T], f: T => Unit) = { 
    kpi match { 
     case Some(obsValue) => f(obsValue) 
     case _ => Unit 
    } 
} 

def func1(str:String):Unit = println(str) 
def func2(num: Int):Unit = println(num) 

//option1: val inputArgs = List((Some("first"),(func1 _)),(Some("third"), (func1 _))) 
//option2: val inputArgs = List((Some(456), (func2 _)),(None,(func2 _))) 
// option3: 
val inputArgs = List((Some("first"),(func1 _)),(Some(456), (func2 _)),(Some("third"), (func1 _)),(None,(func2 _))) 

inputArgs.map(x => obsKPI(x._1, x._2)) 

運行任一選項1或2時（在inputArgs列表僅包含字符串的功能=>單位或INT =>單元），代碼工作，但運行選項3時，我得到一個錯誤：

:68: error: type mismatch; 
found : Int with String => Unit 
required: Any => Unit 
       inputArgs.map(x => obsKPI(x._1, x._2)) 
               ^

謝謝你讓我知道什麼地方出了問題在這裏。

Answer 1

函數在它們的參數類型中不是協變的（它們實際上是逆變的）。 這意味着，如果Foo是Bar一個亞類中，Foo => Unit是不的Bar => Unit一個子類（正好相反）。

在你的情況，你想強迫func1和func2到Any => Unit，但不能工作，因爲它們的類型不兼容 - 一個是String => Unit，另一種是Int => Unit。要解決這個問題

的一種方法，是使用一個案例類，而不是一個元組：

case class KPI[T](t: Option[T], f: T => Unit) 
def obsKPI(kpi: KPI[_]) = kpi match { 
    case KPI(Some(k), f) => f(k) 
    case _ =>() // `()` is the value of type Unit. Unit, as you had it is the value of type Unit.type - not what you want at all 
} 
// You can also write the above more concise like this: def obsKPI[T](kpi: KPI[T]) = kpi.t.foreach(kpi.f) 

def func1(str:String) = println(str) 
def func2(num: Int) = println(num) 

val inputArgs = List(KPI(Some("first"),func1 _), KPI(Some(456), func2 _), KPI(Some("third"), func1 _), KPI[Int](None,func2 _)) 

inputArgs.foreach(obsKPI) // Could do .map here too, but ending up with a list of()s is unlikely what you you want. 

你可以，如果你讓你的obsKPI看起來更優雅一點，進入的一員case class：

case class KPI[T](t: Option[T], f: T => Unit) { 
    def obs = t.foreach(f) 
} 
val inputArgs = List(KPI(Some("first"),func1 _), KPI(Some(456), func2 _), KPI(Some("third"), func1 _), KPI[Int](None,func2 _)) 

inputArgs.foreach(_.obs)