Sự khác biệt giữa C # và toán tử bậc ba của Java (? :)

Tôi là một người mới sử dụng C # và tôi vừa gặp phải một vấn đề. Có sự khác biệt giữa C # và Java khi xử lý toán tử bậc ba ( ? :).

Trong đoạn mã sau, tại sao dòng thứ 4 không hoạt động? Trình biên dịch hiển thị thông báo lỗi của there is no implicit conversion between 'int' and 'string'. Dòng thứ 5 cũng không hoạt động. Cả hai đều Listlà đồ vật, phải không?

int two = 2;
double six = 6.0;
Write(two > six ? two : six); //param: double
Write(two > six ? two : "6"); //param: not object
Write(two > six ? new List<int>() : new List<string>()); //param: not object

Tuy nhiên, mã tương tự hoạt động trong Java:

int two = 2;
double six = 6.0;
System.out.println(two > six ? two : six); //param: double
System.out.println(two > six ? two : "6"); //param: Object
System.out.println(two > six ? new ArrayList<Integer>()
                   : new ArrayList<String>()); //param: Object

Tính năng ngôn ngữ nào trong C # bị thiếu? Nếu có, tại sao nó không được thêm vào?

Nhìn qua Đặc tả ngôn ngữ C # 5 phần 7.14: Toán tử điều kiện, chúng ta có thể thấy như sau:

• Nếu x có loại X và y có loại Y thì

  • Nếu tồn tại một phép chuyển đổi ngầm định (§6.1) từ X sang Y, nhưng không tồn tại từ Y sang X, thì Y là kiểu của biểu thức điều kiện.

  • Nếu tồn tại một phép chuyển đổi ngầm định (§6.1) từ Y sang X, nhưng không tồn tại từ X sang Y, thì X là kiểu của biểu thức điều kiện.

  • Nếu không, không có loại biểu thức nào có thể được xác định và xảy ra lỗi thời gian biên dịch

Nói cách khác: nó cố gắng tìm xem có thể chuyển đổi x và y thành khác nhau hay không và nếu không, lỗi biên dịch sẽ xảy ra. Trong trường hợp của chúng tôi intvà stringkhông có chuyển đổi rõ ràng hoặc ẩn nên nó sẽ không biên dịch.

Đối chiếu điều này với phần Đặc tả ngôn ngữ Java 7 15.25: Toán tử có điều kiện :

• Nếu toán hạng thứ hai và thứ ba có cùng kiểu (có thể là kiểu rỗng), thì đó là kiểu của biểu thức điều kiện. ( KHÔNG )
• Nếu một trong các toán hạng thứ hai và thứ ba có kiểu nguyên thủy T và kiểu của toán hạng kia là kết quả của việc áp dụng phép chuyển đổi quyền anh (§5.1.7) thành T, thì kiểu của biểu thức điều kiện là T. ( NO )
• Nếu một trong các toán hạng thứ hai và thứ ba thuộc kiểu null và kiểu của toán hạng kia là kiểu tham chiếu, thì kiểu của biểu thức điều kiện là kiểu tham chiếu đó. ( KHÔNG )
• Ngược lại, nếu toán hạng thứ hai và thứ ba có kiểu có thể chuyển đổi (§5.1.8) thành kiểu số, thì có một số trường hợp: ( KHÔNG )
• Nếu không, toán hạng thứ hai và thứ ba có kiểu S1 và S2 tương ứng. Gọi T1 là kiểu kết quả từ việc áp dụng chuyển đổi quyền anh cho S1 và đặt T2 là kiểu kết quả từ việc áp dụng chuyển đổi quyền anh cho S2.
  Loại biểu thức điều kiện là kết quả của việc áp dụng chuyển đổi bắt (§5.1.10) thành lub (T1, T2) (§15.12.2.7). ( CÓ )

Và, xem phần 15.12.2.7. Các đối số kiểu suy ra Dựa trên các đối số thực tế, chúng ta có thể thấy nó cố gắng tìm một tổ tiên chung sẽ đóng vai trò là kiểu được sử dụng cho lệnh gọi mà nó đến Object. Object là một đối số được chấp nhận để cuộc gọi sẽ hoạt động.

Các câu trả lời được đưa ra là tốt; Tôi muốn nói thêm với họ rằng quy tắc này của C # là hệ quả của một hướng dẫn thiết kế chung hơn. Khi được yêu cầu suy ra loại biểu thức từ một trong số các lựa chọn, C # chọn giá trị tốt nhất duy nhất trong số đó . Có nghĩa là, nếu bạn cung cấp cho C # một số lựa chọn như "Hươu cao cổ, Động vật có vú, Động vật" thì nó có thể chọn chung nhất - Động vật - hoặc nó có thể chọn cụ thể nhất - Hươu cao cổ - tùy thuộc vào hoàn cảnh. Nhưng nó phải chọn một trong những lựa chọn mà nó đã thực sự đưa ra . C # không bao giờ nói "lựa chọn của tôi là giữa Mèo và Chó, do đó tôi sẽ suy ra rằng Động vật là lựa chọn tốt nhất". Đó không phải là một lựa chọn được đưa ra, vì vậy C # không thể chọn nó.

Trong trường hợp toán tử bậc ba, C # cố gắng chọn kiểu int và chuỗi tổng quát hơn, nhưng không phải kiểu tổng quát hơn. Thay vì chọn một kiểu không phải là lựa chọn ngay từ đầu, như đối tượng, C # quyết định rằng không có kiểu nào có thể suy ra được.

Tôi cũng lưu ý rằng điều này phù hợp với một nguyên tắc thiết kế khác của C #: nếu có gì đó không ổn, hãy nói với nhà phát triển. Ngôn ngữ không có nội dung "Tôi sẽ đoán ý của bạn và tìm hiểu kỹ nếu tôi có thể". Ngôn ngữ nói rằng "Tôi nghĩ rằng bạn đã viết một cái gì đó khó hiểu ở đây, và tôi sẽ nói với bạn về điều đó."

Ngoài ra, tôi lưu ý rằng C # không suy luận từ biến thành giá trị được gán , mà là theo hướng khác. C # không nói "bạn đang gán cho một biến đối tượng do đó biểu thức phải có thể chuyển đổi thành đối tượng, do đó tôi sẽ đảm bảo rằng nó là như vậy". Đúng hơn, C # nói "biểu thức này phải có một kiểu và tôi phải có thể suy ra rằng kiểu đó tương thích với đối tượng". Vì biểu thức không có kiểu nên sẽ xảy ra lỗi.

Về phần generics:

two > six ? new List<int>() : new List<string>()

Trong C #, trình biên dịch cố gắng chuyển đổi các phần biểu thức bên phải thành một số kiểu thông thường; vì List<int>và List<string>là hai kiểu được xây dựng riêng biệt, không thể chuyển đổi một kiểu này sang kiểu kia.

Trong Java, trình biên dịch cố gắng tìm một siêu kiểu chung thay vì chuyển đổi, vì vậy việc biên dịch mã liên quan đến việc sử dụng ngầm các ký tự đại diện và tẩy xóa kiểu ;

two > six ? new ArrayList<Integer>() : new ArrayList<String>()

có kiểu biên dịch ArrayList<?>(thực ra, nó cũng có thể là ArrayList<? extends Serializable>hoặc ArrayList<? extends Comparable<?>>, tùy thuộc vào ngữ cảnh sử dụng, vì cả hai đều là siêu kiểu chung chung phổ biến) và kiểu thời gian chạy là thô ArrayList(vì đó là siêu kiểu thô phổ biến).

Ví dụ (tự kiểm tra) ,

void test( List<?> list ) {
    System.out.println("foo");
}

void test( ArrayList<Integer> list ) { // note: can't use List<Integer> here
                                 // since both test() methods would clash after the erasure
    System.out.println("bar");
}

void test() {
    test( true ? new ArrayList<Object>() : new ArrayList<Object>() ); // foo
    test( true ? new ArrayList<Integer>() : new ArrayList<Object>() ); // foo 
    test( true ? new ArrayList<Integer>() : new ArrayList<Integer>() ); // bar
} // compiler automagically binds the correct generic QED

Trong cả Java và C # (và hầu hết các ngôn ngữ khác), kết quả của một biểu thức có một kiểu. Trong trường hợp toán tử bậc ba, có hai biểu thức con có thể được đánh giá cho kết quả và cả hai phải có cùng kiểu. Trong trường hợp của Java, một intbiến có thể được chuyển đổi thành một Integerbằng cách tự động đóng hộp. Bây giờ vì cả hai Integervà Stringkế thừa từ Object, chúng có thể được chuyển đổi thành cùng một loại bằng một chuyển đổi thu hẹp đơn giản.

Mặt khác, trong C #, an intlà một nguyên thủy và không có chuyển đổi ngầm định sang stringhay bất kỳ thứ gì khác object.

Việc này thật thẳng thắn. Không có chuyển đổi ngầm giữa chuỗi và int. toán tử bậc ba cần hai toán hạng cuối cùng có cùng kiểu.

Thử:

Write(two > six ? two.ToString() : "6");