스칼라 : 일반 클래스의 형식 매개 변수에 대한 요구 사항을 만드는 방법?

Question

일부 매개 변수화 된 클래스 C [T]를 만들고 클래스 T의 매개 변수가 될 수 있도록 T 유형의 특성에 대한 몇 가지 요구 사항을 만들고 싶습니다. T가 특성이나 클래스에서 상속 받았다고 (주문과 마찬가지로) 말하고 싶으면 간단 할 것입니다. 그러나 나는 그것도 몇 가지 기능을 구현 싶어요.

예를 들어 많은 미리 정의 된 유형이 MinValue 및 MaxValue를 구현한다는 것을 보았습니다. 이러한 유형을 구현하기 위해 T 유형을 사용하고 싶습니다. 암시 적 함수를 정의하기위한 조언을 받았습니다. 그러나 이미 구현 된 경우 모든 사용자가이 기능을 구현해야한다는 점을 싫어합니다. 나는 그것들을 내 코드에서도 구현할 수 있지만, 단지 빈약 한 빠른 수정 인 것처럼 보인다.

예를 들어 힙을 정의 할 때 사용자가 빈 힙을 생성 할 수있게하고 싶습니다. 이러한 경우 나는 유형 T가 가질 수있는 최소값으로 가치를 정하고 싶습니다. 분명히이 코드는 작동하지 않습니다.

class Heap[T](val value:T,val heaps:List[Heap[T]]){ 
    def this()=this(T.MinValue,List()) 
} 

또한 온라인 스칼라 2.8 참조에 대한 조언도 받고 싶습니다.

Answer 1

몇 가지 방법을 공유했기 때문에 모든 것이 느슨하게 관련되어 있습니다 (다른 반환 유형을 사용하더라도). 나에게 ad-hoc 다형성과 같은 확실한 소리! 당신이 할 수

class C[T](param : T)(implicit bounds: HasMinMax[T]) { 
    // now use bounds.minValue or bounds.minValue as required 
} 

Answer 2

당신은 형의 경계를 사용할 수 있습니다 :

C을 가능하게

trait Base 

class C[T <: Base] 

는 Base의 하위 유형입니다 모든 종류의 T으로 매개 변수화 할 수 있습니다.

또는 당신은 요구 사항을 표현하는 암시 적 매개 변수를 사용할 수 있습니다 : 당신이 그들을 변수화 할 T 유형에 대한 Requirement 특성의 구현이 존재하는 경우

따라서

trait Requirement[T] { 
    def requiredFunctionExample(t: T): T 
} 

class C[T](implicit req: Requirement[T]) 

, 클래스 C의 객체 만 구축 할 수 있습니다 . 예를 들어 패키지 객체에 T 유형에 대해 Requirement의 구현을 배치하여 해당 패키지를 가져올 때마다 범위로 가져올 수 있습니다.