Чи є якась причина лінивої ініціалізації не вбудована в Java?

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

Отже, я часто виявляю ледачу ініціалізацію властивостей об'єктів, які можуть залишатися невикористаними.

protected EventDispatcher dispatcher = new EventDispatcher();

Стає ...

protected EventDispatcher<EventMessage> dispatcher;

public EventDispatcher<EventMessage> getEventDispatcher() {
    if (dispatcher == null) {
        dispatcher = new EventDispatcher<EventMessage>();
    }
    return dispatcher;
}

Чи є якась причина, що цього не вдалося вбудувати в Java?

protected lazy EventDispatcher dispatcher = new EventDispatcher();

Як зазначено нижче в коментарях, я розумію, що мова теоретично може розвиватися, щоб включати в себе все, що завгодно. Я шукаю практичне вимірювання можливості. Чи буде це конфлікт з іншими особливостями? Чи реалізація є достатньо простою для того, щоб добре працювати з JVM, як вона існує? І навіть, це гарна ідея?

Ось восьмисторінкова відповідь на ваше запитання: http://tinlizzie.org/~awarth/papers/fool07.pdf

Якщо я можу спробувати і грубо узагальнити проблеми із додаванням лінощів, це наріжні випадки. Є багато застережень навколо побічних ефектів. Подумайте, у вашому прикладі, якби конструктор мав видимі побічні ефекти, такі як нахил глобального лічильника чи виконання вводу-виводу ... Важко міркувати про те, коли це станеться. Або врахуйте ще більш потворні побічні ефекти щодо винятків (вони кидаються ... коли ви посилаєтесь на ледачий об’єкт?)

Просто перейдіть до розділу 6 вищевказаної статті. (І захоплюйтеся всією формальною логікою системи типу на пропущених сторінках ...)

Звичайно, це можливо. Насправді, у scala вже є саме ця особливість! (Scala є мовою JVM і збирається в байт-код). Ось фрагмент джерела шкали:

class Foo {
  lazy val bar = "Hello World"
}

А ось як виглядає проміжна форма складеного коду:

scalac -Xprint:icode Foo.scala

[[syntax trees at end of icode]]// Scala source: Foo.scala
package <empty> {
  class Foo extends java.lang.Object with ScalaObject {
    @volatile protected var bitmap$0: Int = 0;
    lazy private[this] var bar: java.lang.String = _;
    <stable> <accessor> lazy def bar(): java.lang.String = {
      if (Foo.this.bitmap$0.&(1).==(0))
        {
          Foo.this.synchronized({
            if (Foo.this.bitmap$0.&(1).==(0))
              {
                Foo.this.bar = "Hello World";
                Foo.this.bitmap$0 = Foo.this.bitmap$0.|(1);
                ()
              };
            scala.runtime.BoxedUnit.UNIT
          });
          ()
        };
      Foo.this.bar
    };
    def this(): Foo = {
      Foo.super.this();
      ()
    }
  }

}

Я думаю, спочатку потрібно додати реальні властивості до язика Java, а не покладатися на ідіому getX / setX. Таким чином, ви можете просто позначити властивість як ледачий (і синхронізований, лише для читання тощо).

Сортування чого просять тут (Objective-C, але поняття відноситься).

Звичайно, це можна додати до Java, ключове слово lazy може бути реалізовано як синтаксичний цукор. Однак, чим вона буде реалізована, залежить від бачення розробників-компіляторів.