İfade sorununa çözüm olarak Clojure defprotocol

Question

"Clojure Joy" adlı kitapta,ifade sorunu için bir çözüm olarak sunulur - "varolan bir varolan soyut yöntemler kümesini uygulama isteği Ya da tanımlayan kodu değiştirmek zorunda kalmadan beton sınıfı. " aşağıdaki gibi verilen

örnektir:

(defprotocol Concatenatable 
    (cat [this other])) 

(extend-type String 
    Concatenatable 
    (cat [this other] 
    (.concat this other))) 

(cat "House" " of Leaves") 
;=> "House of Leaves" 

(extend-type java.util.List 
    Concatenatable 
    (cat [this other] 
    (concat this other))) 

(cat [1 2 3] [4 5 6]) 
;=> (1 2 3 4 5 6) 

Java gibi bir dilde mümkün olmadığını ileri sürülmektedir, ama nasıl aşağıdaki farklıdır?

public class Util { 
    public static String cat(final String first, 
          final String second) { 
    return first.concat(second); 
    } 

    public static <T> List<T> cat(final List<T> first, 
           final List<T> second) { 
    final List<T> list = new List<T>(first); 
    list.addAll(second); 
    return list; 
    } 
} 

Sonuçta, iki benzer şekilde kullanılır:

(cat "House" " of Leaves") 
Util.cat("House", " of Leaves"); 

Clojure fonksiyonu catString ve List sınıfları yöntemolmayan bir olmakla birlikte, bağımsız bir fonksiyonu ziyade bu ya String veya List argümanları kabul etmek aşırı yüklendi.

Gerçekten Clojure gibi, bu yapı için üstünlük iddiaları anlamıyorum rağmen.

Answer 1

tamam. Sen tantanalı bu cat Java kütüphanesi bırakın ve herkes indirir. O ben concatenable nesneler üzerinde işlem kitaplığınızın bit göndermek böylece kendi TVCommercial tipi concatenable olmak yapmak istiyorum harika.

Ama yapamam çünkü TVCommercial için aşırı yüklenme olan Util.cat(obj1, obj2) numaralı telefonu arayın. Kodlarımı işlemek için kodunuzu genişletemiyorum çünkü kodunuzun sahibi ben değilim.

bu sorunu çözmek için bir arayüz olarak Concatenable tanımlayabiliriz:

interface Concatenable { 
    Concatenable cat(Concatenable other); 
} 

Ama şimdi cat s kolları Bilmiyorum Concatenable ve hem de bir sınıf ... Bir AnimalHandler, yazamıyor . Clojure'ın protokolleri her iki problemi de dağıtım işlevlerini ve uygulamalarını merkezden uzaklaştırarak çözüyor: tek bir yerde değil, her yerde yaşıyorlar.Java'da, seçtiğiniz arası:

tek anahtarı/kasanın içine tüm tip sevk koyarak
• veya aşırı yöntemle

Clojure temelde yapar belli bir isme sahip bir yöntemi zorunlu bir arayüz tanımlama o isimalanlı isimleri kullanması nedeniyle USPMGA ama, cat iyi işlev adı olduğunu düşünüyorum diğer protokolleri ile çatışma tehlikesi yoktur.

Answer 2

cat işlevinizi uygulamak istediğiniz yeni bir tür her seferinde gelirse, Util sınıfınızı yeniden açmanız ve yeni hedef türleri için yöntem aşırı yüklemeleri eklemeniz gerekir.

İfade Sorunu, bu tür gereksinimlerin önüne geçmeyi amaçlamaktadır, öyle ki, yeni tiplerin tanımlanmasıyla mevcut türler rahatsız edilmemekte ve mevcut operasyonlar bu operasyonlara katılmak isteyen yeni tipler tarafından bozulmamaktadır. Yayımlanmış protokole yeni bir işlev eklemek gibi, ilk golü yerine getirmemesi Burada gösterilen Clojure protokol örneği her türlü hangi protokolü zaten yeni yöntem için bir uygulama tanımlamak uzatılır için gerektirir.