Neden bu kadar çok dil değer olarak geçiyor?

Eğer her zaman değeriyle geçirilen C gibi açık işaretçi manipülasyon olsa bile diller (siz yapabilirsiniz referans olarak onları geçmek ama bu varsayılan davranış değil).

Bunun faydası nedir, neden bu kadar çok dil değerler tarafından iletiliyor ve diğerleri neden referans olarak geçiyor ? (Anladığım kadarıyla Haskell referans tarafından geçti ancak emin değilim).

Değere göre geçiş genellikle referansa göre geçmek için daha güvenlidir, çünkü parametrelerinizi yanlışlıkla yöntem / işlevinize göre değiştiremezsiniz. Bu, dili bir işleve verdiğiniz değişkenler hakkında endişelenmenize gerek olmadığı için kullanımını kolaylaştırır. Onların değişmeyeceğini biliyorsunuz ve bu genellikle beklediğiniz şey .

Bununla birlikte, parametreleri değiştirmek istiyorsanız , bunu netleştirmek için açık bir işlem yapmanız gerekir (bir işaretçiye geçin). Bu, tüm arayanları aramayı biraz farklı şekilde ( &variableC cinsinden) yapmaya zorlar ve bu, değişken parametresinin değişebileceğini açıkça belirtir.

Böylece, bir işlevin, değişken işaretini yapmak için açıkça işaretlenmediği sürece, değişken göstergesini değiştirmeyeceğini varsayabilirsiniz (bir işaretçi girmenizi gerektirerek). Bu, alternatiften daha güvenli ve temiz bir çözümdür: Özel olarak yapamadıklarını söylemedikçe, her şeyin parametrelerinizi değiştirebileceğini varsayalım.

Değere göre arama ve başvuruya göre arama, uzun zaman önce parametre geçiş modları ile hatalı olan uygulama teknikleridir.

Başlangıçta, FORTRAN vardı. FORTRAN sadece referans çağrısına sahipti, çünkü alt rutinler parametrelerini değiştirebiliyordu ve hesaplama döngüleri birden fazla parametre geçme moduna izin veremeyecek kadar pahalıydı, artı FORTRAN ilk tanımlandığında programlama hakkında yeterince bilgi sahibi değildi.

ALGOL isim-by-isim ve by-value ile geldi. Değeri arama, değiştirilmemesi gereken şeyler içindi (giriş parametreleri). Ada göre yapılan çağrı, çıktı parametreleri içindi. Adına göre çağrı büyük bir güveç olduğu ortaya çıktı ve ALGOL 68 bunu bıraktı.

PASCAL, değerine göre arama ve referansa göre arama sağladı. Programcıya, parametre yığınını üflemekten kaçınmak için derleyiciye referans olarak büyük bir nesneyi (genellikle bir dizi) geçirdiğini, ancak nesnenin değiştirilmemesi gerektiğini söyleme yolu yoktur.

PASCAL, dil tasarım sözlüğüne işaretçiler ekledi.

C, bir değer göstergesini ve bellekteki herhangi bir nesneye bir gösterici döndürmek için bir kludge operatörü tanımlayarak referans-referans çağrısını sağladı.

Daha sonra diller C'yi kopyaladı, çünkü tasarımcılar daha önce başka hiçbir şey görmediler. Bu muhtemelen, aramaya göre arama değerinin bu kadar popüler olmasının nedenidir.

C ++ referans çağrısı sağlamak için C çamurunun üstüne bir çamur ekledi.

Şimdi, bir değere göre çağrıya karşı-referansa göre çağrıya karşı-çağrı-by-pointer-kludge'in doğrudan bir sonucu olarak, C ve C ++ (programlayıcılar) const işaretçileri ve işaretçilerine yapışacak korkunç baş ağrıları vardır (salt okunur). itiraz ediyor.

Ada bütün bu kabustan uzak durmayı başardı.

Ada açık bir değer-by-by-referans çağrısına sahip değildir. Daha ziyade, Ada'nın parametreleri (okunabilir ancak yazılmayabilir), parametreleri (okunmadan önce yazılması zorunludur) ve parametreleri, herhangi bir sırada okunup yazılabilen parametreleri vardır. Derleyici, belirli bir parametrenin değere mi yoksa referansa göre mi geçileceğine karar verir: programlayıcı için şeffaftır.

Referansa göre geçmek, istenmeyen davranışa neden olduklarında izlerinin sürülmesinin imkansız olması yanında çok zor olan istenmeyen istenmeyen yan etkilere izin verir.

Özellikle, değeriyle geçirin final, staticya da constgiriş parametreleri böcek yok bu tüm sınıf yapar.

Değiştirilemeyen diller, neyin girdiğini ve bir işlevden neyin gelmesi beklendiğini anlamak ve mantıklı olmak için daha belirleyicidir.

Neden bu kadar çok dil değer olarak geçiyor?

Büyük programları küçük alt programlara bölmenin amacı, alt programlara bağımsız olarak sebep olabileceğinizdir. Referansa göre bu özelliği keser. (Paylaşılabilir değişken durumu olduğu gibi.)

Eğer her zaman değeriyle geçirilen C gibi açık işaretçi manipülasyon olsa bile diller (siz yapabilirsiniz referans olarak onları geçmek ama bu varsayılan davranış değil).

Aslında, C her zaman değer by-pass, asla by-by-referans. Bir şeyin adresini alabilir ve bu adresi iletebilirsiniz, ancak adres yine de değere göre iletilir.

Bunun faydası nedir, neden bu kadar çok dil değerler tarafından iletiliyor ve diğerleri neden referans olarak geçiyor ?

Referansa göre kullanmanın iki ana nedeni vardır:

1. çoklu dönüş değerlerini simüle etme
2. verim

Şahsen, # 1’in sahte olduğunu düşünüyorum: Neredeyse her zaman kötü API ve / veya dil tasarımı için bir bahane:

1. Birden fazla dönüş değerine ihtiyacınız varsa, bunları simüle etmeyin, sadece onları destekleyen bir dil kullanın.

2. Çoklu dönüş değerlerini, parantez gibi bazı hafif veri yapılarına paketleyerek de simüle edebilirsiniz. Bu, özellikle dil örüntü eşleştirme veya yok etme bağını destekliyorsa işe yarar. Örneğin Ruby:

   def foo
     # This is actually just a single return value, an array: [1, 2, 3]
     return 1, 2, 3
   end
   
   # Ruby supports destructuring bind for arrays: a, b, c = [1, 2, 3]
   one, two, three = foo
   

3. Çoğu zaman, çoklu geri dönüş değerlerine bile ihtiyacınız yoktur. Örneğin, popüler bir model, alt rutinin bir hata kodu döndürmesi ve gerçek sonucun referans ile geri yazılmasıdır. Bunun yerine, hata beklenmeyen bir durumsa, bir istisna atmanız veya bir Either<Exception, T>hata olması durumunda döndürmeniz gerekir . Bir başka model, işlemin başarılı olup olmadığını belirten bir boole döndürmek ve gerçek sonucu referans olarak döndürmektir. Yine, başarısızlık beklenmiyorsa, bunun yerine bir istisna atmalısınız, başarısızlık bekleniyorsa, örneğin bir sözlükte bir değer ararken, Maybe<T>bunun yerine bir geri dönmelisiniz.

Referansa göre by-pass değerine göre daha verimli olabilir, çünkü değeri kopyalamanız gerekmez.

(Anladığım kadarıyla Haskell referans tarafından geçti ancak emin değilim).

Hayır, Haskell referans yoluyla değil. Aynı zamanda değer geçişi de değildir. Referansa göre geçiş ve değere göre geçiş değeri hem katı değerlendirme stratejileridir, hem de Haskell katı değildir.

Aslında, Haskell Spesifikasyonu herhangi bir özel değerlendirme stratejisi belirtmemektedir . Hakell uygulamalarının çoğu, isim-arama ve ihtiyaç-arama (not ile bir arama-arama varyantı) karışımını kullanır, ancak standart bunu zorunlu kılmaz.

Sıkı diller için bile, referans dilleri veya referans by pass değerleri arasında ayrım yapmanın bir anlamı yoktur, çünkü aralarındaki fark ancak referansı değiştirirseniz görülebilir. Bu nedenle, uygulayıcı dil anlamını bozmadan, ikisi arasında seçim yapmakta serbesttir.

Dilin çağıran modeline, argüman türüne ve dilin bellek modellerine bağlı olarak farklı davranışlar vardır.

Basit yerel türlerde, değere göre geçirmek, değeri kayıtlara göre iletmenizi sağlar. Bu değer çok hızlı olabilir çünkü değerin bellekten yüklenmesi gerekmemektedir. Benzer bir optimizasyon, yalnızca, callee onunla yapıldığında, argüman tarafından kullanılan hafızayı yeniden kullanarak, nesnenin arayan kopyasını karıştırmama riski olmadan da mümkündür. Eğer argüman geçici bir nesne olsaydı, muhtemelen tam bir kopyasını kaydetmiş olacaktınız (C ++ 11 bu tür bir optimizasyonu yeni sağ referans ve onun taşıma anlamında daha da belirginleştiriyor).

Birçok OO dilinde (C ++ bu bağlamda bir istisnadır), bir nesneyi değerden geçiremezsiniz. Referans olarak geçmek için zorlanıyorsunuz. Bu, kodu varsayılan olarak polimorfik hale getirir ve OO'ya uygun örnekler kavramıyla satır içidir. Ayrıca, değere göre geçmek istiyorsanız, bu tür bir işlemi yapan performansın maliyetini kabul ederek kendiniz bir kopyasını almalısınız. Bu durumda, dil sizin için en iyi performansı vermesi daha muhtemel olan yaklaşımı seçer.

İşlevsel dillerde, değer veya referansa göre geçen sadece bir optimizasyon meselesidir. Bu gibi bir dilde işlevler saf ve yan etkilerden arındırılmış olduğundan, hız dışında değeri kopyalamak için hiçbir neden yoktur. Bu dilin genellikle aynı değerlere sahip nesnelerin aynı kopyasını paylaştığından bile eminim, ancak bir geçiş (const) referans semantik kullandıysanız kullanılabilecek bir olasılık. Python ayrıca, bu numarayı Python'da neden tamsayı ve dizgelerin sabit nesneler olduğunu açıklayan tamsayı ve ortak dizgiler (yöntemler ve sınıf isimleri gibi) için de kullandı. Bu ayrıca, örneğin içerik karşılaştırması yerine işaretçi karşılaştırmasına izin vererek ve bazı dahili verilerin tembel değerlendirmesini yaparak kodu tekrar en iyi duruma getirmeye yardımcı olur.

Bir ifadeyi değerine göre iletebilirsiniz, bu doğaldır. İfade (geçici) referansla iletiliyor ... garip.

Eğer referans ile geçerseniz, global kürelerin tüm sorunlarıyla (kapsam ve istenmeyen yan etkiler gibi) her zaman etkin bir şekilde çalışıyorsunuzdur.

Referanslar, tıpkı globaller gibi, bazen yararlı olabilir, ancak ilk tercihiniz olmamalıdır.