是否有理由在Scala中使用子類型作爲類型參數？

Question

我想知道是否有一個很好的理由使用子類型作爲函數類型參數？ 讓我們考慮下面的例子：

scala> trait Animal { def sound: String } 
defined trait Animal 

scala> def f1[T <: Animal](a: T) = a.sound 
f1: [T <: Animal](a: T)String 

scala> def f2(a: Animal) = a.sound 
f2: (a: Animal)String 

擁有F1一定的優勢超過F2？

Answer 1

我相信在你的例子中沒有優勢。類型參數通常用於連接代碼的不同部分，但有關T的信息由於不匹配任何內容而被有效丟失。考慮另一個例子：

def f1[T <: Animal](a: T) = (a.sound, a) 

def f2(a: Animal) = (a.sound, a) 

現在情況不同，因爲T被傳遞到返回類型：

class Dog extends Animal { def sound = "bow-wow" } 

f1(new Dog) 
//> (String, Dog) = (bow-wow,Dog@141851fd) 

f2(new Dog) 
//> (String, Animal) = (bow-wow,Dog@5a1fe991) 

在這種情況下，你能想到的f1因爲這是「實例」模板編譯時間並且基於編譯時參數類型有效地生成特定的方法。所以如果你想使用f1(new Dog)其中(String, Dog)是必需的，它將編譯，而f2(new Dog)不會。

Answer 2

功能f1和f2都非常相似。如果輸出的字節碼，你會在常量看到了池，他們表示爲：

#71 = Methodref   #12.#70  // Main$.f2:(LMain$Animal;)Ljava/lang/String; 
#74 = Methodref   #12.#73  // Main$.f1:(LMain$Animal;)Ljava/lang/String; 

至於字節碼來講，他們是採取Animal作爲參數，並返回String功能。

當你想返回一個特定的T（其中T <: Animal）時，這變得更有趣的一種情況。請記住，字節碼仍然會是相同的，但是在編譯時這給了更多的含義與功率T類型參數：

假設你有：

def f1[T <: Animal](a: T): T = a // silly, I know 
def f2(a: Animal): Animal = a 

你試試這個：

val s: Dog = f1(new Dog()) 
val t: Dog = f2(new Dog()) // NOPE 
val u: Dog = f2(new Dog()).asInstanceOf[Dog] // awkward 

第二行不會編譯，不會犧牲編譯時類型檢查。

Answer 3

在Scala和JVM它們具有以下功能打字規則

S1 -> S2 is subtype of T1 -> T2

if and only if

S1 is subtype of T1 and T2 is subtype of S2

在你的榜樣，

def f1[T <: Animal](a: T): String // T <: Animal -> String 
    def f2(a: Animal): String // Animal -> String 

通過功能打字規則，f1是f2

的亞型結論f1和f2沒有差異E在實際使用情況

請參考，請訪問以下鏈接

https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)#Function_types

Answer 4

考慮您的例子，其中f1和f2具有相同的輸出型f2功能有f1之前的優勢，如果你想超載方法。

所以對於f1它會給出一個錯誤：

scala> :paste 
// Entering paste mode (ctrl-D to finish) 

class Zoo { 
    def f1[T <: Animal](a: T) = a.sound 
    def f1[T <: Dog](a: T) = "Dog says " + a.sound 
} 

// Exiting paste mode, now interpreting. 

<console>:18: error: method f1 is defined twice 
    conflicting symbols both originated in file '<console>' 
     def f1[T <: Dog](a: T) = "Dog says " + a.sound 
      ^

而與f2它的工作原理：

scala> :paste 
// Entering paste mode (ctrl-D to finish) 

class Zoo { 
    def f2(a: Animal) = a.sound 
    def f2(a: Dog) = "Dog says " + a.sound 
} 

// Exiting paste mode, now interpreting. 

defined class Zoo