Neden ifade (j ++); yasak?

Aşağıdaki kod yanlış ( ideone'de bakınız ):

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

hata CS0201: Yalnızca atama, çağrı, arttırma, azaltma, bekletme ve yeni nesne ifadeleri ifade olarak kullanılabilir

1. Parantezleri kaldırdığımızda kod neden derleniyor?
2. Neden parantez ile derlenmiyor?
3. C # neden bu şekilde tasarlandı?

Derin anlayışlar takdir edildi.

Elimden geleni yapacağım.

Diğer cevaplar belirttiği gibi, burada ne oluyor derleyici bir o algıladığını olduğu ifade bir şekilde kullanılıyor açıklamada . Birçok dilde - C, JavaScript ve diğerleri - bir ifadeyi ifade olarak kullanmak tamamen yasaldır. 2 + 2;etkisi olmayan bir ifade olmasına rağmen bu dillerde yasaldır. Bazı ifadeler yalnızca değerleri için yararlıdır, bazı ifadeler yalnızca yan etkileri (faydalı bir geri dönüş yöntemine çağrı gibi) için yararlıdır ve bazı ifadeler maalesef her ikisi için de yararlıdır. (Artış gibi.)

Nokta: sadece ifadelerden oluşan ifadeler, bu ifadelerin tipik olarak yan etkileri için değerlerinden daha yararlı olduğu düşünülmedikçe neredeyse kesinlikle hatalardır . C # tasarımcıları, genellikle yan etkileri olarak düşünülen ifadelere izin verirken, tipik olarak değerleri için yararlı olduğu düşünülenlere izin vermeyerek orta bir zemin bulmak istiyorlardı. C # 1.0'da tanımladıkları ifade kümesi, artışlar, azalmalar, yöntem çağrıları, ödevler ve biraz tartışmalı olarak yapıcı çağrılarıydı.

ASIDE: Normalde bir nesne yapısının, yapının yan etkisi için değil, ürettiği değer için kullanıldığı düşünülmektedir; benim görüşüme göre izin vermek new Foo();biraz yanlıştır. Özellikle, bir güvenlik hatasına neden olan gerçek kodda bu kalıbı gördüm:

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

Kod karmaşıksa bu kusuru tespit etmek şaşırtıcı derecede zor olabilir.

Derleyici, bu nedenle, listede olmayan ifadelerden oluşan tüm ifadeleri algılamaya çalışır. Özellikle, parantez içindeki ifadeler sadece - parantez içindeki ifadeler olarak tanımlanır. "İfade ifadesi olarak izin verilir" listesinde yer almazlar, bu nedenle izin verilmez.

Bütün bunlar C # dilinin tasarım prensibine hizmet ediyor. Eğer yazdıysanız (x++);muhtemelen yanlış bir şey yapıyordunuz . Bu muhtemelen bir yazım hatası M(x++);ya da adil bir şeydir. C # derleyicisi ekibinin tutum hatırla değil " biz bu işi yapmak için bazı yollar bulabilir? " C # derleyicisi ekibinin tutum "olduğu bir olasılıkla hata gibi makul kod görünüyor, izin verirsen geliştiricisi bilgilendirmek ". C # geliştiricileri bu tutumu sever.

Şimdi, bütün bu dedi, aslında C # şartname birkaç tuhaf durumlar vardır mu ima veya parantez izin verilmeyen ancak C # derleyicisi zaten onları tanır edilir düpedüz devlet. Hemen hemen tüm bu durumlarda, belirtilen davranış ve izin verilen davranış arasındaki küçük tutarsızlık tamamen zararsızdır, bu nedenle derleyici yazarları bu küçük hataları asla düzeltmemiştir. Bunları burada okuyabilirsiniz:

Return myVar ve return (myVar) arasında fark var mı?

In C # dili şartname

İfade ifadeleri ifadeleri değerlendirmek için kullanılır. İfadeler olarak kullanılabilen ifadeler, yöntem çağrılarını, yeni operatörü kullanan nesne tahsislerini, = kullanan bileşik atamalarını ve bileşik atama operatörlerini, ++ ve - operatörlerini kullanarak arttırma ve azaltma işlemlerini içerir ve ifadeleri bekler.

Parantezleri bir ifadenin etrafına koymak, parantez içine alınmış yeni bir ifade oluşturur. Şartname:

Parantez içindeki ifade, parantez içine alınmış bir ifadeden oluşur. ... Parantez içindeki ifade, parantez içindeki ifade değerlendirilerek değerlendirilir. Parantez içindeki ifade bir ad alanını veya türü belirtirse, derleme zamanı hatası oluşur. Aksi takdirde, parantez içindeki ifadenin sonucu, içerilen ifadenin değerlendirilmesinin sonucudur.

Parantez içindeki ifadeler geçerli bir ifade ifadesi olarak listelenmediğinden, spesifikasyona göre geçerli bir ifade değildir. Tasarımcılar neden bu şekilde yapmayı seçtiler kimsenin tahminidir, ancak bahse girerim, tüm deyim parantez içinde yer alıyorsa parantezin işe yaramadığıdır: stmtve (stmt)tamamen aynıdır.

beacause etrafında parantez i++bir ifade oluşturmak / tanımlamak .. hata mesajının dediği gibi .. basit bir ifade bir ifade olarak kullanılamaz.

dil neden bu şekilde olacak şekilde tasarlandı? kod olarak yan etkisi olmayan, ifadeler olarak yanıltıcı ifadelere sahip olan hataların önlenmesi

int j = 5;
j+1; 

ikinci satırın bir etkisi yoktur (ancak fark etmemiş olabilirsiniz). Ancak derleyici onu kaldırmak yerine (kod gerekli olmadığından) .it açıkça kaldırmanızı ister (böylece farkında olursunuz veya hata olur) VEYA bir şey yazmayı unuttuğunuzda düzeltin.

düzenleme :

örgülü ile ilgili parçayı daha net hale getirmek için c # 'daki parantezler (döküm ve işlev çağrısı gibi diğer kullanımların yanı sıra), ifadeleri gruplandırmak ve tek bir ifadeyi (alt ifadelerin markası) döndürmek için kullanılır.

bu kod düzeyinde yalnızca açıklamalara izin verilir.

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

ama parantezleri kullanarak onu ifade olarak

myTempExpression = (j++)

ve bu

myTempExpression;

Derleyici ifadeyi yan etki olarak sağlayamadığından geçerli değil. (durma problemine girmeden değil) ..