多型パラメーターを同じ型にすることを強制する

Question

以下のメソッドでは、 にfromとtoの型が同じ型のLexicalDateであるように関数の型を設定したいと考えていました。私。両方ともDayであるか、両方ともHourである必要があります。

現在、fromとtoは異なる種類のLexicalDateとして渡すことができます。

fromとtoはコンパイルレベルで強制的に同じタイプのLexicalDateにすることができますか？あなたが探しているものを

sealed trait LexicalDate 
case object Day extends LexicalDate 
case object Hour extends LexicalDate 
def queryDate[Date <: LexicalDate](
    id: Long, 
    from: Date, 
    to: Date 
) 

Answer 1

は、コンパイラは二つのタイプが同じであることを証明することができなければならないことを要求する一般的なタイプの制約=:=、です。

：

scala> def queryDate[A <: LexicalDate, B <: LexicalDate](id: Long, from: A, to: B)(implicit ev: A =:= B) { } 
queryDate: [A <: LexicalDate, B <: LexicalDate](id: Long, from: A, to: B)(implicit ev: A =:= B)Unit 

scala> queryDate(10, Day, Day) 

scala> queryDate(10, Hour, Hour) 

scala> queryDate(10, Day, Hour) 
<console>:15: error: Cannot prove that Day.type =:= Hour.type. 
     queryDate(10, Day, Hour) 
       ^

scala> queryDate(10, Hour, Day) 
<console>:15: error: Cannot prove that Hour.type =:= Day.type. 
     queryDate(10, Hour, Day) 
       ^

は一般型制約の一般的な説明については、以下のリンクを参照してください：あなたのケースのために、=:=は（特に、queryDate方法の暗黙のパラメータリストを注意してください）以下のように使用することができます私はこれを行うにはどのような理由を見ることができません

• What do <:<, <%<, and =:= mean in Scala 2.8, and where are they documented?
• Generalized type constraints in Scala (without a PhD)