Scala面试题汇总

scala常见笔试题(囊括了scala的精髓)

 

scala最近几年很火，主要是因为其在大数据领域的应用。

下面这些面试题，基本上是scala函数式编程的精髓。

Q1 var，val和def三个关键字之间的区别？

• 答：var是变量声明关键字，类似于Java中的变量，变量值可以更改，但是变量类型不能更改。 val常量声明关键字。 def 关键字用于创建方法（注意方法和函数的区别） 还有一个lazy val（惰性val）声明，意思是当需要计算时才使用，避免重复计算

 

Q2 trait（特质）和abstract class（抽象类）的区别？

• 答：（1）一个类只能集成一个抽象类，但是可以通过with关键字继承多个特质； （2）抽象类有带参数的构造函数，特质不行（如 trait t（i：Int）{} ，这种声明是错误的）

 

Q3 object和class的区别？

• 答：object是类的单例对象，开发人员无需用new关键字实例化。如果对象的名称和类名相同，这个对象就是伴生对象（深入了解请参考问题Q7）

 

Q4 case class （样本类）是什么？

• 答：样本类是一种不可变且可分解类的语法糖，这个语法糖的意思大概是在构建时，自动实现一些功能。样本类具有以下特性： （1）自动添加与类名一致的构造函数（这个就是前面提到的伴生对象，通过apply方法实现），即构造对象时，不需要new； （2）样本类中的参数默认添加val关键字，即参数不能修改； （3）默认实现了toString，equals，hashcode，copy等方法； （4）样本类可以通过==比较两个对象，并且不在构造方法中定义的属性不会用在比较上。

 

Q5 Java和Scala 异步计算的区别？

• 答：这里作者的意思是他大概也不清楚，请阅读这个 really clean and simple answer on StackOverflow，我个人理解还不到位后续补上。

 

Q6 unapply 和apply方法的区别， 以及各自使用场景？

• 答：先讲一个概念——提取器，它实现了构造器相反的效果，构造器从给定的参数创建一个对象，然而提取器却从对象中提取出构造该对象的参数，scala标准库预定义了一些提取器，如上面提到的样本类中，会自动创建一个伴生对象（包含apply和unapply方法）。 为了成为一个提取器，unapply方法需要被伴生对象。 apply方法是为了自动实现样本类的对象，无需new关键字。

 

Q7 伴生对象是什么？

• 答：前面已经提到过，伴生对象就是与类名相同的对象，伴生对象可以访问类中的私有量，类也可以访问伴生对象中的私有方法，类似于java类中的静态方法。伴生对象必须和其对应的类定义在相同的源文件。

Q8 Scala类型系统中Nil, Null, None, nothing四个类型的区别？

• 答：Null是一个trait（特质），是所以引用类型AnyRef的一个子类型，null是Null唯一的实例。 nothing也是一个trait（特质），是所有类型Any（包括值类型和引用类型）的子类型，它不在有子类型，它也没有实例，实际上为了一个方法抛出异常，通常会设置一个默认返回类型。 Nil代表一个List空类型，等同List[nothing] None是Option monad的空标识（深入了解请参考问题Q11）

 

Q9 Unit类型是什么？

• 答：Unit代表没有任何意义的值类型，类似于java中的void类型，他是anyval的子类型，仅有一个实例对象"( )"

 

Q10 call-by-value和call-by-name求值策略的区别？

• 答：（1）call-by-value是在调用函数之前计算； （2） call-by-name是在需要时计算

 

Q11 Option类型的定义和使用场景？

• 答：在Java中，null是一个关键字，不是一个对象，当开发者希望返回一个空对象时，却返回了一个关键字，为了解决这个问题，Scala建议开发者返回值是空值时，使用Option类型，在Scala中null是Null的唯一对象，会引起异常，Option则可以避免。Option有两个子类型，Some和None（空值）

Q12 yield如何工作？

• 答：yield用于循环迭代中生成新值，yield是comprehensions的一部分，是多个操作（foreach, map, flatMap, filter or withFilter）的composition语法糖。（深入了解请参考问题Q14）

 

Q13 解释隐示参数的优先权

• 答：在Scala中implicit的功能很强大。当编译器寻找implicits时，如果不注意隐式参数的优先权，可能会引起意外的错误。因此编译器会按顺序查找隐式关键字。顺序如下： （1）当前类声明的implicits ； （2）导入包中的 implicits； （3）外部域（声明在外部域的implicts）； （4）inheritance （5）package object （6）implicit scope like companion objects

 

Q14 comprehension（推导式）的语法糖是什么操作？

• 答：comprehension（推导式）是若干个操作组成的替代语法。如果不用yield关键字，comprehension（推导式）可以被forech操作替代，或者被map/flatMap，filter代替。

Q15 Streams：当使用Scala Steams时需要考虑什么？Scala的Streams内部使用什么技术？

• 答：还没有理解，暂时不翻译，后续补上。

 

Q16 什么是vaule class？

• 答：开发时经常遇到这个的问题，当你使用integer时，希望它代表一些东西，而不是全部东西，例如，一个integer代表年龄，另一个代表高度。由于上述原因，我们考虑包裹原始类型生成一个新的有意义的类型（如年龄类型和高度类型）。 Value classes 允许开发者安全的增加一个新类型，避免运行时对象分配。有一些 必须进行分配的情况 and 限制,但是基本的思想是：在编译时，通过使用原始类型替换值类实例，删除对象分配。

 

Q17 Option ，Try 和 Either 三者的区别？

• 答：这三种monads允许我们显示函数没有按预期执行的计算结果。 Option表示可选值，它的返回类型是Some（代表返回有效数据）或None（代表返回空值）。 Try类似于Java中的try/catch，如果计算成功，返回Success的实例，如果抛出异常，返回Failure。 Either可以提供一些计算失败的信息，Either有两种可能返回类型：预期/正确/成功的 和 错误的信息。

Q18 什么是函数柯里化？

• 答：柯里化技术是一个接受多个参数的函数转化为接受其中几个参数的函数。经常被用来处理高阶函数。

Q19 什么是尾递归？

正常递归，每一次递归步骤，需要保存信息到堆栈里面，当递归步骤很多时，导致堆栈溢出。 尾递归就是为了解决上述问题，在尾递归中所有的计算都是在递归之前调用， 编译器可以利用这个属性避免堆栈错误，尾递归的调用可以使信息不插入堆栈，从而优化尾递归。 使用 @tailrec 标签可使编译器强制使用尾递归。

Q20 什么是高阶函数？

• 答：高阶函数指能接受或者返回其他函数的函数，scala中的filter map flatMap函数都能接受其他函数作为参数。