Question

scala> import java.util.Properties
import java.util.Properties

scala> trait Foo extends Properties
defined trait Foo

scala> classOf[Foo]
res0: java.lang.Class[Foo] = interface Foo

scala> class FooP extends Foo
defined class FooP

scala> classOf[FooP]
res1: java.lang.Class[FooP] = class FooP

scala> classOf[Properties with Foo]
<console>:7: error: class type required but java.util.Properties with Foo found
       classOf[Properties with Foo]
               ^

scala> new Properties with Foo
res2: java.util.Properties with Foo = {}

scala> res2.getClass
res3: java.lang.Class[_] = class $anon$1

有没有办法在没有创建实例或新类的情况下获取'Properties with Foo'？

Answer 1

仅当classOf[X]对应于物理类时，

X才有效。 T with U是复合类型，与类不对应。

您可以使用清单来确定类型的擦除。 T with U的类型擦除为T。

scala> trait T
defined trait T

scala> trait U
defined trait U

scala> manifest[T with U]
res10: Manifest[T with U] = T with U

scala> manifest[T with U].erasure
res11: java.lang.Class[_] = interface T

您可以在此处看到List[Int]和List[_]具有相同的删除功能：

scala> classOf[List[_]]
res13: java.lang.Class[List[_]] = class scala.collection.immutable.List

scala> classOf[List[Int]]
res14: java.lang.Class[List[Int]] = class scala.collection.immutable.List

scala> classOf[List[Int]] == classOf[List[_]]
res15: Boolean = true

Answer 2

不可能，因为“X with Y”是您示例中的匿名定义。当然，“X类延伸Z与Y”不是这种情况。

Answer 3

您无法获得类文字，但您可以通过两种不同方式测试对象是否符合该类型：

trait X
trait Y

val xy: AnyRef = new X with Y
val zz: AnyRef = new Object with X

xy.isInstanceOf[X with Y] // true
zz.isInstanceOf[X with Y] // false

xy match { case a: X with Y => true; case _ => false} // true
zz match { case a: X with Y => false; case _ => false} // false

这很像java中的通用声明

public <T extends Comparable<T> & Serializable> T id(T t) { return t; }

该方法被删除

public Comparable id(Comparable t) { return t; }

但是在Java中你不能说xy instanceof (X&Y)但它与xy instanceof X && xy instanceof Y

真的相同

Answer 4

我不确定你要对复合类做什么，但你可以做的是获取实现的接口列表和给定匿名类的超类，这可能就足够了。例如：

trait X
trait Y
class Foo
val bar = new Foo with X with Y
val barClass = bar.getClass // class $anon$1
barClass.getInterfaces // Array(interface X, interface Y)
barClass.getSuperclass // class Foo

Scala：如何获得mixin成分？

4 个答案: