Dlaczego kompilator scala nie generuje ostrzeżenia w przypadku instrukcji, które zawsze powodują fałsz w dopasowaniu wzorca?

Question

Kompilator scala powinien generować ostrzeżenia dla instrukcji if, które skomentowałem poniżej, ale tak się nie dzieje. Czemu?

sealed trait T 
object A extends T 

val s:Seq[T] = Seq(A) 

val result = s.map { 
    //This if should produce a compiler warning 
    case a if(a == "A") => 
     "First" 
    case a => 
     //This if should produce a compiler warning 
     if (a == "A") { 
     "Second" 
     } 
     else 
     { 
     "Third" 
     } 
} 

Rezultatem będzie „trzecie”, jak można się spodziewać, ale kompilator powinien generowane ostrzeżenie na case a if(a == "A") i na if (a == "A"), ale niestety nie ma ostrzeżenia.

Jeśli piszę następujący kod zachowuje się jak bym się spodziewał:

if(A == "A"){ 
    println("can't happen") 
} 

// warning: comparing values of types A.type and String using `==' will always yield false 

Dlaczego tak się dzieje?

Edytuj: Używam Scala 2.10.1.

Answer 1

Ponieważ może się zdarzyć. Gdybym po prostu zachował jakiś stan wewnętrzny i zwrócił różne wyniki dla == "A" przy pierwszym i drugim wywołaniu, wtedy mogę uzyskać "Drugi".

Podałeś definicję A, która gwarantuje, że nie może się zdarzyć, ale to wymaga zbadania całego programu, a ostrzeżenia kompilatora są tylko lokalne.

Answer 2

Może trzeba będzie dziedziczona z klasy metody przeciążonej == z argumencie ...