Scala返回语句行为疑问：含return时为何无法自动推断Any类型？

这其实是Scala类型推断机制在两种不同方法体形式下的差异导致的，咱们一步步拆解：

1. 无return的方法体：编译器可以自动推断类型 #

先看你一开始写的正常运行的版本：

def diff(x:Int,y:Int)={ if (x>y) (x+y).toString else x-y }

这里的方法体是一个单一的if表达式——Scala里if-else本身就是一个表达式，它的类型由两个分支的类型共同决定：(x+y).toString是String类型，x-y是Int类型，它们的最小公共超类型是Any。编译器会直接把这个if表达式的类型作为方法的返回类型，所以不需要你显式写:Any也能正常运行。

2. 用了return的方法体：编译器要求显式指定类型 #

当你改成用return的版本时：

def diff(x:Int,y:Int)={if (x>y) return (x+y).toString else return x-y}

情况就变了——此时方法体不再是一个单一表达式，而是包含了两个独立的return语句的代码块。Scala的类型推断规则对这种包含显式return的方法有特殊处理：

• 显式return可以在方法的任意位置提前终止执行并返回值，编译器需要确保所有return语句的返回值类型都和方法声明的返回类型兼容。
• 但编译器不会主动去计算所有return值的公共超类型并自动推断为方法返回类型，而是要求你显式声明这个类型，避免你因为疏忽导致类型不兼容的问题。

所以当你显式指定:Any时，String和Int都可以向上转型为Any，两个return语句的返回值都符合这个类型，方法就能正常运行了。

简单总结：Scala对“表达式体方法”（无显式return）会自动推断返回类型；对“代码块体方法”（含显式return）则要求显式声明返回类型，这是为了更明确地约束方法的返回类型，减少潜在的类型错误。

内容的提问来源于stack exchange，提问作者Amit Kumar