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
Существует ли способ получить класс 'Свойств с Нечто', не создавая экземпляр или новый класс?
classOf[X]
только работает, если X
соответствует физическому классу. T с U
является составным типом и не соответствует классу.
можно использовать Декларации для определения стирания типа. Стирание типа T с 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
Здесь вы видите, что Список [Интервал]
и Список [_]
имеет то же стирание:
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
Нет, это невозможно, потому что "X с Y" - анонимное определение в вашем примере. Конечно, это не тот случай, когда "класс X расширяет Z с Y".
Вы не можете получить литерал класса, но можете проверить, соответствует ли объект этому типу двумя способами:
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
Я не совсем уверен, что вы пытаетесь сделать с составным классом, но вы можете получить список реализованных интерфейсов и суперкласс данного анонимного класса, которого может хватить. Например:
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