版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/yiifaa/article/details/82228331
在(《Scala隐式类型约束的应用与总结》)[https://blog.csdn.net/yiifaa/article/details/82054393]中,我们讲解了隐式对象约束的方法,但在实践中,虽然其定义了统一的特质,便于实现与约束,但稍显复杂,这里还有一种替代方案——隐式转换函数,其接口声明如下:
def fn[A <% B](x: A) = x
它表示参数x的类型是A,但在调用此函数时必须存在隐式转换函数“A=>B”。
我们以求字符串的数字和作为例,首先定义方法接口,如下:
// 表明sum方法接受泛型参数,但必须存在A => Int的隐式函数
def sum[A <% Int](x: A, y: A) = x + y;
然后实现隐式转换函数,如下:
implicit def function(y: String) = Integer.parseInt(y);
最后测试,方法调用可直接使用字符串,如下:
val d = sum("12", "12");
// 输出24
println(d)
当然,这种写法还可以转换更容易理解的高阶函数形式,如下:
def sum[A](x: A, y :A)(implicit fn: A => Int) = fn(x) + fn(y)
泛型约束总结
1. “[:]”定义了隐形约束对象
// 因为是泛型,x,y基本上没有操作
def add[A: ToInt](x: A, y: A) = (x, y)
// 必须定义ToInt隐式变量
// 但有什么用呢?
implicit val toInt: ToInt[String] = new ToInt[String] {
override def toInt(arg: String): Int = Integer.parseInt(arg)
}
强烈推荐高阶函数写法,如下:
def toInt[A](x: A)(implicit y: ToInt[A]) = y.toInt(x)
2. “<%”定义了隐式转换函数
def sum[A <% Int](x: A, y: A) = x + y;
3. “<:”定义了泛型上下界,类似于JAVA中的“extends”
// 可以直接访问泛型对象中的方法
def plus[A, B <: ToInt[A]](x: A, y: A)(implicit t: B)= t.toInt(x) + t.toInt(y);
implicit val toInt: ToInt[String] = new ToInt[String] {
override def toInt(arg: String): Int = Integer.parseInt(arg)
}