Có lý do nào khởi tạo lười biếng không thể được xây dựng trong Java không?

Vì tôi đang làm việc trên một máy chủ hoàn toàn không có trạng thái không tồn tại cho người dùng, mọi đối tượng liên quan đến Người dùng mà chúng tôi có đều được triển khai theo mọi yêu cầu.

Do đó, tôi thường thấy mình lười biếng khởi tạo các thuộc tính của các đối tượng có thể không được sử dụng.

protected EventDispatcher dispatcher = new EventDispatcher();

Trở thành ...

protected EventDispatcher<EventMessage> dispatcher;

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

Có bất kỳ lý do nào điều này không thể được xây dựng vào Java?

protected lazy EventDispatcher dispatcher = new EventDispatcher();

Như đã đề cập dưới đây trong các bình luận, tôi nhận ra một ngôn ngữ có thể phát triển về mặt lý thuyết để bao gồm hầu hết mọi thứ bạn muốn. Tôi đang tìm kiếm một phép đo thực tế về khả năng. Điều này sẽ xung đột với các tính năng khác? Việc triển khai có đủ đơn giản để làm việc tốt với JVM khi nó tồn tại không? Và thậm chí, nó là một ý tưởng tốt?

Đây là một câu trả lời tám trang cho câu hỏi của bạn: http://tinlizzie.org/~awarth/ con / fool07.pdf

Nếu tôi có thể thử và tóm tắt các vấn đề bằng cách thêm sự lười biếng, thì đó là trường hợp góc. Có rất nhiều cảnh báo xung quanh tác dụng phụ. Trong ví dụ của bạn, hãy xem xét, nếu nhà xây dựng có các tác dụng phụ có thể nhìn thấy như va chạm vào bộ đếm toàn cầu hoặc thực hiện I / O ... Thật khó để lý do khi nào điều đó sẽ xảy ra. Hoặc xem xét các tác dụng phụ thậm chí xấu hơn về các ngoại lệ (chúng bị ném ... khi bạn tham chiếu đối tượng lười biếng?)

Chỉ cần bỏ qua phần 6 trong bài báo trên. (Và chiêm ngưỡng tất cả các loại logic chính thức của hệ thống trên các trang bạn bỏ qua ...)

Tất nhiên là có thể. Trong thực tế, scala đã có chính xác tính năng này! (Scala là ngôn ngữ JVM và biên dịch thành mã byte). Đây là một phần của nguồn scala:

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

Và đây là dạng trung gian của mã được biên dịch trông như sau:

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();
      ()
    }
  }

}

Tôi nghĩ rằng trước tiên bạn cần thêm các thuộc tính thực vào ngôn ngữ Java, thay vì dựa vào thành ngữ getX / setX. Bằng cách đó, bạn có thể đánh dấu tài sản là lười biếng (và đồng bộ hóa, chỉ đọc, v.v.).

Sắp xếp những gì được yêu cầu ở đây (Mục tiêu-C, nhưng áp dụng khái niệm).

Tất nhiên điều này có thể được thêm vào Java, từ khóa lười biếng có thể được thực hiện dưới dạng đường cú pháp. Tuy nhiên, thời tiết này sẽ được thực hiện tùy thuộc vào tầm nhìn của các nhà xây dựng trình biên dịch.