Почему я не могу опустить «применить» в this.apply (_) в Scala?

Question

Обратите внимание на следующий код

trait Example { 
    type O 
    def apply(o: O) 
    def f(o: O) = this.apply(o) 
} 

, который компилируется штраф в Scala. Я бы ожидал, что я могу оставить apply, как обычно, написав def f(o: O) = this(o). Однако это приводит к сообщению об ошибке возбуждения

type mismatch; found : o.type (with underlying type Example.this.O) 
       required: _31.O where val _31: Example 
possible cause: missing arguments for method or constructor 

Может ли кто-нибудь объяснить мне, что происходит?

Answer 1

Принимаемый ответ неверен. Вы можете сделать вывод, что актуальной проблемой является тот факт, что это нормально компилируется:

trait Example { 
    def apply(o: String): String = o 
    def f(o: String) = this(o) 
} 

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

Answer 2

Вы не можете, потому что это() внутри конструктора является вызовом конструктора этого объекта (это() нигде генерирует сбой компиляции) и не может быть сделано в применить() вызова поскольку он скроет конструктор и сделает невозможным вызов другого конструктора в вашем объекте. Этот аргумент (args) - это всегда вызов метода конструктора (как в Java, так и в Scala), поэтому, когда внутри вашего собственного объекта вы всегда должны явно ссылаться на apply (args).