Neden diller “if” ve “while” ile kullanıldığında ifadelerin etrafına parantez gerektiriyor?

Bir kullanıldığında C, Java ve C gibi diller ++ bütün bütün bir ifadenin etrafında parantez gerektiren if, whileya switch.

if (true) {
    // Do something
}

aksine

if true {
    // Do something
}

Bu bana tuhaf geliyor çünkü parantez gereksiz. Bu örnekte, truekendi başına tek bir ifadedir. Parantez, anlamını bildiğim hiçbir şekilde değiştirmiyor. Bu tuhaf sözdizimi neden var ve neden bu kadar yaygın? Farkında olmadığım bir yararı var mı?

Olması gerekir bazı koşul biter ve şube nerede başladığını söylemenin yolu. Bunu yapmanın birçok farklı yolu vardır.

Bazı dillerde, hiçbir koşul vardır hiç Smalltalk, Öz, tellalların, Io, Ioke, Seph ve Fancy örn. Koşullu dallanma, basit bir şekilde diğer herhangi bir yöntem gibi normal bir yöntem olarak uygulanır. Bu yöntem, boolean nesnelerine uygulanır ve bir boolean'a çağrılır. Bu şekilde, koşul basitçe yöntemin alıcısıdır ve iki dal iki argümandır, örneğin Smalltalk:

aBooleanExpression ifTrue: [23] ifFalse: [42].

Java'yı daha iyi tanıyorsanız, bu aşağıdakine eşittir:

aBooleanExpression.ifThenElse(() -> 23, () -> 42);

Lisp dil ​​ailesinde, durum benzer: şartlı ifadeler sadece normal fonksiyonlardır (aslında makrolar) ve birinci argüman şarttır, ikinci ve üçüncü argüman dallardır, bu nedenle bunlar normal fonksiyon argümanlarıdır ve onları sınırlandırmak için özel bir şeye gerek yok:

(if aBooleanExpression 23 42)

Bazı diller sınırlayıcı olarak anahtar kelimeler kullanır, örneğin Algol, Ada, BASIC, Pascal, Modula-2, Oberon, Oberon-2, Aktif Oberon, Bileşen Pascal, Zonnon, Modula-3:

IF aBooleanExpression THEN RETURN 23 ELSE RETURN 42;

Ruby'de, bir anahtar kelime veya ifade ayırıcı kullanabilirsiniz (noktalı virgül veya yeni satır):

if a_boolean_expression then 23 else 42 end

if a_boolean_expression; 23 else 42 end

# non-idiomatic, the minimum amount of whitespace required syntactically
if a_boolean_expression
23 else 42 end

# idiomatic, although only the first newline is required syntactically
if a_boolean_expression
  23
else
  42
end

Go , dalların bloklar olmasını gerektirir ve küme parantezlerini zorunlu kılan ifadelere veya ifadelere izin vermez. Bu nedenle, parantez gerekli değildir, ancak isterseniz ekleyebilirsiniz; Perl6 ve Rust bu konuda benzer:

if aBooleanExpression { return 23 } else { return 42 }

Bazı diller, koşulu sınırlamak için diğer alfasayısal olmayan karakterleri kullanır, örneğin Python:

if aBooleanExpression: return 23
else: return 42

Kısacası: İhtiyacınız bazı koşul biter ve şube nerede başladığını anlatan yolu. Bunu yapmanın birçok yolu vardır, parantezler bunlardan sadece bir tanesidir.

Parantez kullanıyorsanız parantez gerekli değildir.

if true ++ x;

Örneğin onlarsız belirsizleşir.

Bir in parantezler ifaçıklamada bir aritmetik ifadelerinde kullanılmak parantez aynı anlama sahip değildir. Aritmetik ifadedeki parantezler ifadeleri birlikte gruplamak için kullanılır. Bir ifdeyimdeki parantezler, boolean ifadesini sınırlandırmak için kullanılır; yani, boolean ifadesini ifadenin geri kalanından ayırmak için kullanılır if.

Bir ififadede, parantezler gruplama işlevi gerçekleştirmezler ( ififadede, parantezleri aritmetik ifadeleri gruplandırmak için yine de kullanabilirsiniz. Ancak, parantez içindeki dış küme, tüm bool ifadesini sınırlandırmak için kullanılır). Onları gerekli kılmak derleyiciyi basitleştirir çünkü derleyici her zaman orada bulunan parantezlere güvenebilir.

Diğerlerinin zaten kısaca belirttiği gibi, bunun nedeni ifadelerin de geçerli ifadeler olduğudur ve sadece bir ifadenin yer aldığı bir blok durumunda parantezleri bırakabilirsiniz. Bu, aşağıdakilerin belirsiz olduğu anlamına gelir:

if true
    +x;

Çünkü şu şekilde yorumlanabilir:

if (true + x) {}

onun yerine:

if (true) {+x;}

Bir dizi dil (örn. Python) parantezden kaçınmanıza izin verir ancak yine de bir son durum işaretçisine sahiptir:

eğer Doğru ise : + x

Ancak biz bu haklı olabilir bir ifadedir bir dil: parantez gerekli asla bir dil tanımlamak değil , geçerli bir deyim bu sorunu olmayacaktır.

Maalesef bu şöyle şeyler anlamına gelir:

 ++x;
 functionCall(1,2,3);

olurdu değil sen ifadeleri yaratmadan tür eylemleri gerçekleştirmek edebilmek için bazı garip sözdizimi tanıtmak olurdu böylece, geçerli ifadeleri ol. Bunu yapmanın basit bir yolu, ifadeyi aşağıdaki gibi bir işaretleyici ile hazırlamaktır [statement]:

[statement] ++x;
[statement] functionCall(1,2,3);

Şimdi belirsizlik yazmanız gerekeceğinden kayboluyor:

if true
    [statement] ++x;

Ancak görebildiğiniz gibi, parantezi bir ifkoşullandırma (ya :da sonundaki) etrafına parantez koymak, her ifade ifadesi için böyle bir işaretçi koymaktan çok daha iyi olduğundan, böyle bir dilin yaygın olduğunu görmüyorum .

Not : Bir [statement]işaretleyicinin kullanımı, düşünebildiğim en basit sözdizimidir. Bununla birlikte , ifadeler ve ifadeler için, aralarında böyle bir belirleyici gerektirmeyecek belirsizliği olmayan iki ayrı sözdiziminiz olabilir . Sorun şudur: Dil aynı ifadeyi veya ifadede aynı şeyleri yapmak için tamamen farklı bir sözdizimi kullanmak zorunda kalacağınız için çok tuhaf olurdu.

Kuvvet ifadeleri unicode sembolleri kullanmak (bu yüzden yerine: örneği için böyle açık bir işaretleyici olmadan iki ayrı sözdizimi olması akla gelen bir şey olurdu forsizin bazı harflerin Unicode varyasyonu kullanmayı tercih f, ove rifadeler olduğu süre) Sadece ASCII.

C ailesi dillerinin bu parantezleri alması yaygındır, ancak evrensel değildir.

Perl 6'nın daha fark sözdizimsel değişikliklerden biri size parantez etrafında vermek zorunda kalmamak için onlar dilbilgisi değiştirilmiş olmasıdır if, forve benzeri tablolarda raporlanan koşulları. Yani bunun gibi bir şey Perl 6'da tamamen geçerli:

if $x == 4 {
    ...
}

olduğu gibi

while $queue.pop {
    ...
}

Ancak, sadece ifadeler oldukları için, isterseniz etraflarına parantez koyabilirsiniz, bu durumda sözdiziminin C, C #, Java vb.

Rust, bu bölümdeki Perl 6 ile benzer bir sözdizimine sahiptir:

if x == 4 {
    ...
}

Bana göre daha modern C'den ilham alan dillerin bir özelliği, bu gibi şeylere bakmak ve bunları kaldırmaktan korkmak gibi görünüyor.

Mevcut cevapların hiçbirinin ortaya çıkmamasına şaşırdığım bir yön var.

C ve birçok C türevi ve benzerleri, bir atamanın değerinin atanmış değer olması bakımından bir özelliğe sahiptir . Bunun bir sonucu, bir değerin beklendiği durumlarda bir ödevin kullanılabileceğidir.

Bu gibi şeyler yazmanıza olanak sağlar

if (x = getValue() == 42) { ... }

veya

if (x == y = 47) { ... }

veya

unsigned int n = 0 /* given m == SOME_VALUE */;
while (n < m && *p1++ = *p2++) { n++; }

(ki bu, while (n < m && *p1++ = *p2++ != 0) { n++; }C'nin sıfır olmayanı doğru olarak ele aldığından dolaylı olarak muamele görür ; bu arada, bunun C standart kütüphanesindeki strncpy () hakkında olduğunu düşünüyorum)

ya da

if (x = 17);

ve hepsi geçerlidir. Sözdizimsel olarak geçerli tüm kombinasyonların zorunlu olarak faydalı olması gerekmez (ve modern derleyiciler şartlı koşullar içindeki ödevler hakkında özellikle uyarırlar, çünkü bu yaygın bir hatadır), ancak bazıları gerçekten faydalıdır.

Koşullu ifadenin nerede başladığını ve bittiğini belirlemek için kesin bir yol olmasaydı, böyle ifadeleri ayrıştırmak muhtemelen çok daha zor olurdu.

Parantez, işlev adlarını işlev bağımsız değişkenlerinden ayırmak için zaten kullanıldı, bu nedenle anahtar kelimeleri bağımsız değişkenlerden ayırmak için doğal bir seçenek gibi görünüyorlardı.

Elbette, aynı şeyi yapmak için alternatif sözdizimleri tanımlanabilir. Ancak bunu yapmak, özellikle de aynı şey için iki farklı sözdizimi setiyle uğraşması gereken ayrıştırıcıda karmaşıklığı arttıracaktır. C tasarlanırken, hesaplama gücü (hem sayı alma yeteneği, çalışma belleği hem de depolama kapasitesi açısından) son derece sınırlıydı; karmaşıklığı çok az ya da okunabilirlik maliyeti düşük olan herhangi bir şey neredeyse kesinlikle hoş bir değişiklikti.

Bugün parantez kullanmak biraz arkaik görünebilir, ancak bu dil ile aşina olan birine verilen gibi değil, aynı şeyleri ifade edebilen bazı sözdizimlerine kıyasla okunabilirliği bozuyor.

Sebep çoğunlukla tarih.

İlk C derleyicisinin yazıldığı tarihte, bilgisayarlar çok sınırlı ram, cpu ve derleyicilerin derleyicilerin yazılmasına yardımcı olmak için birkaç araçla "elle yazılmış" derleyicileri vardır. Bu nedenle karmaşık kuralların bir derleyicide uygulanması maliyetlidir . C ++, C #, Java, vb. C programcılarının öğrenmesi kolay olacak şekilde tasarlanmıştır, bu nedenle “gereksiz” değişiklikler yapılmamıştır.

'C like' dilleri koşullu ( if, while, etc), açık bir blockkod gerektirmez , sadece basit bir ifade kullanabilirsiniz.

if (a == d) doIt()

veya ifadeleri bir araya getirerek bir araya compound statementgetirebilirsiniz.{}

Derleyicinin yaptığımız hatayı bulmasını ve anlayabileceğimiz bir hata mesajı olarak vermesini seviyoruz.

Java ve C ++, C çok popüler bir programlama dili haline geldikten sonra geliştirilmiştir. Bu dillerin her birinin tasarımında dikkat edilmesi gereken nokta, C programcılarına hitap etmesi ve bu programcıların yeni dili kullanmasıdır. (Başarılı bir şekilde yazdıkları C programcılarından biriydim.) C ++ ek olarak (neredeyse) C koduyla değiştirilebilecek şekilde tasarlandı. Bu hedefleri desteklemek amacıyla, hem C ++ ve Java koşulları etrafında parantez dahil C'nin sözdizimi çok benimsenen if, whileve switchtabloların.

Bu nedenle, tüm bu dillerin bu ifadelerin koşulları etrafında parantez gerektirmesinin nedeni, C'nin neden olduğu ve soru gerçekten de C'nin neden parantez gerektirdiğidir.

C dilinin kökenleri açıklanmıştır Dennis Ritchie, gelişiminin başlıca yazarlardan biri tarafından bu makalede (hatta bazıları diyebilirsiniz gelişiminin başlıca yazar). Bu makalede belirtildiği gibi, C aslen 1970'lerin başında ana bellekte son derece sınırlı alana sahip bilgisayarlar için bir sistem programlama dili olarak geliştirilmiştir. Toplama dilden daha yüksek bir dile sahip olmak istendi, ancak çalışılabilecek kaynaklar göz önüne alındığında, dilin ayrıştırma kolaylığı da önemliydi. Parantezlerin kullanılması, koşullu kodun tanımlanmasını nispeten kolaylaştıracaktır.

Ayrıca, daha az karakter kullanan programlar yazma yeteneğinin bir avantaj olduğu düşünülebilir ve iki parantez THENFORTRAN ve diğer yüksek seviye dillerde kullanılan anahtar kelimeden daha az yer kaplar ; Aslında, parantezler ayrıca boşlukları sembollerin sınırlayıcıları olarak değiştirebildiklerinden if(a==b), dört karakterden daha kısa olmuştur IF a==b THEN.

Her halükarda, insanların C ile yazılmış programları ne kadar kolay okuyabileceği, yazabileceği ve anlayabileceği, bir derleyicinin C ile yazılmış programları ne kadar kolay ayrıştırabileceği ve derleyebileceği ve kaç kilobayt (!) Arasında bir miktar denge kurulması gerekiyordu. Hem program kaynağı hem de derleyici için gerekli olacaktır. Ve koşulları etrafında parantez if, whileve switch tabloların insanlar C. tasarımında bu denge kurmak seçtik nasıldı

Diğer bazı cevaplarda da kanıtlandığı gibi, C'nin geliştirildiği belirli koşulları ortadan kaldırdığınızda, çeşitli programlama dillerinin koşullarında her türlü alternatif sözdizimi formları kullanılmıştır. Bu yüzden parantezler gerçekten de, tarihin belli bir döneminde belli kısıtlamalar altındaki birkaç kişi tarafından verilen bir tasarım kararından kaynaklanıyor.

Buradaki birçok neden parantez olmadan sözdiziminin belirsiz olması ve sessizce bunun bir şekilde kötü, hatta imkansız bir durum olacağını ima etmesidir.

Aslında, dillerin belirsizliklerle baş etmenin birçok yolu vardır. Operatör önceliği bu konunun sadece bir örneğidir.

Hayır, belirsizlik parantez içinde değildir. Sanırım bir kimse koşulun etrafındaki parantezleri gerektirmeyen (böylece isteğe bağlı kılan) ve yine de her durumda geçerli bir kod oluşturan bir C sürümü yaratabilir. Örneği, if a ++ b;eşdeğer olarak yorumlanabilir if (a) ++b;veya if (a++) b;hangisi daha uygun görünüyorsa.

Dennis Ritchie'nin () neden zorunlu hale getirmeyi seçtiği (ve dolayısıyla bu memeyi türetilmiş diller için kullandığı) sorusu, dilsel bir konudur. Sanırım, durumun bir emirden ziyade bir ifade olduğunu ifade etme düşüncesi, düşüncenin babasıydı.

Ve aslında, C tek geçişli bir çözümleyici kullanılarak ayrıştırılabilir olarak tasarlanmıştır. Koşul etrafında zorunlu parantez ile bir sözdizimi kullanmak bu yönü desteklemektedir.

ifFortran, Cobol, PL / 1, Algol, Algo-68, Pascal, Modül, XPL, PL / M, MPL, ... veya thenanahtar kelimeye sahip başka bir dilde şartların etrafına parantez gerekmez . aşağıdakilerden thensınırlandırmaya yarar .conditionstatement

C'deki kapanış parantezi şu şekilde çalışır thenve açık olan resmen gereksizdir.

Yukarıdaki açıklamalar geleneksel olarak ayrıştırılan dillere uygulanır.