Seçenek / Belki neden iyi bir fikir olarak kabul edilir ve kontrol edilen istisnalar değildir?

Örneğin, Scala gibi bazı programlama dilleri , ya bir değer içerebilen ya da içermeyen Optiontip kavramına (ayrıca adlandırılır Maybe) sahiptir.

Onlar hakkında okuduklarımdan, bu meseleyle baş etmekten daha üstün bir yol olarak kabul edilirler null, çünkü programcıyı açıkça çalışma zamanı sırasında havaya uçurmak yerine bir değerin bulunmadığı durumları göz önünde bulundurmaya zorlarlar.

Diğer yandan Java’daki Denetlenen İstisnalar, kötü bir fikir olarak görülüyor ve Java, bunları uygulayan tek yaygın kullanılan dil gibi görünüyor. Ancak, onların arkasındaki fikir Option, programcıyı bir istisna ortaya çıkabileceği gerçeğiyle başa çıkmak için açıkça zorlamak için tipe biraz benziyor .

OptionTürlerin sahip olmadığı işaretli İstisnalar ile ilgili ek sorunlar var mı? Ya da bu fikirler düşündüğüm kadar benzemiyor mu, ve İstisnalar için değil Seçenekler için açık işlem yapmaya zorlamak için iyi nedenler var mı?

Çünkü Options beste edilebilir. Hakkında yararlı yöntemlerden bir yeri vardır Optionhala akışına hassas kontrol izin verirken sen özlü kod yazmak için izin,: map, flatMap, toList, flattenve daha fazlası. Bunun nedeni, Optionbelli bir tür monad olması, nasıl besleneceğini çok iyi bildiğimiz bazı nesneler. Bu yöntemlere sahip değilseniz ve her zaman açık Optionolan bir eşleme deseni yapmak zorundaysanız ya da isDefinedsık sık aradıysanız, neredeyse kadar kullanışlı olmazlardı.

Bunun yerine, kontrol edilen istisnalar bir miktar güvenlik sağlarken, onları yakalamak veya yığınını kabarmalarına izin vermekten başka bir şey yapamazsınız (tip beyanında eklenen boyler ile).

Bununla birlikte, istisnalar ve Belki nesneleri aynı tip problemlerle ilgilenmez.

İstisnalar

İstisnai durumlar, yerel olmayan istisnai bir durumla (bazı durumlarda hata olur) başa çıkmanız gerektiğinde parlar. Örneğin, bir csv'yi ayrıştırıyorsunuz ve kendinizi yanlış biçimlendirme ile satırlara karşı korumak istiyorsunuz. Bir şeyin yanlış olduğunu bulduğunuz yer, bazı işlevler satır yinelemesinden uzaklaşıyor olabilir. En üst düzeyde bir istisna atarsanız (biçimlendirme sorununu öğrendiğiniz yerde), onu döngüde yakalayabilir, hatayı günlüğe kaydedebilir ve bir sonraki satıra geçebilirsiniz. Kodun geri kalanındaki hiçbir şeyi değiştirmeniz gerekmez.

Kontrol edilen istisna çok fazla acı ekler çünkü tüm ara işlevler atılabilir türü bildirmek zorundadır. Bu özellik orijinal amacı yitirir, bu yüzden bugünlerde popüler değillerdir.

Belki nesneler

Belki yerel olarak bir "başarısızlık" ile başa çıkarken nesneler seçilmelidir. Bu anlamda, bunlar bir başvuru kodu + pass'ın referans apı ya da null türüne göre değiştirilmeleridir.

Belki nesnesinin avantajı, açıkça bir şeyin yanlış olabileceğini beyan etmenizdir. Haskell'de, belki olmayan bir nesnenin değeri olmalı, yoksa program derlenmeyecek.

NULL olabilecek tiplerle ilgili sorun, tamamen güvenli olması için null değerini kontrol etmeniz gerektiğidir. "Bir şeyler yanlış olabilir" durumu varsayılandır.

Dönüş kodları + ref apis tarafından verilen sorun, çoğu insan için daha az okunabilir olmalarıdır.

çünkü Maybedeğere gerçekten ihtiyacınız olana kadar hatayı işlemeyi erteleyebilirsiniz (bu, birkaç yöntem çağırılabilir)

kontrol istisna oysa ihtiyacı çağrı yerde ele alınması

istisnaların tek sebebi, neden başarısız olduğu hakkında daha fazla bilginin aktarılmasıdır (eğer MaybeErrorbir hata olduğunda bir atılabilir alan bulunan bir kimse yoksa )