Jak posprzątać "Typ został wywiedziony jako" Any "" ostrzeżenie?

Question

Mam następujący kod:

class TestActor() extends RootsActor() { 

    // Receive is a type resolving to PartialFunction[Any, Unit] 
    def rec2 : Actor.Receive = { 
    case "ping" => println("Ping received!!!") 
    } 

    def recAll = List(super.receive, rec2) 

    // Compose parent class' receive behavior with this class' receive 
    override def receive = recAll.reduceLeft { (a,b) => a orElse b } 
} 

tej funkcji prawidłowo po uruchomieniu, ale produkuje następujące ostrzeżenie:

[warn] /Users/me/git/proj/roots/src/multi-jvm/scala/stuff/TestActor.scala:18: a type was inferred to be `Any`; this may indicate a programming error. 
[warn] override def receive = recAll.reduceLeft { (a,b) => a orElse b } 
[warn]             ^

Jak mogę zmienić ten kod, aby oczyścić ostrzeżenie?

Answer 1

Nie otrzymuję ostrzeżenia o kodzie. Co się stanie, jeśli użyjesz programu orElse bez redukcji?

scala> import akka.actor._ 
import akka.actor._ 

scala> class RootActor extends Actor { def receive = { case _ => println("bang") }} 
defined class RootActor 

scala> class TestActor extends RootActor { 
    | def rec2: Actor.Receive = { case "ping" => println("ping") } 
    | override def receive = super.receive orElse rec2 
    | } 
defined class TestActor 

scala> 

Answer 2

Myślę, że dzieje się tak dlatego, że domyślni aktorzy Akki są bez typu. Oznacza to, że każda wiadomość, którą przekazujesz, jest typu Dowolny i dopasowywany do wzoru. Więc albo wpisujesz typ argumentów reduceLeft lub po prostu ignoruj ​​ostrzeżenie.

Answer 3

To nowe ostrzeżenie została wprowadzona z Scala 2.11

Answer 4

trzeba mieć -Xlint kompilatora flagę podczas kompilacji kodu. Wygląda na to, że to ostrzeżenie rzeczywiście zostało dodane w 2.11.x. I to jest błąd w skalaku (https://issues.scala-lang.org/browse/SI-9211) tak, jakbyś usunął alias typu (z argumentu orElse) działa dobrze

$ scala -Xlint 
Welcome to Scala version 2.11.6 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_80). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> type Problem = PartialFunction[Any,Unit] 
defined type alias Problem 

scala> def moreProblems(problem1: Problem, problem2: Problem) = problem1 orElse problem2 
<console>:8: warning: a type was inferred to be `Any`; this may indicate a programming error. 
     def moreProblems(problem1: Problem, problem2: Problem) = problem1 orElse problem2 
                       ^
moreProblems: (problem1: Problem, problem2: Problem)PartialFunction[Any,Unit] 

scala> def moreProblems(problem1: PartialFunction[Any, Unit], problem2: Problem) = problem1 orElse problem2 
<console>:8: warning: a type was inferred to be `Any`; this may indicate a programming error. 
     def moreProblems(problem1: PartialFunction[Any, Unit], problem2: Problem) = problem1 orElse problem2 
                           ^
moreProblems: (problem1: PartialFunction[Any,Unit], problem2: Problem)PartialFunction[Any,Unit] 

scala> def moreProblems(problem1: Problem, problem2: PartialFunction[Any, Unit]) = problem1 orElse problem2 
moreProblems: (problem1: Problem, problem2: PartialFunction[Any,Unit])PartialFunction[Any,Unit]