Scala：使用函數作爲第一類對象的問題

Question

我需要一個泛型函數的集合，但我無法按照我喜歡的方式完成它。 我創建了一個

List[(Any)=>Unit] 

但只要我嘗試插入功能，例如

String=>Unit 

我得到一個錯誤。我怎麼能聲明一個不考慮參數和返回值類型的通用函數集合？

Answer 1

剛剛完成@Moritz的回答，您需要選擇T1的類型參數，它是列表中每個函數的輸入類型的子類型。 Nothing符合法案 - 它是每種類型的子類型。

scala> val l: List[Nothing => Any] = List((b: String) => b, (a: Int) => a) 
l: List[(Nothing) => Any] = List(<function1>, <function1>) 

一個存在的類型也可以工作：

scala> val l: List[_ => _] = List((b: String) => b, (a: Int) => a)   
l: List[Function1[_, _]] = List(<function1>, <function1>) 

Answer 2

函數在輸入類型參數中是不相容的，例如，在你的情況下Function1[-T1,+R]。這意味着您可以將Any => Unit的實例添加到List[String => Unit]，但不能相反。這當然很有意義，因爲您無法調用期望類型爲String的參數的函數，其參數類型爲Any。