Mengapa pernyataan itu (j ++); terlarang?

Kode berikut salah (lihat di ideone ):

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

kesalahan CS0201: Hanya penugasan, panggilan, kenaikan, penurunan, menunggu, dan ekspresi objek baru yang dapat digunakan sebagai pernyataan

1. Mengapa kode dikompilasi ketika kita menghapus tanda kurung?
2. Mengapa tidak dikompilasi dengan tanda kurung?
3. Mengapa C # didesain seperti itu?

Wawasan mendalam dihargai.

Saya akan melakukan yang terbaik.

Seperti jawaban lain yang dicatat, apa yang terjadi di sini adalah kompiler mendeteksi bahwa ekspresi sedang digunakan sebagai pernyataan . Dalam banyak bahasa - C, JavaScript, dan banyak lainnya - sangat sah untuk menggunakan ekspresi sebagai pernyataan. 2 + 2;legal dalam bahasa-bahasa ini, meskipun ini adalah pernyataan yang tidak berpengaruh. Beberapa ekspresi hanya berguna untuk nilainya, beberapa ekspresi hanya berguna untuk efek sampingnya (seperti panggilan ke metode pengembalian batal) dan beberapa ekspresi, sayangnya, berguna untuk keduanya. (Seperti kenaikan.)

Poinnya adalah: pernyataan yang hanya terdiri dari ekspresi hampir pasti kesalahan kecuali jika ekspresi itu biasanya dianggap lebih berguna untuk efek sampingnya daripada nilainya . Desainer C # ingin menemukan jalan tengah, dengan memungkinkan ekspresi yang umumnya dianggap sebagai efek samping, sementara melarang mereka yang juga biasanya dianggap berguna untuk nilai-nilai mereka. Rangkaian ekspresi yang mereka identifikasi dalam C # 1.0 adalah kenaikan, penurunan, pemanggilan metode, penugasan, dan agak kontroversial, pemanggilan konstruktor.

ASIDE: Orang biasanya menganggap konstruksi objek sebagai nilai yang dihasilkannya, bukan untuk efek samping konstruksi; menurut saya memungkinkan new Foo();adalah sedikit kesalahan. Secara khusus, saya telah melihat pola ini dalam kode dunia nyata yang menyebabkan cacat keamanan:

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

Bisa jadi sangat sulit untuk menemukan cacat ini jika kodenya rumit.

Oleh karena itu kompiler berfungsi untuk mendeteksi semua pernyataan yang terdiri dari ekspresi yang tidak ada dalam daftar itu. Secara khusus, ekspresi dalam tanda kurung diidentifikasi hanya dengan itu - ekspresi dalam tanda kurung. Mereka tidak ada dalam daftar "diizinkan sebagai ekspresi pernyataan", sehingga mereka tidak diizinkan.

Semua ini demi prinsip desain bahasa C #. Jika Anda mengetik, (x++);Anda mungkin melakukan kesalahan . Ini mungkin salah ketik M(x++);atau sesuatu yang adil. Ingat, sikap tim kompiler C # bukanlah " bisakah kita mencari cara untuk membuat ini berhasil? " Sikap tim kompiler C # adalah " jika kode yang masuk akal tampak seperti kesalahan yang mungkin terjadi, mari beri tahu pengembang ". Pengembang C # menyukai sikap itu.

Sekarang, semua yang mengatakan, sebenarnya ada sebuah kasus aneh beberapa di mana C # spesifikasi yang menyiratkan atau negara langsung yang kurung dianulir tetapi C # compiler memungkinkan mereka anyways. Dalam hampir semua kasus perbedaan kecil antara perilaku yang ditentukan dan perilaku yang diizinkan benar-benar tidak berbahaya, sehingga penulis kompiler tidak pernah memperbaiki bug kecil ini. Anda dapat membaca tentang itu di sini:

Apakah ada perbedaan antara return myVar vs return (myVar)?

Dalam spesifikasi bahasa C #

Pernyataan ekspresi digunakan untuk mengevaluasi ekspresi. Ekspresi yang dapat digunakan sebagai pernyataan termasuk pemanggilan metode, alokasi objek menggunakan operator baru, penugasan menggunakan = dan operator penugasan majemuk, operasi penambahan dan penurunan menggunakan operator ++ dan - dan menunggu ekspresi.

Menempatkan tanda kurung di sekitar pernyataan menciptakan ekspresi yang disebut tanda kurung baru. Dari spesifikasi:

Ekspresi kurung terdiri dari ekspresi terlampir dalam kurung. ... Ekspresi kurung dievaluasi dengan mengevaluasi ekspresi dalam kurung. Jika ekspresi di dalam tanda kurung menunjukkan namespace atau tipe, kesalahan waktu kompilasi terjadi. Kalau tidak, hasil dari ekspresi yang di-kurung adalah hasil dari evaluasi dari ekspresi yang terkandung.

Karena ekspresi yang ditulis dalam tanda kurung tidak terdaftar sebagai pernyataan ekspresi yang valid, itu bukan pernyataan yang valid sesuai dengan spesifikasi. Mengapa para perancang memilih untuk melakukannya dengan cara ini adalah dugaan siapa pun, tetapi taruhan saya adalah karena kurung tidak berfungsi jika seluruh pernyataan terkandung dalam kurung: stmtdan (stmt)persis sama.

karena kurung di sekitar i++sedang membuat / mendefinisikan ekspresi .. seperti pesan kesalahan mengatakan .. ekspresi sederhana tidak dapat digunakan sebagai pernyataan.

mengapa bahasanya dirancang seperti ini? untuk mencegah bug, memiliki ekspresi yang menyesatkan sebagai pernyataan, yang tidak menghasilkan efek samping seperti memiliki kode

int j = 5;
j+1; 

baris kedua tidak berpengaruh (tetapi Anda mungkin tidak memperhatikan). Tapi bukannya kompiler menghapusnya (karena kode tidak diperlukan). Itu secara eksplisit meminta Anda untuk menghapusnya (sehingga Anda akan menyadari atau kesalahan) ATAU memperbaikinya jika Anda lupa mengetik sesuatu.

edit :

untuk membuat bagian tentang tanda kurung menjadi lebih jelas .. tanda kurung dalam c # (selain kegunaan lain, seperti pemeran dan pemanggilan fungsi), digunakan untuk mengelompokkan ekspresi, dan mengembalikan satu ekspresi (membuat sub ekspresi).

pada level kode itu hanya stament yang diizinkan .. jadi

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

tetapi dengan menggunakan tanda kurung Anda mengubahnya menjadi ekspresi

myTempExpression = (j++)

dan ini

myTempExpression;

tidak valid karena kompiler tidak dapat memastikan bahwa ekspresi sebagai efek samping (bukan tanpa menimbulkan masalah penghentian) ..