Python'da kapanışlar, değişkenleri değer yerine referansla yakalar; bu durum, LEGB (Yerel, Kapsayıcı, Global, Yerleşik) arama mekanizması ile tanımlanan dilin sözcüksel kapsam kurallarını izler. Bir işlev bir döngü içinde tanımlandığında, o anda sahip olduğu değeri değil, değişken adını kapsar; dolayısıyla, işlev döngü tamamlandıktan sonra çağrıldığında, kapsayıcı kapsamda değişkeni bulur ve yalnızca son atanan değeri görür. Bu davranış, adın çözümlemesini çalışma zamanına ertelediği için geç bağlama (late binding) olarak bilinir ve varsayılan argümanlar yalnızca tanım zamanı değerlendirilir. Erken bağlama sağlamak için geliştiriciler, varsayılan argüman ifadesinin derhal değerlendirilmesini sağlayarak yerel bir parametre içinde geçerli yineleme değerini yakalamak için lambda x=x: ... veya def func(x=x): ... kalıbını kullanır.
Bir Flask uygulaması için arka planda çalışanların yapılandırma dosyalarına dayanarak dinamik olarak planlandığı bir veri işleme hattı geliştirirken, geliştirici belirli ayrıştırıcıları tetiklemek için her dosya türü için lambda geri çağırmaları oluşturan bir kayıt döngüsü yazar, for file_type in ['csv', 'json', 'xml']: callbacks.append(lambda: process(file_type)) kullanır. Uygulama çalıştığında, her geri çağırma beklenmedik bir şekilde yalnızca XML dosyalarını işler çünkü tüm kapanışlar aynı file_type değişkenini referans alır ve bu değişken döngü sona erdikten sonra 'xml' değerini alır.
Varsayılan argümanlar kullanarak: lambda ft=file_type: process(ft) ile yeniden yapılandırmak, her lambda'nın geçerli file_type değerini tanım anında değerlendirilen bir varsayılan parametre olarak yakalamasını sağlar. Artıları: Minimum kod değişikliği gerektirir ve sözdizimsel olarak özlü kalır. Eksileri: Kalıba aşina olmayan arayıcıları şaşırtan işlev imzasına parametreler ekler ve çok sayıda yakalanan değişken gerektiren durumlarda iyi ölçeklenmez.
Bir fabrika işlevi kullanarak: def make_handler(ft): return lambda: process(ft) gibi özel bir yapıcı oluşturmak, her değeri kendi kapsayıcı kapsamına izole eder. Artıları: Niyeti açıkça gösterir, imza kirliliğinden kaçınır ve karmaşık başlatma mantığını temiz bir şekilde yönetir. Eksileri: Basit durumlar için aşırı görünebilecek ek bir boilerplate ve yönlendirme ekler.
functools.partial kullanarak: Lambda'yı functools.partial(process, file_type) ile değiştirmek, argümanı hemen bağlar ve döngü değişkeni üzerinde kapanış oluşturmaz. Artıları: Açık ve lambda maliyetlerinden kaçınan fonksiyonel programlama yaklaşımıdır. Eksileri: Geri çağırma içinde dönüşümler için daha az esnek ve functools'u içe aktarmayı gerektirir.
Seçilen çözüm: Varsayılan argüman kalıbı, bu basit geri çağırma senaryosundaki kısalığı için seçildi, ancak fabrika yaklaşımı gelecekteki karmaşık işleyiciler için belgelenmiştir.
Sonuç: Hattın düzgün bir şekilde CSV dosyalarını CSV ayrıştırıcısına, JSON dosyalarını JSON ayrıştırıcısına ve XML dosyalarını XML ayrıştırıcısına yönlendirdiği ve her geri çağırmanın bağımsız durumu koruduğu belirtildi.
Döngüler içindeki işlevleri tanımlayan liste anlama yapıları neden bu geç bağlama sorununu yaşamaz, bununla birlikte döngüler içerir?
Python 3'teki liste anlama yapıları kendi yerel kapsamlarında çalışır ve oluşturma sırasında ifadeleri hemen değerlendirir, böylece mevcut değeri işleve yaratım zamanı bağlar ve arama yapmayı ertelemekten kaçınır. Tamamlandığında döngü değişkeni i, kapsayıcı ad alanında kalırken, anlama yapısının yineleyici değişkeni yerel kapsamda ve her yineleme için farklıdır, bu da paylaşılan referans sorununu önler. Ek olarak, eğer işlev anlama içinde hemen çağrılırsa (örneğin, [f(i) for i in range(5)]), değer doğrudan çağrı yığınına iletilir ve kapanış mekanizmaları tamamen atlanır.
Döngüde işlevler oluştururken def handler(data=[]): gibi değiştirilebilir varsayılan argümanlar kullanmak kapanış yakalamasıyla nasıl etkileşir?
Değiştirilebilir varsayılanlar, herhangi bir varsayılan argüman gibi tanım zamanında değerlendirilir; ancak, değiştirilebilir nesne bir kez oluşturulur ve döngü bağlamının dışında def ifadesi yer aldığında tüm işlev tanımları arasında paylaşılır. data=data ile bir fabrika işlevi veya lambda içinde kullanıldığında, o anda referansı doğru bir şekilde yakalar, ancak aynı değiştirilebilir varsayılanı birden fazla kapanış yakalarsa, bir kapanış içindeki değişiklikler beklenmedik şekilde diğerlerini etkiler çünkü paylaşılan bir durum söz konusudur. Bu, kapanışların bağımsız görünmesine rağmen aslında paylaşılan veri yapılarını barındırdığına dair ince bir hataya yol açar ve çapraz kontaminasyonu önlemek için değiştirilemez varsayılanlar veya dahili başlatma ile açık None kontrolleri gerektirir.
Eğer döngü değişkeni kapsayıcı bir işlev kapsamındaysa, bu sorunu nonlocal anahtar kelimesi çözebilir mi?
Hayır, nonlocal, iç içe geçmiş işlevlerin en yakın kapsayıcı kapsamda bağlamaları değiştirmesine açıkça olanak tanır, ancak her yineleme için yeni bir bağlama oluşturmaz; tüm kapanışlar hâlâ kapsayıcı kapsamın değişken ortamındaki tam aynı hücreyi referans alır. Bir kapanış içindeki yakalanan değişkeni değiştirmek için nonlocal kullanmak, aynı döngüde oluşturulan tüm diğer kapanışlar için görünen değeri değiştirecektir ve bu da ardışık yan etkiler ve eşzamanlı bağlamlarda yarış koşulları doğurur. Her kapanış için ayrı veri saklama alanları kurmak için hâlâ varsayılan argümanlar veya fabrika işlevleri kullanılmalıdır.