scala中泛型函數和多態參數類型之間的區別是什麼？

Question

這兩個函數聲明有什麼區別？

def fn[T <: A](t: T): Unit =() 

def fn(a: A): Unit =() 

Answer 1

這是Universal多態性2種亞型：Parametric & Inclusion（繼承/子類型）。他們有自己的優點&缺點，但對於這種特殊情況差異，我可以想象，對於類型多態性，您將錯過重載函數的可能性（什麼是包含多態性的有價值部分）。

例如：

class A 
class B // extends A // - if it is needed 

class Foo { 
    def fn(t: A): Unit =() 
    def fn(t: B): Unit =() // - is OK 
} 

class Boo { 
    def fn[T <: A](t: T): Unit =() 
    def fn[T <: B](t: T): Unit =() // - is not OK (func names conflict) 
}