類型參數不擴展給定類型

Question

我想定義一個泛型，使其類型參數不擴展給定類型。

例如，

trait myTrait[T <: Throwable] { 
    // .... 
} 

將定義其中其類型參數延伸Throwable的性狀。我想要類似（不是真正的Scala代碼）：

trait myTrait[T Not(<:) Throwable] { 
    // .... 
} 

其中type類型參數不擴展Throwable。有沒有辦法在Scala中構建這樣的概念？

Answer 1

你可以用implicits做這樣的事情。這裏是邁克爾薩賓關於scala語言的一個技巧：

// Encoding for "A is not a subtype of B" 
trait <:!<[A, B] 

// Uses ambiguity to rule out the cases we're trying to exclude 
implicit def nsub[A, B] : A <:!< B = null 
implicit def nsubAmbig1[A, B >: A] : A <:!< B = null 
implicit def nsubAmbig2[A, B >: A] : A <:!< B = null 

// Type alias for context bound 
type NOT[T] = { 
type Lambda[U] = U <:!< T 
} 

// foo does not accept T of type Unit 
def foo[T : NOT[Unit]#Lambda](t : T) = t