Tại sao là tuyên bố (j ++); Cấm?

Đoạn mã sau là sai (xem nó trên ideone ):

public class Test
{
    public static void Main()
    {
        int j = 5;
        (j++);      // if we remove the "(" and ")" then this compiles fine.
    }
}

lỗi CS0201: Chỉ có thể sử dụng phép gán, gọi, tăng, giảm, chờ và các biểu thức đối tượng mới làm câu lệnh

1. Tại sao mã biên dịch khi chúng ta loại bỏ dấu ngoặc đơn?
2. Tại sao nó không biên dịch với dấu ngoặc đơn?
3. Tại sao C # được thiết kế theo cách đó?

Hiểu biết sâu sắc đánh giá cao.

Tôi sẽ làm hết sức mình.

Như các câu trả lời khác đã lưu ý, những gì đang diễn ra ở đây là trình biên dịch đang phát hiện ra rằng một biểu thức đang được sử dụng như một câu lệnh . Trong nhiều ngôn ngữ - C, JavaScript và nhiều ngôn ngữ khác - việc sử dụng một biểu thức làm tuyên bố là hoàn toàn hợp pháp. 2 + 2;là hợp pháp trong các ngôn ngữ này, mặc dù đây là một tuyên bố không có hiệu lực. Một số biểu thức chỉ hữu ích cho các giá trị của chúng, một số biểu thức chỉ hữu ích cho các tác dụng phụ của chúng (chẳng hạn như gọi đến phương thức trả về khoảng trống) và một số biểu thức, không may, hữu ích cho cả hai. (Giống như gia tăng.)

Điểm hiện hữu: các câu lệnh chỉ bao gồm các biểu thức gần như chắc chắn là các lỗi trừ khi các biểu thức đó thường được cho là hữu ích hơn cho các tác dụng phụ của chúng so với các giá trị của chúng . Các nhà thiết kế C # muốn tìm một nền tảng trung gian, bằng cách cho phép các biểu thức thường được coi là có tác dụng phụ, trong khi không cho phép các biểu thức thường được coi là hữu ích cho các giá trị của chúng. Tập hợp các biểu thức mà chúng đã xác định trong C # 1.0 là các số gia, số giảm, lệnh gọi phương thức, bài tập và một số tranh cãi, các cách gọi của hàm tạo.

ASIDE: Người ta thường nghĩ về việc xây dựng đối tượng là được sử dụng cho giá trị mà nó tạo ra, không phải cho tác dụng phụ của việc xây dựng; theo ý kiến ​​của tôi cho phép new Foo();là một chút sai lầm. Cụ thể, tôi đã thấy mô hình này trong mã trong thế giới thực gây ra lỗi bảo mật:

catch(FooException ex) { new BarException(ex); } 

Thật khó có thể ngạc nhiên khi phát hiện ra khiếm khuyết này nếu mã phức tạp.

Do đó trình biên dịch hoạt động để phát hiện tất cả các câu lệnh bao gồm các biểu thức không có trong danh sách đó. Cụ thể, các biểu thức được ngoặc đơn được xác định là như vậy - các biểu thức được ngoặc đơn. Chúng không nằm trong danh sách "được phép dưới dạng biểu thức câu lệnh", vì vậy chúng không được phép.

Tất cả điều này là để phục vụ cho một nguyên tắc thiết kế của ngôn ngữ C #. Nếu bạn gõ (x++);bạn có thể đã làm điều gì đó sai . Đây có lẽ là một lỗi đánh máy cho M(x++);hoặc một số điều. Hãy nhớ rằng, thái độ của nhóm trình biên dịch C # không phải là " chúng ta có thể tìm ra cách nào đó để thực hiện công việc này không? " Thái độ của nhóm trình biên dịch C # là " nếu mã hợp lý có vẻ như là một lỗi có thể xảy ra, hãy thông báo cho nhà phát triển ". Các nhà phát triển C # thích thái độ đó.

Bây giờ, tất cả những gì đã nói, có thực sự là một vài trường hợp lẻ nơi # đặc điểm kỹ thuật C không ngụ ý hoặc trạng thái hoàn toàn rằng ngoặc là không được phép nhưng biên dịch C # cho phép chúng anyways. Trong hầu hết các trường hợp, sự khác biệt nhỏ giữa hành vi được chỉ định và hành vi được phép là hoàn toàn vô hại, vì vậy người viết trình biên dịch chưa bao giờ sửa các lỗi nhỏ này. Bạn có thể đọc về những người ở đây:

Có sự khác biệt giữa return myVar so với return (myVar) không?

Trong đặc tả ngôn ngữ C #

Các biểu thức được sử dụng để đánh giá các biểu thức. Các biểu thức có thể được sử dụng như các câu lệnh bao gồm các dẫn xuất phương thức, phân bổ đối tượng bằng toán tử mới, các phép gán sử dụng = và các toán tử gán gán tổng hợp, các phép toán tăng và giảm sử dụng toán tử ++ và - và chờ các biểu thức.

Đặt dấu ngoặc đơn xung quanh một câu lệnh sẽ tạo ra một biểu thức được gọi là dấu ngoặc đơn mới. Từ đặc điểm kỹ thuật:

Biểu thức ngoặc đơn bao gồm một biểu thức được đặt trong dấu ngoặc đơn. ... Một biểu thức ngoặc đơn được đánh giá bằng cách đánh giá biểu thức trong ngoặc đơn. Nếu biểu thức trong ngoặc đơn biểu thị một không gian tên hoặc kiểu, lỗi thời gian biên dịch xảy ra. Mặt khác, kết quả của biểu thức được ngoặc đơn là kết quả của việc đánh giá biểu thức được chứa.

Vì các biểu thức được ngoặc đơn không được liệt kê dưới dạng một câu lệnh biểu thức hợp lệ, nó không phải là một câu lệnh hợp lệ theo đặc tả. Tại sao các nhà thiết kế chọn làm theo cách này là dự đoán của bất kỳ ai, nhưng tôi cá là vì dấu ngoặc đơn không có tác dụng hữu ích nếu toàn bộ câu lệnh được chứa trong ngoặc đơn: stmtvà (stmt)hoàn toàn giống nhau.

vì các dấu ngoặc xung quanh i++đang tạo / xác định biểu thức .. như thông báo lỗi cho biết .. một biểu thức đơn giản không thể được sử dụng làm câu lệnh.

Tại sao ngôn ngữ được thiết kế theo cách này? để ngăn chặn lỗi, có các biểu thức gây hiểu lầm như các câu lệnh, không tạo ra tác dụng phụ như có mã

int j = 5;
j+1; 

dòng thứ hai không có hiệu lực (nhưng bạn có thể không nhận thấy). Nhưng thay vì trình biên dịch loại bỏ nó (vì không cần mã) .it rõ ràng yêu cầu bạn xóa nó (vì vậy bạn sẽ nhận thức được hoặc lỗi) HOẶC sửa nó trong trường hợp bạn quên gõ một cái gì đó.

chỉnh sửa :

để làm cho phần về nước lợ rõ ràng hơn .. dấu ngoặc trong c # (bên cạnh các cách sử dụng khác, như ép kiểu và gọi hàm), được sử dụng để nhóm các biểu thức và trả về một biểu thức (tạo các biểu thức phụ).

ở cấp mã đó chỉ cho phép các nhị hoa .. vì vậy

j++; is a valid statement because it produces side effects

nhưng bằng cách sử dụng nước lợ, bạn đang biến nó thành biểu thức

myTempExpression = (j++)

và điều này

myTempExpression;

không hợp lệ vì trình biên dịch không thể đảm bảo rằng biểu thức là tác dụng phụ. (không phải không phát sinh vấn đề tạm dừng) ..