首页 > 代码库 > Scala Structural Typing结构类型

Scala Structural Typing结构类型

2024-07-22 17:55:02   218人阅读

鸭子类型：“当看到一只鸟走起来像鸭子、游泳起来像鸭子、叫起来也像鸭子，那么这只鸟就可以被称为鸭子。”

一般在动态语言里面才有，因为静态语言是强类型的，会在编译期检查类型，很难实现。但是Scala作为一门static type语言，居然支持，不得不说Scala确实很强大。直接上code 

package testscala

object StructuralTyping extends App {
  def quacker(duck: {def quack(value: String): String}) {
    println(duck.quack("Quack"))
  }

  object BigDuck {
    def quack(value: String) = {
      value.toUpperCase
    }
  }

  object SmallDuck {
    def quack(value: String) = {
      value.toLowerCase
    }
  }

  object IamNotReallyADuck {
    def quack(value: String) = {
      "prrrrrp"
    }
  }

  quacker(BigDuck)
  quacker(SmallDuck)
  quacker(IamNotReallyADuck)

  //  object NoQuaker {
  //  }
  //
  //  quacker(NoQuaker) // 编译错误！！！！

  val x = new AnyRef {
    def quack(value: String) = {
      "No type needed " + value
    }
  }
  quacker(x)

}



不过Scala编译成Reflection实现，"

Why scala uses reflection to call method on structural type?

"。当然里面说性能差事反射的性能问题，随着JVM引入invokedynamic  指令，会有很大的性能提升，但是这只在JVM1.7才有，但是scala2.11还支持JVM1.6， 所以最好还是不要大量使用，当然目前貌似也没有太多使用的，可以看这篇文章“

Why No One Uses Scala’s Structural Typing

”



Ref

1. http://en.wikibooks.org/wiki/Scala/Structural_Typing

2. http://java.dzone.com/articles/duck-typing-scala-structural

3. http://www.draconianoverlord.com/2011/10/04/why-no-one-uses-scala-structural-typing.html

4. http://stackoverflow.com/questions/8539422/why-scala-uses-reflection-to-call-method-on-structural-type

Scala Structural Typing结构类型


联系
我们