谈谈Scala的特性

最新推荐文章于 2022-06-16 11:17:44 发布

weixin_34208283

最新推荐文章于 2022-06-16 11:17:44 发布

阅读量303

点赞数

文章标签： scala 测试数据结构与算法

原文链接：https://my.oschina.net/wii01/blog/893540

版权

为什么80%的码农都做不了架构师？>>>

1.类型推断

背景：表达式的类型只在运行时才知道；这些语言被称作动态类型语言。而另一些语言中，表达式的类型在编译时就知道，这些语言叫做静态类型语言。在静态类型语言中，函数的输入和输出与局部变量的类型一般必须用类型标注明确的提供。

自动进行类型推导，可以使得编程任务变得更加简单，更加专注于问题本身；使得静态语言编写的代码像动态语言一样

1）特性：

可检验属性：静态类型系统可以保证消除某些运行时的错误。例如可以保证：布尔型不会与

整数型相加；私有变量不会从类的外部被访问；用正确数量的参数调用了函数；字符串集只能加入

字符串。不过当前的静态类型系统还不能查到其他类型的错误。比方说，通常查不到无法终结的函数，数组

越界，或除零错误。同样也查不到你的程序不符合规格说明书（假设有这么一份规格说明书）。因

此有些人认为静态类型系统不太有用而忽视它。批评说既然这种类型系统只能发现简单错误，而单

元测试能提供更广泛的覆盖，那又为何自寻烦恼使用静态类型呢？我们认为这种说法不正确。尽管

静态类型系统确实不能替代单元测试，但是却能减少用来测试这些属性的单元测试的数量。同样，

单元测试也不能替代静态类型。总而言之，如Edsger Dijkstra 所说，测试只能证明存在错误，而非

不存在。因此，静态类型能给的保证或许很简单，但这些保证无论多少测试都给不了。

安全的重构：静态类型系统提供了让你具有高度信心去变动代码基础的安全网。试想一个给

方法新增参数的重构实例。在静态类型语言中，你可以完成修改，重编译你的系统并简单地修改所

有引起类型错误的代码行。一旦完成了这些，你可以确信已经发现了所有需要修改的地方。这种信

心对于其他的简单重构，如改变方法名或把方法从一个类移到另一个，都会有效。静态类型检查会

在所有的例子中提供足够的确信，表明新系统和旧系统可以一样的工作。

文档：静态类型是被编译器检查过正确性的程序文档。不像普通的注释，类型标注永远都不

会过期（至少如果包含它的源文件近期刚刚通过编译就不会）。更进一步说，编译器和集成开发环

境可以利用类型标注提供更好的上下文帮助。举例来说，集成开发环境可以通过判定选中表达式的

静态类型，找到类型的所有成员，并全部显示出来。

2）好处

def f(x: String) = ...

知道f 的变量应该是String 是有用的。另一方面，以下例子中两个标注至少有一个是讨厌的：

val x: HashMap[Int, String] = new HashMap[Int, String]()

很明显，x 是以Int 为键，String 为值的HashMap 这句话说一遍就够了；同样的句子没必要重

复两遍。

Scala 有非常精于此道的类型推断系统，能让你省略几乎所有的通常被认为是讨厌的类型信息。前面

的例子可以改写成以下两种方式：

val x = new HashMap[Int, String]()

val x: Map[Int, String] = new HashMap()

Scala 里的类型推断不止于此。实际上，就算用户代码丝毫没有显式类型也不稀奇。因此，Scala 程

序经常看上去有点像是动态类型脚本语言写出来的程序。尤其在客户应用代码中作为预编译代码库

控件的胶水代码时，表现得更为显著。而对于库控件来说不是这么回事，因为它们常常用到相当精

妙的类型去使其适于灵活使用的模式。这是由代码的实际情况决定的。毕竟，构成可重用控件接口

的成员的类型符号应该是显式给出的，因为它们构成了控件和它的使用者间契约的重要部分。

2.隐式转换

1）隐式转换

2）隐式参数

Scala作为一门静态语言，它的主要特性有哪些?

　　· Scala是面向对象的

　　Scala是一个纯面向对象语言，在某种意义上来讲所有数值都是对象。对象的类型和行为是由class和trait来描述的。Class的抽象可由子类化和一种灵活的基于mixin的组合机制(它可作为多重继承的简单替代方案)来扩展。

　　· Scala是函数式的

　　Scala还是一个函数式语言，在某种意义上来讲所有函数都是数值。Scala为定义匿名函数提供了一种轻量级的语法，它支持高阶(higher-order)函数、允许函数嵌套、支持局部套用(currying)。Scala的case类及其内置支持的模式匹配模型代数类型在许多函数式编程语言中都被使用。

　　· Scala是静态类型的

　　Scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。

　　· Scala是可扩展的

　　Scala的设计承认了实践事实，领域特定应用开发通常需要领域特定语言扩展。Scala提供了一个独特的语言组合机制，这可以更加容易地以类库的形式增加新的语言结构：

　　任何方式可以被用作中缀(infix)或后缀(postfix)操作符闭包按照所期望的类型(目标类型)自动地被构造

　　两者结合使用可方便地定义新语句，无需扩展语法，也无需使用类似宏的元编程工具。

3.面向对象：
·逻辑语义：“用形式化接口绑定数据和操作”
程序需要某种结构，最好的办法就是将数据和操作放进某种形式的容器中，面向对象最伟大的思想就是将这种容器完全通用化。这样就能使得能像保存数据那样保存操作，并且还能将这些容器作为值存放到其他容器当中或作为参数传递给其他操作，这样的容器称为对象

批判：面向对象本身的设计思想使得程序具有了可扩展性

4.函数式：
在纯函数式中函数是头等值
· 函数本身是一个值，可以作为参数，也可以作为结果返回或者保存在变量中，匿名函数可以更好的混入到代码中
#简化了控制结构的创建
#代码更加清晰，易读
#程序的扩展性变得更好（将变化隐藏到函数中）
· 程序的操作更应该是从输入映射到输出而不是就地更改数据（方法不应该有副作用-->在其作用域的交流就是获得参数和返回结果）
#不可变的数据结构
#指称透明：对于任何输入来说，都可以用方法的结果替代对它的调用，而不影响程序的语义

从语言的设计层面的视角：表达式与函数的概念
· 函数是从输入到输出的映射，在映射的过程我们需要用到表达式或语句来实现我们的输出

5.扩展性：
在scala中，所有的东西都是基于库模块（库抽象，可以扩展或改造），可以依照需要选择和修改
· 抽象使得我们能更好的改造及扩展我们的代码
· 库模块：以更高级别的抽象来定义了API
· scala可以通过帮助提升接口的抽象级别来帮助管理的复杂性

核心：面向对象与函数式编程思想的融合

问题：
· 可扩展性受到从语法细节到控件的抽象构造等许多因素的影响?

表现：
scala允许用户通过定义感觉像原生语言支持一样的易用库在他们需要的方向上发展和改造语言
· 我们可以构建自己的内建类型
· 我们可以构建自己的控制结构

在scala中函数就是对象，函数类型是能够被子类继承的类

6.兼容性：
scala的隐式转换特性：在定义类型匹配和或选用不存在的方法时，使用隐式转换

7.简洁性：
· scala中省略了一些语法和类型推断
· scala包含了更强有力的工具，以便抽取和提炼通用行为

8.高级性：
· scala可以帮助提升接口的抽象级别来帮助管理复杂性
· 自定义抽象控制结构：减少代码的重叠保持程序的简短和清晰

9.静态类型：
· 静态类型系统可以需要保存和计算的值的类型来认定变量和表达式的类型（编译的时候就确定了类型）
· 通过类型推断避免了冗余性及通过模式匹配和一些新的编写和组织类型的办法获得了灵活性
程序抽象：
#可检验属性：保证消除某些运行时的错误
#安全的重构：
#文档：类型推断：用精妙的类型去适应灵活使用的模式

10.类型系统：