Scala "match" deyiminde sınıfları nasıl eşleştirebilirim?

Question

Bir sınıf değişkeninin değerini tanımlamak için bir "eşleşme" deyimini nasıl kullanabilirim? Aşağıdaki geçersiz olduğunu ve kabul edilebilir bir varyantı bulamıyor - eğer başka ... ... else if else ...

val c: Class[_] = classOf[Int] 
val what = c match { case classOf[Int] => "int!"; case classOf[Float] => "float!" } 

derleyici yakınır: error: not found: type classOf

Ve tabii bu tip bilgiler silinir çünkü ben Class[Int] kullanamazsınız:

c match { case Class[Int] => "int!"; case Class[Float] => "float!" } 
error: type Class of type Class does not take type parameters. 

Ben de denedim varyantları Int.class gibi tüm boşuna. (Ve gerçekten dizeleri dönüştürmek istemiyorum: Derleyicinin yeniden adlandırılmış sınıfları değiştirdiğinin farkındayım.)

Yoğun muyum muyum yoksa Scala kör noktaya mı geldim?

Answer 1

(yani. bir val) onlar için, sen türüne maç olamaz

scala> val c: Class[_] = classOf[Int] 
c: Class[_] = int 

scala> val ClassOfInt = classOf[Int] 
ClassOfInt: java.lang.Class[Int] = int 

scala> val ClassOfFloat = classOf[Float] 
ClassOfFloat: java.lang.Class[Float] = float 

scala> val what = c match { 
    |  case ClassOfInt => "int!" 
    |  case ClassOfFloat => "float!" 
    | } 
what: String = int! 

Not (yani. Sınıf [Uluslararası]) nedeniyle silme Sınıf [T], farklı tip örneğinin bulunması dolayısıyla aynı sorunu ve 'stabil tanımlayıcı' sınıfı yerleştirilmesi karşılaşılan

scala> val what = c match { 
    |  case _: Class[Int] => "int!" 
    |  case _: Class[Float] => "float!" 
    | } 
warning: there were 2 unchecked warnings; re-run with -unchecked for details 
what: java.lang.String = int! 

Answer 2

ayrıntılı vaka karşılaştırma çalışır: Elbette

val what = c match { 
    case q if q == classOf[Int] => "int!" 
    case q if q == classOf[Float] => "float!" 
} 

, bir küçük harf tanımlayıcı olan classOf zaten bir vaka açıklamada doğrudan çalışmamalıdır. Eğer if -guard ile gitmek gerekir böylece Ancak, ne bu durumda kaçan bir

case `classOf`[Int] 

çalışır. Eğer istikrarlı bir tanımlayıcı oluşturmak eğer sınıf değerlerine eşleşebilir

Answer 3

aşağıdaki uyarı pratik değildir ... zamanında ayırt edilemez olduğu anlamına gelir . Bir sonraki en iyi şeyin 'else if' ifadeleri olması gerekiyordu.

bu yöntemi kullanarak:

private def is[T <: AnyRef : Manifest](implicit cls: Class[_]) = 
    cls == manifest[T].runtimeClass 

yazabilirim:

implicit val arg = cls 
    if (is[ClassA]) ... 
    else if (is[ClassB]) ... 
    ... 
    else throw new IllegalArgumentException("Unknown class: " + cls) 

Answer 4

devralma düşünün:

val what = c match { 
    case q if classOf[Int].isAssignableFrom(q) => "int!" 
    case q if classOf[Float].isAssignableFrom(q) => "float!" 
}