scala类型系统:5) 结构类型

结构类型(structural type)为静态语言增加了部分动态特性,使得参数类型不再拘泥于某个已命名的类型,只要参数中包含结构中声明的方法或值即可。举例来说,java里对所有定义了close方法的抽象了一个Closable接口,然后再用Closable类型约束参数,而scala里可以不要求参数必须继承自Closable接口只需要包含close方法;如下:

scala> def free( res: {def close():Unit} ) { 
            res.close 
        }

scala> free(new { def close()=println("closed") })
closed

也可以通过type在定义类型时,将其声明为结构类型

scala> type X = { def close():Unit }
defined type alias X

scala> def free(res:X) = res.close

scala> free(new { def close()=println("closed") })
closed

上面传入参数时,都是传入一个实现close方法的匿名类,如果某个类/单例中实现了close方法,也可以直接传入

scala> object A { def close() {println("A closed")} }

scala> free(A)
A closed

scala> class R { def close()=print("ok") }

scala> val r = new R

scala> free(r)
ok

结构类型还可以用在稍微复杂一点的“复合类型”中,比如:

scala> trait X1; trait X2;

scala> def test(x: X1 with X2 { def close():Unit } ) = x.close

上面声明test方法参数的类型为:

X1 with X2 { def close():Unit }

表示参数需要符合特质X1和X2同时也要有定义close方法。对于“复合类型”下一篇再介绍。

scala类型系统:5) 结构类型》上有4条评论

    1. hongjiang 文章作者

      scala> import reflect.runtime.universe._
      import reflect.runtime.universe._

      scala> reify( new {val a=1; val b=2 } )
      res2: reflect.runtime.universe.Expr[AnyRef{val a: Int; val b: Int}] =
      Expr[scala.AnyRef{val a: Int; val b: Int}]({
      final class $anon extends AnyRef {
      def () = {
      super.
      ();
      ()
      };
      val a = 1;
      val b = 2
      };
      new $anon()
      })

      没有,编译器翻译成一个匿名类。

      回复
      1. hongjiang 文章作者

        只有在调用这个结构类型内部的成员时,才会通过反射。

        回复
        1. hongjiang 文章作者

          ➜ cat A.scala
          class A{

          val x = new { val a=100 }
          println(x.a)
          }

          /tmp/dd [17:49:37]
          ➜ scalac -language:reflectiveCalls -Xprint:jvm A.scala 可以看到

          回复

发表评论

电子邮件地址不会被公开。 必填项已用*标注