Scala模式多次匹配相同的類型參數

Question

我想模式元組中的匹配項，其中項目具有相同的類型，包括類型參數。我用例是相當複雜的，但我想在這裏提取小例子來說明這個問題：

class Foo[T] { } 

val input = (new Foo[String], new Foo[String]) 

input match { 
    case (a:Foo[x], b:Foo[x]) => 
    // Do things that rely on a and b having exactly the same type 
} 

但是，這並不編譯，因爲我的情況下語句中使用x兩次。編譯提供了以下錯誤：

error: x is already defined as type x 

我試圖改變比賽拉出不同類型參數的兩個輸入端，然後測試他們的平等：

input match { 
    case (a:Foo[x], b:Foo[y]) if (x == y) => 
    // Do things that rely on a and b having exactly the same type 
} 

但是，這並不編譯，給錯誤

error: not found: value x 

有沒有我可以用它來搭配兩件事情具有相同，未指定，類型有些斯卡拉語法？我正在運行Scala 2.9.2

Answer 1

當你在模式匹配中使用類型或類型變量時，你應該三思，首先是因爲類型擦除意味着它不太可能工作，第二，因爲參數意味着它不應該「噸。幾乎總是有一個更好的解決方案。

在這種情況下，你可以這樣做以下：

class Foo[T] { } 

val input = (new Foo[String], new Foo[String]) 

def doSomething[A](pair: (Foo[A], Foo[A])) = ??? 

現在doSomething(input)將編譯，但doSomething((new Foo[Char], new Foo[Int]))不會（假設你離開類型參數上Foo不變）。仍然沒有太多可以（誠實地）使用這兩個對象中的項目，因爲您只知道它們具有相同的類型，所以通常您會想要添加類似類型約束的東西，並且使用方法也有幫助在這方面。