泛型在继承中的类型变化

SCALA学习笔记（二）

-柯里化初探和的区别集合二维运算 集合类的 和 a A _的含义copy方法

泛型在继承中的类型变化

scala中的Type 指的是一个类型参数（泛型）在父类和子类之间的转换！比如方法重载时！

默认情况下类型是的，即类型参数是不允许向上或向下转型！请看下面的例子：

scala> case class Item[A](a: A) { def get: A = a }
defined class Item
scala> val c: Item[Car] = new Item[Volvo](new Volvo)
<console>:12: error: type mismatch;
found : Item[Volvo]
required: Item[Car]
Note: Volvo <: Car, but class Item is invariant in type A.
You may wish to define A as +A instead. (SLS 4.5)
val c: Item[Car] = new Item[Volvo](new Volvo)

对于Item中的类型参数A,它是的，从Car到子类Volov的向下转型是不允许的！

允许类型参数向上转型！请看下面的例子:

scala> case class Item[+A](a: A) { def get: A = a }
defined class Item
scala> val c: Item[Car] = new Item[Volvo](new Volvo)
c: Item[Car] = Item(Volvo())
scala> val auto = c.get
auto: Car = Volvo()

Item中的类型参数+A表示类型参数A是的，允许类型参数向上转型！所以val c: Item[Car] = new Item[Volvo](new Volvo)是合法的！

注意：Scala是不允许一个类型作为方法的输入参数的！

允许类型参数向下转型！请看下面的例子:

scala> class Car; class Volvo extends Car; class VolvoWagon extends Volvo
defined class Car
defined class Volvo
defined class VolvoWagon
scala> class Item[+A](a: A) { def get: A = a }
defined class Item
scala> class Check[-A] { def check(a: A) = {} }
defined class Check
//在调用v.get的时候，Volvo的实例发生了向上转型为Car的动作
scala> def item(v: Item[Volvo]) { val c: Car = v.get }
item: (v: Item[Volvo])Unit
//在调用v.check的时候，声明接受的应该是Volvo类型
//但传递的是它的一个子类VolvoWagon，由于声明是-A，意味着允许类型向下转型，所以这个传递也是允许的。
scala> def check(v: Check[Volvo]) { v.check(new VolvoWagon()) }
check: (v: Check[Volvo])Unit

注意：同样的，Scala是不允许一个类型作为方法的返回值的！

所以总结上面的例子，我们可以简单地说：

[A]: 从类型声明到实例化或使用类型实例时，只允许同一类型，不能变化

[+A]: 从类型声明到实例化或使用类型实例时，允许类型向上转型，即声明的是子类，使用时可以接受或允许父类实例！

[-A]: 从类型声明到实例化或使用类型实例时，允许类型向上转型，即声明的是父类，使用时可以接受或允许子类实例！

在类的继承过程中，泛型从一个笼统的类型到一个具体类型的转变过程

to and use types than their in such as the value.

类型参数协变（)是对通过在类型参数上添加一个加号来标识的！

举例：

sealed abstract class Maybe[+A] {def isEmpty: Booleandef get: A
}
final case class Just[A](value: A) extends Maybe[A] {def isEmpty = falsedef get = value
}
case object Nil extends Maybe[Nothing] {def isEmpty = truedef get = throw new NoSuchElementException("Nil.get")
}

上面的例子中，抽象基类Maybe的类型参数A前面添加的+，标识A是可协变的，则这意味着它的子类可以重写这个类型，或者说是更具体化这个类型。比如Nil,它就将Maybe的A具体化到了!这是允许的！

在类的继承过程中，泛型从一个具体的类型到一个笼统类型的转变过程

Scala uses the minus sign (-) to and the plus sign (+) for .

a you to go from a type to a more type.

Call-By—Name

当一个参数是“按名称调用”时，它的值是不会在传入时就进行计算的，而是推迟到方法体内第一次使用它时再进行计算，这里有一个很好事例：

//一个简单的打印日志的函数
def log(m: String) = if(logEnabled) println(m)def popErrorMessage = { popMessageFromASlowQueue() }
//在这里，不管logEnabled是true还是false，在传入参数时
//popErrorMessage函数已经执行并返回了值与前面的字符串拼接在一起了
//所以在java里为了避免这种情况，都是在这一行外面包裹上 if(logEnabled)
log("The error message is " + popErrorMessage).//如果是按名称调用呢？
def log(m: => String) = if(logEnabled) println(m)
//这样参数（"The error message is " + popErrorMessage）在传入时是不会
//被计算的，直到遇到println方法时popErrorMessage方法才会被调用！但是在这之前，如果logEnabled是false，则popErrorMessage方法永远不会被执行！

（柯里化）初探

这是第一次设计，先做初步的理解，后续会再深入地探究。 you to chain one after with a .柯里化的目的或者说效果就是可以把所有的函数参数一个接着一个地串联起来变成一个单一的参数。柯里化（）是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数，并且返回接受余下的参数且返回结果的新函数的技术。 举个例子：

def flatten[B](xss: List[List[B]]): List[B] = {xss match {case List() => Nilcase head :: tail => head ::: flatten(tail)}
}
def flatMap[A, B](xs: List[A])(f: A => List[B]) : List[B] = {flatten(map(xs, f))
}
scala> flatMap(List("one", "two", "three")) { _.toList }
res9: List[Char] = List(o, n, e, t, w, o, t, h, r, e, e)

注意函数的声明，它需要两个参数，但是这两个参数并不是使用逗号分割的，而是分别独立使用小括号包裹的，这就是进行了”柯里化”处理，这种处理表现到方法调用上就变成了(List("one", "two", "three")) { _. }这样的形式，这种方式的实质是:的第二个参数是以一个闭包{_. }传递的。

和的区别

举个例子：

scala> List(100, 200, 300) map { _ * 10/100 }
res34: List[Int] = List(10, 20, 30)

在这个例子中，传递给map函数的函数字面量_ * 10/100就是一个!

而下面的例子中,

scala> var percentage = 10
percentage: Int = 10
scala> val applyPercentage = (amount: Int) =>
amount * percentage/100
applyPercentage: (Int) => Int = scala> percentage = 20
percentage: Int = 20
scala> List(100, 200, 300) map applyPercentage
res33: List[Int] = List(20, 40, 60)

则是一个闭包！其根本特征在于：它会持续追踪创建以及使用它的那个外部环境（或者说上下文）（it keeps track of the in which it’s ）比如这个示例中的变量！

集合二维运算

下面列表中提到的right- 是指：操作符右侧必须是集合类型！

&

class List[+A] {def foldLeft[B](z: B)(f: (B, A) => B): Bdef foldRight[B](z: B)(f: (A, B) => B): B
}

让我们看下面这个例子！

scala> def pl(a:String,b:Int):String={println(a+":"+b);a+b}
p: (a: String, b: Int)Stringscala> List(1,2,3).foldLeft("0"){pl(_,_)}
0:1
01:2
012:3
res3: String = 0123scala> def pr(a:Int,b:String):String={println(a+":"+b);a+b}
pr: (a: Int, b: String)Stringscala> List(1,2,3).foldRight("4"){pr(_,_)}
3:4
2:34
1:234
res4: String = 1234//上述代码也可以以匿名函数的方式简写为这样：
scala> List(1,2,3).foldLeft("0"){(a:String,b:Int)=>{println(a+":"+b);a+b}}
scala> List(1,2,3).foldRight("4"){(a:Int,b:String)=>{println(a+":"+b);a+b}}//实际上，对于匿名函数，它的返回值我们没有定义，而是使用了类型推断，完整的写法是：
scala> List(1,2,3).foldRight("4"){(a:Int,b:String)=>{println(a+":"+b);a+b}:String}//事实上也确实是上面的样子，因为我们可以通过显示修改函数返回值来实验一下
scala> List(1,2,3).foldRight("4"){(a:Int,b:String)=>{println(a+":"+b);a+b}:Int}
<console>:8: error: type mismatch;found   : Stringrequired: IntList(1,2,3).foldRight("4"){(a:Int,b:String)=>{println(a+":"+b);a+b}:Int}^
<console>:8: error: type mismatch;found   : Intrequired: StringList(1,2,3).foldRight("4"){(a:Int,b:String)=>{println(a+":"+b);a+b}:Int}^
//上面报的类型不不配是根据foldLeft/Right对二远操作函数的定义
//判断出来的！对于f: (B, A) => B，很显然，如果我们编写的匿名函数返回的是
//第三种类型，那就不是foldLeft/Right要求的二元函数了！//而最简单的写法是下面的样子，全部使用类型推断！
scala> List(1,2,3).foldRight("4"){(a,b)=>{println(a+":"+b);a+b}}

所以上面的例子清晰地说明了两个方法的行为：

这并不是什么特殊的机制， 实际上指的是像使用函数一样使用一个!这我们来看一下例子：

object foldl {def apply[A, B](xs: Traversable[A], defaultValue: B)(op: (B, A) => B) =(defaultValue /: xs)(op)
}

上面的代码无非是把封装到了一个的apply方法里，这样一来，我们再想调用这个方法时，就可以这样写了：

scala> foldl(List("1", "2", "3"), "0") { _ + _ }
res0: java.lang.String = 0123

: only a of all input .

:is a that has been , and to be fully (if ever) in the .

是一个 ,但是你又可以像使用一个函数那样去使用它。什么意思呢？这我们来看一个例子,我现在有这样一个函数：

def hof(list:List[Int],f:(Int)=>Int):List[Int]={list match {case List() => Nilcase head :: tail => f(head) :: hof(tail, f)}
}

通常这样的方法定义是存在于类的内部。有些时候，我们想定义一些全局静态方法的集合类，也就是像让一些方法变成全集可调用的一些方法，这个时候我们就需要使用 了！让我们来看一下如何把这个改造成 !

object fo {def apply(list:List[Int])(f:Int=>Int):List[Int]={list match {case List() => Nilcase head :: tail => f(head) :: apply(tail){f}}}
}scala> fo(List(1,2,3)){_+1}
res0: List[Int] = List(2, 3, 4)

我们可以看到这种处理的实质是要把一个函数包裹或着说改造成一个对象！就像是把函数变成了“全局静态”的，也就是意味着我们可以更方便的去调用一些非对象内的函数，也是过去被声明为 的方法。

Trait

继续上面的话题，我们知道，在scala里，()是一个语法糖，它实际上形式是.apply().所以说，在使用 的时候，apply这个方法名是固定的，也不能写错，实际上这种约束不是严格的，开发者会容易拼写等错误而让调用失败，所以这个时候，如果我们有一种类似“接口”的约束和规范机制，那会好的很多。 在scala里， trait就是做这个用的。 我们来看一个：

trait Function1[-T1, +R] extends AnyRef {
def apply(v: T1): R
}

1标示只有一个参数的函数。它硬性定义了抽象方法apply，这意味着它的子类必须重写这个apply方法。

让我们来看一个例子：

object ++ extends Function1[Int, Int]{
def apply(p: Int): Int = p + 1
}

这个函数”++”如果直接写就是这个样子：

val ++ = (x: Int) => x + 1

但是我们这里还有一种看上去更加奇怪的写法：

object ++ extends (Int => Int) {def apply(p: Int): Int = p + 1
}

我们为解释一下： 实际上，这里的Int => Int是[Int, Int]的简化写法！

最后，让我们来使用一下这个++函数对象！

scala> List(1,2,3).map(++)
res1: List[Int] = List(2, 3, 4)

Scala集合类的

包的类层次结构 包的类层次结构 包的类层次结构 可变与不可变集合元素 的主要方法

关于/:和\:可以这样记忆：冒号所在在那一则是集合，另一侧就是计算的初始值。初始值在左侧就是(计算都是从初始值开始的）；初始值在右侧就是

和之分

scala中的集合类一个比较大的差别是和的区别。通常对于同一个集合接口会提供两个版本的实现。比如scala..Map[A, +B]就同时是..Map[A, B]和 ..Map[A, +B]两个实现类的父类。

null，nil和

null or nil (in the case of Ruby) in code. In Ruby, are a

in the sense that Nil is a , and you can on Nil. But

in Java if a is null, you get a . To avoid the

issue many their with null and make the code

to read.

null是java里的，表示一个空值。nil来自于ruby,它是一个单态对象，这意味着你可以在nil上调用方法。null一个不太好地方是当一个对象被赋予null里，如果引用这个对象调用它的方法时会常常地抛空指针错误，所以代码里会出现大量的判空语。

scala使用的是！是一个抽象类，它有两个子类，是Some和None

var a: A = _的含义

var a: A = _(是var不是val，如果是val会编译报错). 这种写法的意思是使用默认值去初始化变量。对于不同的类型，它们的默认值如下：】

0 if T is Int or one of its subrange types,
0L if T is Long,
0.0f if T is Float,
0.0d if T is Double,
false if T is Boolean,
() if T is Unit,
null for all other types T.

那么对于一些类类型来说，这样写的效果是就是var a: A = null

copy方法

copy方法会基于当前实例的所有字段值复制一个新的实例并返回， 你也可以在通过给copy方法传递参数来重新设定某一个或几个字段的值，这是通过命名参数实现（named ）实现的。举个例子：

scala> println(op)
BinOp(+,Number(1.0),Var(x))
scala> op.copy(operator = "-")
res4: BinOp = BinOp(-,Number(1.0),Var(x))

BinOp是一个case class, op是一个实例，第3行我们调用它的copy方法，同时指定了 字段的值是一个减号，那么copy出来的实例它的字段的值就是减号，所有其他的字段都和原实例是一样的。