Python'un functools.singledispatch, PEP 443 ile tanıtıldı ve Python 3.4 sürümünde dilde genel fonksiyon yetenekleri sunmak için yayımlandı. Clojure ve Julia'daki benzer özelliklerden ilham alarak, geliştiricilerin ilk argümanının türüne göre farklı davranan tek bir fonksiyon adı yazmalarına olanak tanır. Bu, isinstance() zincirleri veya manuel yönlendirme tabloları kullanma alışkanlığını ortadan kaldırarak kodu karmaşadan kurtarıp açık/kapalı ilkesine uygunluğunu artırır.
Standartlaştırılmış bir yönlendirme mekanizması olmadan, geliştiricilerin farklı veri türlerini ele almak için fonksiyonlar içinde ad-hoc tür kontrolleri uygulamaları gerekir. Bu, yeni bir tür için destek eklemenin, orijinal fonksiyon kaynağını değiştirmeyi zorunlu kıldığı ve genişletilebilirliği bozduğu sıkı bağlılığa yol açar. Ayrıca, sanal alt sınıflar ve soyut temel sınıflar, en iyi eşleşen uygulamanın belirlenmesi için zamanlamalı MRO (Metot Çözüm Sırası) gezintisi gerektirdiğinden, statik yönlendirme tabloları için zorluklar sunar.
Uygulama, tür nesnelerini karşılık gelen işleyici fonksiyonlarına eşleyen dahili bir _registry sözlüğü kullanır. Genel fonksiyon çağrıldığında, ilk argümanın türünü çıkarır ve bir arama gerçekleştirir. Eğer tam tür bulunamazsa, türün MRO'su ile en yakın kaydedilmiş üst sınıfı bulmak için gezintiye başlar. register() metodu, bu kaydı dolduran bir dekoratör fabrikası işlevi görür. Soyut temel sınıflara register() ile kaydedilmiş sanal alt sınıflar için, dispatcher, hiçbir somut tür eşleşmiyorsa kaydedilmiş soyut türler karşısında isinstance() kontrolü yaparak kalıtımsız yönlendirmeye olanak tanır.
from functools import singledispatch from abc import ABC class Shape(ABC): pass class Circle(Shape): def __init__(self, radius): self.radius = radius @singledispatch def area(obj): raise NotImplementedError("Desteklenmeyen tür") @area.register(Circle) def _(obj): return 3.14 * obj.radius ** 2 # Sanal alt sınıf desteği @area.register(Shape) def _(obj): return "Soyut şekil alanı"
Birden fazla kaynaktan - JSON, XML ve CSV - dosyaları tüketen bir veri işleme hattını düşünün; her biri farklı ayrıştırma mantığını gerektiriyor ancak standartlaştırılmış bir iç temsil üretiyor. İlk uygulama, parse_data(data, file_type) fonksiyonunu büyük bir if/elif/else bloğuyla kullanıyordu ve bu blok isinstance veya dize tanımlayıcıları kontrol ediyordu. Yeni formatlar eklendikçe bakım zorlaşmaya başladı ve bu, temel fonksiyonu değiştirmeyi ve regrese riskler yaratmayı gerektiriyordu.
Alternatif bir çözüm Ziyaretçi deseni idi, bu desen ayrıştırma algoritmalarını veri yapılarına ayırıyor. Bu, açık/kapalı ilkesini zorunlu kılarken, ziyaretçi sınıfları için paralel bir hiyerarşi oluşturmayı ve kabul etme yöntemlerini gerektiriyordu, bu da basit tür tabanlı yönlendirme için önemli ölçüde zaman kaybına sebep oluyordu. Ayrıca, veri yapıları karmaşık nesneler yerine basit dize veya baytlar olduğunda bu desen sıkıcı hissettirebiliyor.
Düşünülen bir diğer yaklaşım ise tür tanımlayıcılarını işleyici fonksiyonlara eşleyen bir manuel yönlendirme sözlüğü oluşturmaktı. Bu, kaydı uygulamadan ayırmakta, ancak Python'un tür sistemi ile entegrasyonu eksik kalmakta. Bu, kalıtım hiyerarşilerini veya soyut temel sınıfları otomatik olarak işleyemez, geliştiricileri her çağrı noktasında en iyi işleyiciyi belirlemek için MRO ile gezintiye zorlar, bu da hata yapmaya açık ve tekrarlayıcı bir yaklaşımdır.
Ekip, functools.singledispatch'i seçti çünkü bu tür tabanlı yönlendirme için birinci sınıf destek sağlamakta, otomatik MRO çözümü sunmakta ve temiz bir dekoratör tabanlı kayıt sözdizimi sağlamaktadır. Bu, üçüncü taraf kütüphanelerinin yeni formatlar için ayrıştırma desteğini genişletmesine olanak tanımakta ve temel kütüphane kodunu değiştirmeden yeni formatları eklemelerine izin vermekte. Sonuç olarak, ayrıştırma modülündeki satır sayısında %40 azalma oldu ve her format artık kendi bağımsız kayıt bloğunda yer alarak yeni format işleyicilerini eklerken birleştirme çatışmalarını ortadan kaldırdı.
singledispatch kayıtlı değilse doğru uygulamayı nasıl çözer ve Metot Çözüm Sırası (MRO) ne rol oynar?
Genel fonksiyon, kayıtta açıkça yer almayan bir türde argüman aldığında, dispatcher bu argümanın sınıf hiyerarşisini type(obj).__mro__ ile inceler. MRO demetinde - nesnenin sınıfının ardından gelen üst sınıflar, sıralanma düzenine göre - gezinir ve bu sıradaki bir tür ile ilişkili ilk kaydedilmiş fonksiyonu döndürür. Bu, bir üst sınıfa kayıtlı bir işleyici varsa, onun alt sınıflarının örneklerini düzgün bir şekilde ele almasını sağlar ve Liskov Değiştirme İlkesini (LSP) korur. Tüm MRO'yu gezdikten sonra eşleşme bulunamazsa, dispatcher @singledispatch ile kaydedilmiş orijinal fonksiyona geri döner, bu genellikle NotImplementedError fırlatır.
Var olan bir fonksiyonu (dekoratör olmayan) veya bir lambda'yı singledispatch ile kaydedebilir misiniz, ve bir türü kaydını geri almak için sözdizimi nedir?
Evet, mevcut fonksiyonları işlevsel biçimde kaydedebilirsiniz: generic_func.register(target_type, existing_function). Bu, başka bir yerde tanımlanmış bir fonksiyona veya bir lambda'ya yönlendirmek istediğinizde yararlıdır: process.register(int, lambda x: x * 2). Bir türü kaydetmekten vazgeçmek için, o türü kaydımzda None ile eşitlemelisiniz: process.registry[int] = None. Bu, belirli işleyiciyi kaldırır ve o tür için gelecekteki yönlendirmelerin en iyi yaklaşımı bulmak veya varsayılan uygulamaya devretmesine neden olur. Adaylar genellikle bunu atlar çünkü belgelerde dekoratör sözdizimi vurgulanırken, zorunlu API daha az belirgindir.
functools.singledispatchmethod ve singledispatch arasındaki fark nedir ve neden ayrı bir uygulama gereklidir?
singledispatchmethod yöntemler için gereklidir çünkü singledispatch, fonksiyonun ilk argümanı olan self üzerinde çalışır. Eğer singledispatch doğrudan bir yönteme uygulanırsa, bu self nesnesinin türüne göre değil, sonraki argümanların türüne göre yönlendirme yapar. singledispatchmethod, dağıtım mantığını bağlama sürecinden ayırmak için tanımlayıcı protokolü kullanır: önce self'i bağlar, sonra kalan argümanlar için tür dağıtımını uygular. Bu, self'in türünün beklenen dağıtım hedefi ile çelişmemesini sağlar ve yöntemlerin ilk self olmayan argümanın türüne göre aşırı yüklenmesini mümkün kılar, C++ veya Java'nın yöntem aşırı yüklemesini nasıl ele aldığının benzerine.