scala 隐式转换(一)

Scala中的隐式转换是一种非常强大的代码查找机制。当函数、构造器调用缺少参数或者某一实例调用了其他类型的方法导致编译不通过时,编译器会尝试搜索一些特定的区域,尝试使编译通过。


// ctrl +shift+q 查看隐式转换
1 to 10 foreach println

@inline implicit def intWrapper(x: Int)         = new runtime.RichInt(x)
RichInt中的to方法

def to(end: Int): Range.Inclusive = Range.inclusive(self, end)

可见,编译器尝试 编译 to 方法时,从scala自带的Predf中找到了int2RichInt的方法,从而编译成功。

在scala中大量使用了隐式转换。如scala集合中的


trait TraversableLike[+A, +Repr] extends Any

其中

map的签名为

def map[B, That](f: A => B)(implicit bf: CanBuildFrom[Repr, B, That]): That = {
  def builder = { // extracted to keep method size under 35 bytes, so that it can be JIT-inlined
    val b = bf(repr)
    b.sizeHint(this)
    b
  }
  val b = builder
  for (x <- this) b += f(x)
  b.result
}
+A表示Trversablelik的实例是协变的。比如B是A的子类,那么TraversableLike[B]也是TraversableLike[A]的子类。

集合的map方法用于构造一个同样长度的集合,其中的bf表示为构造这些集合的容器。


再来看看一个简单的例子

val a = Array(2, 4, 5, 7, 1, 5) sortBy[Int] (x => x)
val b = Array(2, 4, 5, 7, 1, 5) sortWith ((a, b) => a - b > 0)
val c = Array(2, 4, 5, 7, 1, 5).sorted[Int]
println(a.mkString("[", ",", "]"))
println(b.mkString("[", ",", "]"))
println(c.mkString("[", ",", "]"))

其中sortby和sorted都使用了

protected def ord = scala.math.Ordering.Int
implicit object Int extends IntOrdering
trait IntOrdering extends Ordering[Int] {
  def compare(x: Int, y: Int) =
    if (x < y) -1
    else if (x == y) 0
    else 1
}
其中RichInt定义了隐式方法ord,intOrdering混入了Ordering特质,所以RichInt中隐式引入了intOrdering。Ordering混入了Java的Comprator接口。
隐式值与curry结合,大大的提高了我们的编程效率,而一定程度上也加大了编程难度。

### Scala 转换机制及其应用 在 Scala 中,转换种强大的特性,允许编译器自动将种类型的对象转换为另种类型。这种功能通过 `implicit` 关键字来实现。 #### 定义转换函数 转换可以通过定义带有 `implicit` 关键字的方法来完成。当遇到无法匹配参数类型的调用时,编译器会尝试查找适用的转换方法并应用它[^1]。 ```scala // 定义个简单的转换函数 implicit def intToString(x: Int): String = x.toString ``` 上述代码定义了个从 `Int` 到 `String` 的转换,在需要字符串的地方可以无缝使用整数变量而无需显的 `.toString()` 转换操作。 #### 使用上下文中的值 除了定义转换规则外,还可以利用已导入的作用域内的值来进行更复杂的逻辑处理或提供默认参数设置[^2]。 ```scala object MathUtil { implicit val defaultPrecision: Double = 0.0001 def approxEquals(a: Double, b: Double)(implicit precision: Double): Boolean = math.abs(a - b) <= precision } ``` 在这个例子中,如果未指定精度,则采用预设好的值作为比较的标准误差范围。 #### 应用于库设计模 Lift Web Framework 就很好地运用了这概念,比如其 CSS 绑定机制就依赖于视图绑定支持动态页面元素更新而不必每次都手动传递模板片段[^3]。 ```scala class MySnippet { def render = "#someElement *" #> "Hello world" } ``` 这里展示了如何借助 CSS 选择器语法简化 HTML 片段替换过程,并且背后依靠的就是框架内部定义的系列转换规则使得开发者能够写出更加直观简洁的代码。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值