Zwraca typ w przypadku wyrażenie

Question

uczę Scala i nie może zrozumieć, dlaczego:

def signum(arg: Int) = { 
    if(arg > 0) 1 
    else if(arg < 0) -1 
    else 0 
} 

Has Int jako typ zwracany signum (arg: Int): Int

Ale

def signum(arg: Int) = { 
    if(arg > 0) 1 
    else if(arg < 0) -1 
    else if(arg == 0) 0 
} 

Has AnyValsignum (arg: Int): AnyVal

Answer 1

W przypadku braku wyraźnego else Scala przyjmuje, że:

else() 

przypadku () jest wartość Unit. Jest to wartość zwrócona przez println lub przypisanie do var, na przykład.

Można to łatwo sprawdzić:

scala> val x = if (false) 1 
x: AnyVal =() 

scala> x.isInstanceOf[Unit] 
res3: Boolean = true 

Answer 2

Zdarza się, ponieważ w drugim c ase nie określono części końcowej else. W tym przypadku typem zwrotu tego brakującego odgałęzienia będzie Unit. Tak więc kompilator Scala podaje AnyVal jako wspólny rodzic Int i Unit.

można spróbować dodać wyraźny typ zwracany do podpisu funkcji:

def signum(arg: Int): Int = ... 

To nie będzie skompilować z następującym błędem:

found : Unit 
required: Int 
    else if(arg == 0) 0 
     ^
one error found 

więc kompilator mówi, że typ wynik ostatniego if jest w rzeczywistości Unit, a nie Int.