Bildiğim kadarıyla, tüm modern zorunlu programlama dilleri, bir prosedürün kendisini çağırabileceği anlamında özyinelemeyi desteklemektedir. Bu her zaman böyle değildi, ancak hızlı bir Google aramasıyla hiçbir zor gerçek bulamıyorum. Benim sorum şu:
Hangi diller başlangıçtan itibaren özyinelemeyi desteklemedi ve bu destek ne zaman eklendi?
Yanıtlar:
Eminim COBOL (kesinlikle bir seferde yoktu), ama ben de çok önemseyen kimseyi hayal bile edemiyorum.
Fortran, Fortran 90'dan beri var, ancak recursivebir alt yordamın özyinelemeli olduğunu söylemek için anahtar kelimeyi kullanmanızı gerektiriyor .
PL / Ben hemen hemen aynıydım - özyineleme desteklendi, ancak hangi prosedürlerin özyinelemeli olduğunu açıkça belirtmeniz gerekiyordu.
Bundan daha fazlası olduğundan şüpheliyim. Aşağı indiğinizde, özyinelemeyi yasaklamak, IBM'in (360/370/3090 / ...) ana çerçevelerinin donanım yığınını desteklememesinin basit bir nedeni olarak, IBM'in dil tasarımlarında yaptığı bir şeydi. Çoğu dil IBM'den geldiğinde, çoğunlukla yinelemeyi yasakladılar. Artık hepsi başka yerlerden geldiğine göre, özyineleme her zaman izinlidir (yine de birkaç diğer makinenin, özellikle orijinal Cray 1'in, bir yığın için donanım desteğine sahip olmadığını eklemeliyim).
notably the original cray 1Yani, dinozorları klonlamak için özyineye ihtiyacınız yok mu? Sanırım ağaçların arasından sallanmak gerçekten maymunlara kalmış.
Wikipedia diyor ki:
Fortran gibi erken diller başlangıçta özyinelemeyi desteklemedi çünkü değişkenler statik olarak ve dönüş adresinin konumu ayrıldı.
http://en.wikipedia.org/wiki/Subroutine#Local_variables.2C_recursion_and_re-entrancy
FORTRAN 77 özyinelemeye izin vermez, Fortran 90 bunu yapar (özyinelemeli rutinler açıkça bildirilmelidir).
Çoğu FORTRAN 77 derleyicisi özyinelemeye izin verir, bazıları (örneğin DEC) bir derleyici seçeneği gerektirir (derleyici seçenekleri bölümüne bakın). Fortran 77 standardına tam olarak uyan GNU g77, tekrarlamaya hiç izin vermez.
OpenCL programlama dili özyinelemeyi desteklemez. ( OpenCL Spesifikasyonu bölüm 6.8'e bakınız )
Bunun için mevcut motivasyon a) derin yığınlar için yer eksikliği b) büyük kayıt kümeleri ve geniş iç astarın varlığında performansı optimize etmek için gereken toplam tahsisi statik olarak bilmek arzusu.
Bu, gölgelendirici dilleri gibi diğer GPU programlama dilleri için de geçerli olabilir.
Küçük mikrodenetleyiciler için bazı c derleyicileri, büyük olasılıkla son derece sınırlı bir yığın boyutuna sahip oldukları için özyinelemeyi desteklemez.
BASIC, satır numaraları günlerinde yinelemenin zayıf desteğine sahip olma eğilimindeydi. O zamanın çoğu (tümü?) TEMEL, iç içe gosub çağrılarını destekledi, ancak parametreleri veya değerleri kendi kendine arama için yararlı olacak şekilde iletmenin kolay bir yolunu desteklemedi.
İlk bilgisayarların çoğunda özyineleme ile ilgili sorunlar vardı, çünkü dönüş adresini (PDP8, IAS makine ailesi, muhtemelen daha fazla aşina olmadığım daha fazla mimari) adlı rutinin başına yazan çağrı talimatlarını kullandılar. "Rutin adı verilen komuttan sonra talimata atla" makine koduydu.
" Destek " ile ne demek istediğinize bağlı . Özyinelemeyi desteklemek için, her girişte yerel değişkenleri yeniden somutlaştırabileceğiniz bir yığın gerekir.
Dil yerel değişkenler kavramına sahip olmasa bile, "altyordam" kavramına sahipse ve özdeş değişkenler (aka dizi) arasındaki bir dizinlemeyi yönetmenin bir yolu varsa, her giriş / çıkışta genel bir dizini artırabilir / azaltabilirsiniz ve bir veya daha fazla dizinin bir üyesi aracılığıyla erişim sağlar.
Bunun "destek" olarak adlandırılıp adlandırılamayacağını bilmiyorum. Gerçekler, ZB-Spectrum BASIC ile özyineli işlev yazdım, çünkü Fortran77'de COBOL'da olduğu gibi ... her zaman bu hile ile.
Montaj dili özyinelemeyi doğrudan desteklemez - tipik olarak parametreleri makine yığınına iterek "kendiniz yapın".
CALL, altyordamına atlamadan önce IP'yi otomatik olarak yığına iten bir RETyönerge ve dönüş adresini IP'ye açan bir yönerge vardır. CALLKendi giriş noktanızı yapamamanız için hiçbir neden yok .
void f() { f(); }özyinelemelidir.