Scala 協變 和 逆變 二

標籤：

Scala 協變 和 逆變 二

協變和逆變主要是用來解決參數化型別的泛化問題。由於參數化型別的參數（參數類型）是可變的，當兩個參數化型別的參數是繼承關係（可泛化），那被參數化類別型是否也可以泛化呢？Java中這種情況下是不可泛化的，然而Scala提供了三個選擇，即協變、逆變和非變。下面說一下三種情況的含義，首先假設有參數化特徵Queue，那它可以有如下三種定義。 

1）trait Queue[T] {} 

這是非變情況。這種情況下，當類型S是類型A的子類型，則Queue[S]不可認為是Queue[A]的子類型或父類型，這種情況是和Java一樣的。 

2）trait Queue[+T] {} 

這是協變情況。這種情況下，當類型S是類型A的子類型，則Queue[S]也可以認為是Queue[A}的子類型，即Queue[S]可以泛化為Queue[A]。也就是被參數化型別的泛化方向與參數類型的方向是一致的，所以稱為協變。 

3）trait Queue[-T] {} 

這是逆變情況。這種情況下，當類型S是類型A的子類型，則Queue[A]反過來可以認為是Queue[S}的子類型。也就是被參數化型別的泛化方向與參數類型的方向是相反的，所以稱為逆變。 

Scala 協變 和 逆變 二