Derleme zamanında dizinleri kontrol etmek mümkün olmadığından. Rastgele değişkenlerin muhtemel değerleri üzerine düşünmek, küçük programlar için bile zor ve imkansız arasında bir yerdedir. her için ...
- resmen endeks sınırların dışında olamayacağını kanıtlamak ve tipi sisteminin
içine
kodlamak olduğunun kanıtıdır: Kimse zorunda istiyor dilim/Vec/vb. erişim. Çünkü derleme zamanında sınır denetimleri yapmak için yapmanız gereken budur. Esasen bağımlı yazım gerekiyor. Muhtemelen tip kontrolü kararsız hale getirmenin yanı sıra (ve bir programın çok daha zorlu bir şekilde yazılmasını sağlama), türün çıkarımı genel olarak imkansız hale gelir (ve en iyi durumda çok daha kısıtlı), türler çok daha karmaşık ve endişeli olur ve karmaşıklığı dil önemli ölçüde artmaktadır. Bu endeksler sınırlıdır, ancak çok basit durumlarda önemli ek programcı çabaları olmadan kanıtlanabilir. Ayrıca, sınır kontrollerinden kurtulmak için çok az teşvik vardır. Yaşam süreleri, çöp toplama ihtiyacını neredeyse tamamen ortadan kaldırarak ağırlıklarını çekmektedir - bu, öngörülemeyen iş hacmi, uzam ve gecikme etkileri olan devasa, istilacı bir özelliktir. Öte yandan, çalışma zamanı sınırları çok invaziv değildir, küçük ve iyi bilinen bir ek yüke sahiptir ve programın geri kalanı serbestçe kullansa bile performans açısından kritik bölümlerde seçici olarak kapatılabilir.
olası yinelemesi [Neden Rust derleyicisi dizin dışı sınırlara izin veriyor?] (Http://stackoverflow.com/questions/24898579/why-does-rust-compiler-allow-index-out-of-bounds) – Shepmaster