I have a method that is supposed to return an Int. I am trying to understand why Eclipse won't let me compile this, even though it looks apparent to me inside the if statement that I am indeed returning an Int. Is there something I am missing very obvious? I am trying to understand this aspect of Scala before proceeding to write more code.
Here is the method:
def contains1(sfType: TokenType): Int = { if (Tokens.KEYWORDS.contains(sfType)) { val retVal = TokenTypes.RESERVED_WORD } }
Eclipse complains on line 2 --- 'type mismatch; found : Unit required: Int"
TokenTypes is - public abstract interface org.fife.ui.rsyntaxtextarea.TokenTypes and RESERVED_WORD is - public static final int RESERVED_WORD = 6;
I have read this post here: found: Unit required: Int - How to correct this? and tried to solve the problem before posting it, but I am still at a loss.
Edit: The method is supposed to return an Int and I had typed in the return type wrongly. My problem remains the same. Eclipse still complains.
I'll first explain what type Unit
is, just in case. Even if you know already, other people having the same kind of problem might well not know it.
Type Unit
is similar to what is known in C or Java as void
. In those languages, that means "this does not return anything". However, every method in Scala returns a value.
To bridge the gap between every method returning something and not having anything useful to return, there's Unit
. This type is an AnyVal
, which means it isn't allocated on the heap, unless it gets boxed or is the type of a field on an object. Furthermore, it has only one value, whose literal is ()
. That is, you could write this:
val x: Unit = ()
The practical effect of this is that, when a method "returns" Unit
, the compiler doesn't have to actually return any value, since it already knows what that value is. Therefore, it can implement methods returning Unit
by declaring them, on the bytecode level, as being void
.
Anyway, if you don't want to return anything, you return Unit
.
Now let's look at the code given. Eclipse says it returns Unit
, and, in fact, Eclipse is correct. However, most people would actually make the error of having that method return AnyVal
or Any
, not Unit
. See the following snippet for an example:
scala> if (true) 2 res0: AnyVal = 2
So, what happened? Well, when Scala finds an if
statement, it has to figure out what is the type returned by it (in Scala, if
statements return values as well). Consider the following hypothetical line:
if (flag) x else y
Clearly, the returned value will be either x
or y
, so the type must be such that both x
and y
will fit. One such type is Any
, since everything has type Any
. If both x
and y
were of the same type -- say, Int
-- then that would also be a valid return type. Since Scala picks the most specific type, it would pick Int
over Any
.
Now, what happens when you don't have an else
statement? Even in the absence of an else
statement, the condition may be false -- otherwise, there would be no point in using if
. What Scala does, in this case, is to add an else
statement. That is, it rewrites that if
statement like this:
if (true) 2 else ()
Like I said before: if you do not have anything to return, return Unit
! That is exactly what happens. Since both Int
and Unit
are AnyVal
, and given that AnyVal
is more specific than Any
, that line returns AnyVal
.
So far I have explained what others might have seen, but not what happens in that specific code in the question:
if (Tokens.KEYWORDS.contains(sfType)) { val retVal = TokenTypes.RESERVED_WORD }
We have seen already that Scala will rewrite it like this:
if (Tokens.KEYWORDS.contains(sfType)) { val retVal = TokenTypes.RESERVED_WORD } else ()
We have also seen that Scala will pick the most specific type between the two possible results. Finally, Eclipse tells use that the return type is Unit
, so the only possible explanation is that the type of this:
val retVal = TokenTypes.RESERVED_WORD
is also Unit
. And that's precisely correct: statements that declare things in Scala have type Unit
. And, so, by the way, do assignments.
The solution, as others have pointed out, is to remove the assignment and add an else
statement also returning an Int
:
def contains1(sfType: TokenType): Int = if (Tokens.KEYWORDS.contains(sfType)) TokenTypes.RESERVED_WORD else -1
(note: I have reformatted the method to follow the coding style more common among Scala programmers)
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With