Scala - Типы и активация

Question

scala> val a1 = scala.concurrent.Promise[Int] 
a1: scala.concurrent.Promise[Int] = scala.concurrent.impl.Promise$DefaultPromise@10d59286 

Я не могу понять, как создается экземпляр DefaultPromise выше. Вполне понятно, что в приведенном ниже примере, () делает вызов apply() и DefaultPromise создается

scala> val a2 = scala.concurrent.Promise[Int]() 
a2: scala.concurrent.Promise[Int] = scala.concurrent.impl.Promise$DefaultPromise@140e5a13 

Answer 1

Я не в состоянии понять, как создается выше

экземпляр DefaultPromise С вы явно передаете параметр типа ([Int]) в вызов (спасибо @Jasper для пояснения), компилятор рассматривает вызов так, как если бы вы вызвали Promise.apply[Int](), поскольку объект не может иметь параметр типа.

Мы можем ознакомиться с этим описанием кода. Если мы называем Promise[Int], компилятор interpets:

private[this] val res2: scala.concurrent.Promise[Int] = scala.concurrent.Promise.apply[Int](); 

С другой стороны, если мы не поставляем параметр типа, мы получаем Promise.type:

private[this] val res3: concurrent.Promise.type = scala.concurrent.Promise;