Как создать экземпляр признака в общем методе в scala?

Question

Я пытаюсь создать экземпляр признака с помощью этого метода

val inst = new Object with MyTrait 

Это хорошо работает, но я хотел бы, чтобы переместить это творение, чтобы функции генератора, то есть.

object Creator { 
    def create[T] : T = new Object with T 
} 

Я, очевидно, буду нуждаться в манифесте, чтобы как-то исправить проблемы типа стирания, но прежде, чем я доберусь до этого, я бег на 2 вопрос:

1. Даже с неявным манифестом , Scala все еще требует, чтобы T был признаком. Как добавить ограничение для создания [T], чтобы T был признаком?

2. Если я решил использовать метод Class.newInstance для создания экземпляра динамически, а не с помощью «нового», как бы указать «с» в «новом объекте с T»? Можно ли динамически создавать новые типы бетонных смесей во время выполнения?

Answer 1

Вы не можете этого сделать (даже с манифестом). Код new Object with T предполагает создание нового анонимного класса, представляющего комбинацию Object with T. Чтобы передать это функции create, вам придется сгенерировать этот новый класс (с новым байтовым кодом) во время выполнения, а у Scala нет возможностей для создания нового класса во время выполнения.

Одна из стратегий может заключаться в том, чтобы попытаться перенести специальную функциональность фабричного метода в конструктор класса вместо этого, а затем использовать конструктор напрямую.

Другой возможной стратегией является создание функций преобразования (неявных или иных) для характеристик, которые вы заинтересованы в использовании этого класса.

Answer 2

Я не уверен, какова мотивация вашего вопроса, но вы можете рассмотреть возможность передачи фабрики для T в качестве неявного параметра. Это известно как использование классов или ad-hoc полиморфизм.

object Test extends Application { 
    trait Factory[T] { 
    def apply: T 
    } 
    object Factory { 
    /** 
    * Construct a factory for type `T` that creates a new instance by 
    * invoking the by-name parameter `t` 
    */ 
    def apply[T](t: => T): Factory[T] = new Factory[T] { 
     def apply = t 
    } 
    } 

    // define a few traits... 
    trait T1 
    trait T2 

    // ...and corresponding instances of the `Factory` type class. 
    implicit val T1Factory: Factory[T1] = Factory(new T1{}) 
    implicit val T2Factory: Factory[T2] = Factory(new T2{}) 

    // Use a context bound to restrict type parameter T 
    // by requiring an implicit parameter of type `Factory[T]` 
    def create[T: Factory]: T = implicitly[Factory[T]].apply 

    create[T1] 
    create[T2] 

} 

На другом конце спектра, вы можете вызвать компилятор во время выполнения, как описано в this answer на вопрос «Dynamic подмешать в Scala - это возможно».