Không thể gọi trực tiếp supertype constructor - tại sao không?

Question

Tôi có các lớp ví dụ sau trong Java:

public class A { } 

public class Super { 
    protected Super() { } 
    public Super(A a) { } 
} 

public class Sub extends Super { } 

public class Consumer { 
    public Consumer() { 
     Sub sub = new Sub(new A()); //compiler error 
    } 
} 

Trình biên dịch báo lỗi nói rằng các đối số không thể được áp dụng cho các nhà xây dựng mặc định trong Sub, mà là hoàn toàn dễ hiểu.

Điều tôi tò mò là lý do đằng sau quyết định này. Java tạo ra hàm tạo rỗng mặc định trong Sub; tại sao nó không thể gọi nó đằng sau hậu trường trong trường hợp này? Đây có phải là trường hợp chủ yếu của việc nắm tay sane hay có lý do kỹ thuật không?

EDIT

Tôi biết rằng đây là một giới hạn ngôn ngữ. Tôi tò mò về lý do tại sao đó là giới hạn ngôn ngữ.

EDIT 2

Dường như, như thường là trường hợp, tôi đã quá gần với mã tôi đã thực sự làm việc để xem hình ảnh lớn. Tôi đã đăng một ví dụ phản đối trong các câu trả lời dưới đây cho thấy lý do tại sao đây là Bad Thing®.

Answer 1

Tôi nghĩ rằng đó là vấn đề về khả năng đọc và không giả định ý định. Bạn nói

Java tạo hàm tạo mặc định trống; tại sao nó không thể gọi nó đằng sau hậu trường trong trường hợp này?

Tuy nhiên, với tôi, nó sẽ có ý nghĩa nhiều hơn nữa cho Java để ngầm gọi constructor Super(A) "đằng sau hậu trường" hơn để gọi constructor Super(), bất chấp A.

Và ở đó bạn có nó. Chúng tôi đã có hai giả định khác nhau về những gì nên (hoặc có thể) xảy ra trong trường hợp này.

Một trong những nguyên tắc cốt lõi của ngôn ngữ Java là tính minh bạch. Càng nhiều càng tốt, lập trình viên có thể thấy bằng cách nhìn vào mã những gì sẽ xảy ra, đôi khi với chi phí tiện lợi hoặc ma thuật ở cấp độ cú pháp. Một nguyên lý song song với điều đó không nhằm mục đích giả định: trong trường hợp ý định của lập trình viên có vẻ mơ hồ, ngôn ngữ Java đôi khi sẽ ưu tiên biên dịch lỗi hơn là tự động chọn mặc định thông qua thuật toán lựa chọn (tùy ý hoặc khác).

Answer 2

public class Sub extends Super { } 

không có hàm tạo Sub (A a), nó chỉ có hàm tạo mặc định Sub().

Các nhà xây dựng không được kế thừa.

Answer 3

Bạn đã bỏ qua hàm khởi tạo công khai mặc định, vì vậy không có gì để gọi.

Vì vậy, các lớp Sub tương đương với

public class Sub extends Super 
{ 
    protected Sub(){} 
    public Sub(A a) { } 
} 

Nó sẽ vì nó

• hành vi Sane - Hoạt động theo quy định của các lập trình viên, và nó cũng theo khái niệm về thừa kế trong các ngôn ngữ OOP
• Theo di sản C++

Answer 4

Lớp cơ sở cần t o gọi các hàm tạo siêu để đảm bảo một đối tượng được khởi tạo đúng cách. Ví dụ xem xét:

class Super { 
    final String field1; 

    public Super(String field1) { 
     this.field1 = field1; 
    } 
    ... 
} 


class Base extends Super { 
    final String field2; 

    public Base(String field2) { 
     this.field2 = field2; 
    } 
    ... 
} 

Liệu constructor Base 's ghi đè lên các nhà xây dựng Super? Nếu vậy, thì trường1 không còn được đảm bảo để được khởi tạo, làm cho các phương thức kế thừa hoạt động bất ngờ.

Thời điểm bạn thêm một hàm tạo không mặc định vào lớp con, khi đó các hàm tạo kế thừa sẽ ngừng hoạt động. Tôi nghĩ rằng nó sẽ là một tính năng khó hiểu và hiếm khi được thêm vào ngôn ngữ, mặc dù về mặt kỹ thuật tôi không thể thấy lý do tại sao nó sẽ không thể.

Answer 5

Tôi đang coi đây là lý do kỹ thuật cho hành vi này; Tôi đồng ý với một số câu trả lời khác rằng điều này có thể gây nhầm lẫn về mặt ngữ nghĩa.

Hãy xem xét ví dụ sau:

public class A { } 

public abstract class Super { 
    protected Super() { 
     // perform time consuming, destructive, or 
     // otherwise one-time operations 
    } 

    public Super(A a) { 
     this(); 
     // perform A-related construction operations 
    } 
} 

public class Sub extends Super { } 

public class Consumer { 
    public Consumer() { 
     Sub sub = new Sub(new A()); 
    } 
} 

Khi Sub được xây dựng, trong trường hợp này các nhà xây dựng mặc định trên Sub sẽ được gọi, mà sẽ liên kết đến cái constructor mặc định trên Super (vì đó là sự kỳ diệu của ngôn ngữ định nghĩa). Sau đó, cuộc gọi đến Super(A) sẽ gọi logic được thiết kế để chạy một lần, lúc xây dựng. Điều này rõ ràng không phải là những gì các nhà phát triển dự định.

Ngay cả khi không có cuộc gọi this() trong hàm tạo Super(A), ý định của nhà phát triển không thể xác định được; các nhà thầu có thể loại trừ lẫn nhau vì một số lý do.