Anlama listesi, anlama kapsamından sonra bile isimleri yeniden bağlar. Bu doğru mu?

Kavrayışlar, kapsam belirleme ile bazı beklenmedik etkileşimler yaşıyor. Bu beklenen davranış mı?

Bir yöntemim var:

def leave_room(self, uid):
  u = self.user_by_id(uid)
  r = self.rooms[u.rid]

  other_uids = [ouid for ouid in r.users_by_id.keys() if ouid != u.uid]
  other_us = [self.user_by_id(uid) for uid in other_uids]

  r.remove_user(uid) # OOPS! uid has been re-bound by the list comprehension above

  # Interestingly, it's rebound to the last uid in the list, so the error only shows
  # up when len > 1

Sızlanma riski altında, bu acımasız bir hata kaynağıdır. Yeni kod yazarken, yeniden bağlama nedeniyle ara sıra çok tuhaf hatalar buluyorum - şimdi bile bunun bir sorun olduğunu biliyorum. "Her zaman alt çizgi ile liste anlayışlarında geçici değişkenlere önsöz" gibi bir kural yapmam gerekiyor, ama bu bile aptalca bir kanıt değil.

Bu rastgele saatli bomba bekleme türünün olması, liste anlayışlarının tüm hoş "kullanım kolaylığını" geçersiz kılar.

Liste anlayışları Python 2'de döngü kontrol değişkenini sızdırıyor ancak Python 3'te değil. İşte Guido van Rossum (Python'un yaratıcısı) bunun arkasındaki geçmişi açıklıyor :

Ayrıca Python 3'te, liste anlayışları ve oluşturucu ifadeleri arasındaki denkliği geliştirmek için başka bir değişiklik yaptık. Python 2'de, liste kavrayışı döngü kontrol değişkenini çevreleyen kapsama "sızdırır":

x = 'before'
a = [x for x in 1, 2, 3]
print x # this prints '3', not 'before'

Bu, liste anlamalarının orijinal uygulamasının bir ürünüdür; Yıllardır Python'un "kirli küçük sırlarından" biriydi. Liste anlamalarını kör edici derecede hızlı hale getirmek için kasıtlı bir uzlaşma olarak başladı ve yeni başlayanlar için yaygın bir tuzak olmasa da, kesinlikle ara sıra insanları soktu. Jeneratör ifadeleri için bunu yapamadık. Üreteç ifadeleri, yürütülmesi ayrı bir yürütme çerçevesi gerektiren üreteçler kullanılarak gerçekleştirilir. Bu nedenle, oluşturucu ifadeler (özellikle kısa bir dizide yineleniyorlarsa) liste anlamalarından daha az etkiliydi.

Bununla birlikte, Python 3'te, liste anlamalarının "kirli küçük sırrını", jeneratör ifadeleriyle aynı uygulama stratejisini kullanarak düzeltmeye karar verdik. Bu nedenle, Python 3'te, yukarıdaki örnek (print (x) :-) kullanmak için değişiklik yapıldıktan sonra :-) 'önce' yazdıracak ve listedeki 'x'in geçici olarak gölgelediğini ancak çevredeki' x'i geçersiz kılmadığını kanıtlayacaktır. dürbün.

Evet, liste anlamaları, tıpkı döngüler için olduğu gibi Python 2.x'te de değişkenlerini "sızdırır".

Geriye dönüp bakıldığında, bu bir hata olarak kabul edildi ve jeneratör ifadeleri ile önlendi. DÜZENLEME: Matt B.'nin belirttiği gibi gibi, set ve sözlük anlama sözdizimleri Python 3'ten geri yüklendiğinde de kaçınıldı.

Liste anlama davranışının Python 2'de olduğu gibi bırakılması gerekiyordu, ancak Python 3'te tamamen düzeltildi.

Bu şu anlama gelir:

list(x for x in a if x>32)
set(x//4 for x in a if x>32)         # just another generator exp.
dict((x, x//16) for x in a if x>32)  # yet another generator exp.
{x//4 for x in a if x>32}            # 2.7+ syntax
{x: x//16 for x in a if x>32}        # 2.7+ syntax

xher zaman bu süre ifadeye yerel:

[x for x in a if x>32]
set([x//4 for x in a if x>32])         # just another list comp.
dict([(x, x//16) for x in a if x>32])  # yet another list comp.

Python 2.x'te tümü xdeğişkeni çevreleyen kapsama sızdırır .

Python 3.8 (?) İçin GÜNCELLEME : PEP 572 , kasıtlı olarak kavrayışlardan ve oluşturucu ifadelerinden sızan:= atama operatörünü tanıtacak ! Temelde 2 kullanım durumu ile motive edilir: ve gibi erken sonlandırıcı işlevlerden bir "tanık" yakalamak :any()all()

if any((comment := line).startswith('#') for line in lines):
    print("First comment:", comment)
else:
    print("There are no comments")

ve değiştirilebilir durum güncelleniyor:

total = 0
partial_sums = [total := total + v for v in values]

Tam kapsam için Ek B'ye bakın . Değişken, en yakın çevrelere atanır defveya lambdabu işlev nonlocalveya belirtmediği sürece global.

Evet, atama tıpkı bir fordöngüde olduğu gibi orada gerçekleşir . Yeni kapsam oluşturulmuyor.

Bu kesinlikle beklenen davranıştır: her döngüde, değer belirttiğiniz ada bağlıdır. Örneğin,

>>> x=0
>>> a=[1,54,4,2,32,234,5234,]
>>> [x for x in a if x>32]
[54, 234, 5234]
>>> x
5234

Bir kez farkına vardıktan sonra, kaçınılması yeterince kolay görünüyor: anlama içindeki değişkenler için mevcut isimleri kullanmayın.

İlginç bir şekilde bu, sözlüğü veya küme anlayışlarını etkilemez.

>>> [x for x in range(1, 10)]
[1, 2, 3, 4, 5, 6, 7, 8, 9]
>>> x
9
>>> {x for x in range(1, 5)}
set([1, 2, 3, 4])
>>> x
9
>>> {x:x for x in range(1, 100)}
{1: 1, 2: 2, 3: 3, 4: 4, 5: 5, 6: 6, 7: 7, 8: 8, 9: 9, 10: 10, 11: 11, 12: 12, 13: 13, 14: 14, 15: 15, 16: 16, 17: 17, 18: 18, 19: 19, 20: 20, 21: 21, 22: 22, 23: 23, 24: 24, 25: 25, 26: 26, 27: 27, 28: 28, 29: 29, 30: 30, 31: 31, 32: 32, 33: 33, 34: 34, 35: 35, 36: 36, 37: 37, 38: 38, 39: 39, 40: 40, 41: 41, 42: 42, 43: 43, 44: 44, 45: 45, 46: 46, 47: 47, 48: 48, 49: 49, 50: 50, 51: 51, 52: 52, 53: 53, 54: 54, 55: 55, 56: 56, 57: 57, 58: 58, 59: 59, 60: 60, 61: 61, 62: 62, 63: 63, 64: 64, 65: 65, 66: 66, 67: 67, 68: 68, 69: 69, 70: 70, 71: 71, 72: 72, 73: 73, 74: 74, 75: 75, 76: 76, 77: 77, 78: 78, 79: 79, 80: 80, 81: 81, 82: 82, 83: 83, 84: 84, 85: 85, 86: 86, 87: 87, 88: 88, 89: 89, 90: 90, 91: 91, 92: 92, 93: 93, 94: 94, 95: 95, 96: 96, 97: 97, 98: 98, 99: 99}
>>> x
9

Ancak yukarıda belirtildiği gibi 3'te düzeltildi.

Bu davranış arzu edilmediğinde python 2.6 için bazı geçici çözümler

# python
Python 2.6.6 (r266:84292, Aug  9 2016, 06:11:56)
Type "help", "copyright", "credits" or "license" for more information.
>>> x=0
>>> a=list(x for x in xrange(9))
>>> x
0
>>> a=[x for x in xrange(9)]
>>> x
8

Python3'te liste anlayışındayken değişken, kapsamı bittikten sonra değişmiyor, ancak basit döngü kullandığımızda değişken kapsam dışında yeniden atanıyor.

i = 1 baskı (i) baskı ([i (5) aralığında]) baskı (i) i'nin değeri sadece 1 olarak kalacaktır.

Şimdi sadece döngü için kullanın, i'nin değeri yeniden atanacaktır.