タイプのマッチングは

Question

object Test1 extends App { 

    object specificTypes extends Enumeration { 
    type specificTypes = Value 
    val Red = Value 
    val Green = Value 
    val Blue = Value 
    } 

    abstract class outer { 
    type T <: Test1.specificTypes.Value 
    def pr(w: T) 
    } 

    class red extends outer { 
    type T = Test1.specificTypes.Red // Getting Error Here, type Red is not a member of object Test1.specificTypes 
    def pr(w: T) = println("hello red") 
    } 

    val r = new red 
    r.pr(Test1.specificTypes.Red) 

} 

タイプレッドオブジェクトTest1.specificTypesのメンバーではない、それを解決するためにどのように、私はそれはあなたがしたい場合はコンパニオンオブジェクトで型Tを格納する方が良いでしょうと信じてい

Answer 1

type T = Test1.specificTypes.Redはタイプを割り当てません。値を型として割り当てようとしますが、もちろん型はコンパイルされません。

これはいかがですか？

object Test1 extends App { 


    object specificTypes extends Enumeration { 
    type specificTypes = Value 
    val Red = Value 
    val Green = Value 
    val Blue = Value 
    } 

    abstract class outer { 
    type T <: Test1.specificTypes.Value 
    def pr(w: T) 
    } 

    class red extends outer { 
    type T = Test1.specificTypes.Red.type //IMPORTANT THING! 
    def pr(w: T) = println("hello red") 
    } 
    class blue extends outer { 
    type T = Test1.specificTypes.Blue.type //IMPORTANT THING! 
    def pr(w: T) = println("hello blue") 
    } 

    val r = new red 
    //r.pr(Test1.specificTypes.Blue) // compilation error 
    /* 
    Error:(23, 28) type mismatch; 
    found : Test1.specificTypes.Blue.type (with underlying type Test1.specificTypes.Value) 
    required: Test1.r.T 
     (which expands to) Test1.specificTypes.Red.type 
    r.pr(Test1.specificTypes.Blue) 
    */ 


    val b = new blue 
    b.pr(Test1.specificTypes.Blue) // compiles, prints hello blue 
} 

しかし、あなたの場合（あなたが言及したように）

私はタイプといくつかのクラスを持っているために、私は私が使用する

パターンマッチングにタイプ別のクラスを区別したいです簡単なsealed trait、Chobeatの答えのように。

Answer 2

間違ったつもりですどこ同様の構造を維持する。そうしないと、あなたは奇妙な形の言及なしに、徹底的かつ安全に一致させることができるこの方法を和型を使用して、この

sealed trait Colour 

trait Red extends Colour 

trait Green extends Colour 

class RedClass extends Red 
class GreenClass extends Green 


def matchMethod(check:Colour) = {   

    check match { 

     case Red => println("hello this is red") 
     case Green => println("hello this is green") 
    } 
} 

ような何かを行うことができます。