ความเข้าใจในรายการจะย้อนชื่อแม้จะอยู่ในขอบเขตของความเข้าใจ นี่ใช่มั้ย?


118

ความเข้าใจกำลังมีปฏิสัมพันธ์ที่ไม่คาดคิดกับการกำหนดขอบเขต นี่คือพฤติกรรมที่คาดหวังหรือไม่?

ฉันมีวิธีการ:

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

ที่เสี่ยงต่อการส่งเสียงหอนนี่เป็นแหล่งที่มาของข้อผิดพลาด ในขณะที่ฉันเขียนโค้ดใหม่บางครั้งฉันก็พบข้อผิดพลาดแปลก ๆ เนื่องจากการกรอกลับ - แม้ว่าตอนนี้ฉันจะรู้แล้วว่ามันมีปัญหา ฉันจำเป็นต้องสร้างกฎเช่น "always preface temp vars in list comp understandions with underscore" แต่ถึงอย่างนั้นก็ไม่สามารถพิสูจน์ได้

ความจริงที่ว่ามีการรอระเบิดเวลาแบบสุ่มนี้จะลบล้าง "ความสะดวกในการใช้งาน" ที่ดีทั้งหมดของความเข้าใจในรายการ


7
-1: "แหล่งที่มาของข้อผิดพลาดที่โหดร้าย"? แทบจะไม่ เหตุใดจึงเลือกใช้คำโต้แย้งเช่นนี้ โดยทั่วไปข้อผิดพลาดที่แพงที่สุดคือความเข้าใจผิดเกี่ยวกับข้อกำหนดและข้อผิดพลาดทางตรรกะง่ายๆ ข้อผิดพลาดประเภทนี้เป็นปัญหามาตรฐานในภาษาโปรแกรมหลายภาษา ทำไมถึงเรียกว่า 'โหด'?
ล็อตต์

44
มันละเมิดหลักการของความประหลาดใจน้อยที่สุด นอกจากนี้ยังไม่ได้กล่าวถึงในเอกสาร python เกี่ยวกับความเข้าใจในรายการซึ่งกล่าวถึงหลายครั้งว่าง่ายและสะดวกเพียงใด โดยพื้นฐานแล้วมันเป็นดินแดนของฉันที่มีอยู่นอกรูปแบบภาษาของฉันและด้วยเหตุนี้ฉันจึงไม่สามารถคาดการณ์ได้
Jabavu Adams

33
+1 สำหรับ "แหล่งที่มาของข้อผิดพลาดที่โหดร้าย" คำว่า 'โหดเหี้ยม' เป็นสิ่งที่สมเหตุสมผล
Nathaniel

3
สิ่งเดียวที่ "โหดร้าย" ที่ฉันเห็นคือหลักการตั้งชื่อของคุณ นี่ไม่ใช่ยุค 80 อีกต่อไปคุณไม่ จำกัด ชื่อตัวแปรอักขระ 3 ตัว
UloPe

5
หมายเหตุ: documention ไม่รัฐว่ารายการ-เข้าใจเทียบเท่ากับชัดเจนforสร้าง -loop และfor-loops ตัวแปรการรั่วไหล ดังนั้นจึงไม่ชัดเจน แต่เป็นการระบุโดยปริยาย
Bakuriu

คำตอบ:


172

ความเข้าใจในรายการรั่วตัวแปรควบคุมลูปใน Python 2 แต่ไม่ใช่ใน Python 3 นี่คือ Guido van Rossum (ผู้สร้าง Python) อธิบายประวัติเบื้องหลังสิ่งนี้:

นอกจากนี้เรายังทำการเปลี่ยนแปลงอีกครั้งใน Python 3 เพื่อปรับปรุงความเท่าเทียมกันระหว่างความเข้าใจของรายการและนิพจน์ตัวสร้าง ใน Python 2 ความเข้าใจรายการ "รั่ว" ตัวแปรควบคุมลูปไปยังขอบเขตโดยรอบ:

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

นี่คือสิ่งประดิษฐ์ของการดำเนินการตามความเข้าใจรายการดั้งเดิม มันเป็นหนึ่งใน "ความลับเล็ก ๆ น้อย ๆ ที่สกปรก" ของ Python มาหลายปีแล้ว มันเริ่มต้นจากการประนีประนอมโดยเจตนาเพื่อสร้างความเข้าใจในรายการอย่างรวดเร็วและแม้ว่าจะไม่ใช่ข้อผิดพลาดทั่วไปสำหรับผู้เริ่มต้น แต่ก็มีคนต่อยเป็นครั้งคราว สำหรับนิพจน์ตัวสร้างเราไม่สามารถทำได้ นิพจน์ Generator ถูกนำไปใช้โดยใช้เครื่องกำเนิดไฟฟ้าซึ่งการดำเนินการต้องใช้กรอบการดำเนินการแยกต่างหาก ดังนั้นนิพจน์ตัวสร้าง (โดยเฉพาะอย่างยิ่งถ้าพวกเขาวนซ้ำในลำดับสั้น ๆ ) จึงมีประสิทธิภาพน้อยกว่าการทำความเข้าใจรายการ

อย่างไรก็ตามใน Python 3 เราตัดสินใจที่จะแก้ไข "ความลับเล็ก ๆ น้อย ๆ ที่สกปรก" ของความเข้าใจในรายการโดยใช้กลยุทธ์การใช้งานเดียวกันกับนิพจน์ตัวสร้าง ดังนั้นใน Python 3 ตัวอย่างข้างต้น (หลังจากแก้ไขเพื่อใช้ print (x) :-) จะพิมพ์ 'before' โดยพิสูจน์ว่า 'x' ในความเข้าใจของรายการจะเงาชั่วคราว แต่ไม่ได้แทนที่ 'x' ที่อยู่รอบ ๆ ขอบเขต.


14
ฉันจะเพิ่มว่าแม้ว่า Guido จะเรียกมันว่า "ความลับเล็ก ๆ น้อย ๆ ที่สกปรก" แต่หลายคนก็มองว่าเป็นคุณสมบัติไม่ใช่ข้อบกพร่อง
Steven Rumbalski

38
โปรดทราบว่าตอนนี้ใน 2.7 ความเข้าใจชุดและพจนานุกรม (และเครื่องกำเนิดไฟฟ้า) มีขอบเขตส่วนตัว แต่ความเข้าใจในรายการยังไม่มี แม้ว่าสิ่งนี้จะทำให้รู้สึกได้ว่าในอดีตนั้นถูกส่งกลับมาจาก Python 3 ทั้งหมด แต่ก็ทำให้ความแตกต่างกับความเข้าใจในรายการที่สั่นสะเทือน
Matt B.

7
ฉันรู้ว่านี่เป็นคำถามเก่า ๆ ที่ไม่น่าเชื่อ แต่ทำไมบางคนถึงคิดว่าเป็นคุณลักษณะของภาษา มีอะไรที่ทำให้ตัวแปรประเภทนี้รั่วไหลหรือไม่?
Mathias Müller

2
สำหรับ: ลูปรั่วมีเหตุผลที่ดีโดยเฉพาะ เพื่อเข้าถึงค่าสุดท้ายหลังจากช่วงต้นbreak- แต่ไม่เกี่ยวข้องกับการปรับความเข้าใจ ฉันจำการอภิปรายของ comp.lang.python ที่ผู้คนต้องการกำหนดตัวแปรกลางนิพจน์ บ้าน้อยพบวิธีเดียวคือความคุ้มค่าต่อข้อเช่น sum100 = [s for s in [0] for i in range(1, 101) for s in [s + i]][-1]แต่ต้องการเพียงแค่ var ที่เข้าใจได้ในท้องถิ่นและใช้งานได้ดีใน Python 3 ฉันคิดว่า "การรั่วไหล" เป็นวิธีเดียวในการตั้งค่าตัวแปรที่มองเห็นได้ภายนอกนิพจน์ ทุกคนเห็นด้วยว่าเทคนิคเหล่านี้แย่มาก :-)
Beni Cherniavsky-Paskin

1
ปัญหาที่นี่คือไม่สามารถเข้าถึงขอบเขตโดยรอบของความเข้าใจในรายการ แต่การผูกมัดในขอบเขตความเข้าใจในรายการที่มีผลต่อขอบเขตโดยรอบ
Felipe Gonçalves Marques

48

ใช่แสดงรายการความเข้าใจว่า "รั่ว" ตัวแปรใน Python 2.x เช่นเดียวกับลูป

เมื่อมองย้อนกลับสิ่งนี้ได้รับการยอมรับว่าเป็นความผิดพลาดและหลีกเลี่ยงได้ด้วยนิพจน์ตัวสร้าง แก้ไข: ดังที่ Matt B. บันทึกไว้ว่ามันถูกหลีกเลี่ยงเมื่อตั้งค่าและไวยากรณ์ความเข้าใจของพจนานุกรมถูกส่งกลับจาก Python 3

พฤติกรรมของรายการเพื่อความเข้าใจจะต้องถูกทิ้งไว้เหมือนใน Python 2 แต่ได้รับการแก้ไขอย่างสมบูรณ์ใน Python 3

ซึ่งหมายความว่าในทั้งหมด:

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

xอยู่เสมอในท้องถิ่นที่จะแสดงออกในขณะที่เหล่านี้:

[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 ทั้งหมดรั่วxตัวแปรไปยังขอบเขตโดยรอบ


อัปเดตสำหรับ Python 3.8 (?) : PEP 572จะแนะนำตัว:=ดำเนินการมอบหมายที่จงใจรั่วไหลออกมาจากความเข้าใจและนิพจน์ตัวสร้าง! โดยได้รับแรงบันดาลใจจากการใช้งาน 2 กรณีคือการจับ "พยาน" จากฟังก์ชันการยุติก่อนกำหนดเช่นany()และall():

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

และการอัปเดตสถานะที่ไม่แน่นอน:

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

ดูภาคผนวก Bสำหรับการกำหนดขอบเขตที่แน่นอน ตัวแปรที่ได้รับมอบหมายในรอบที่อยู่ใกล้defหรือlambdaเว้นแต่ฟังก์ชั่นที่บอกมันหรือnonlocalglobal


7

ใช่การมอบหมายงานเกิดขึ้นที่นั่นเหมือนกับการforวนซ้ำ ไม่มีการสร้างขอบเขตใหม่

นี่เป็นพฤติกรรมที่คาดหวังอย่างแน่นอน: ในแต่ละรอบค่าจะผูกกับชื่อที่คุณระบุ ตัวอย่างเช่น

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

เมื่อจำได้แล้วดูเหมือนว่าจะง่ายพอที่จะหลีกเลี่ยง: อย่าใช้ชื่อที่มีอยู่สำหรับตัวแปรภายในความเข้าใจ


2

สิ่งที่น่าสนใจนี้ไม่ส่งผลต่อพจนานุกรมหรือการตั้งค่าความเข้าใจ

>>> [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

อย่างไรก็ตามได้รับการแก้ไขใน 3 ตามที่ระบุไว้ข้างต้น


ไวยากรณ์นั้นใช้ไม่ได้เลยใน Python 2.6 คุณกำลังพูดถึง Python 2.7 หรือไม่?
Paul Hollingsworth

Python 2.6 มีความเข้าใจรายการเช่นเดียวกับ Python 3.0 3.1 เพิ่มความเข้าใจในชุดและพจนานุกรมและสิ่งเหล่านี้ถูกย้ายไปที่ 2.7 ขออภัยหากไม่ชัดเจน หมายถึงการสังเกตข้อ จำกัด ของคำตอบอื่นและเวอร์ชันใดที่ใช้กับคำตอบนั้นไม่ตรงไปตรงมาโดยสิ้นเชิง
Chris Travers

ในขณะที่ฉันสามารถจินตนาการได้ว่ามีบางกรณีที่การใช้ python 2.7 สำหรับโค้ดใหม่นั้นสมเหตุสมผล แต่ฉันก็ไม่สามารถพูดแบบเดียวกันกับ python 2.6 ได้ ... แม้ว่า 2.6 จะเป็นสิ่งที่มาพร้อมกับระบบปฏิบัติการของคุณ แต่คุณก็ไม่ได้ติดอยู่กับ มัน. พิจารณาติดตั้ง Virtualenv และใช้ 3.6 สำหรับโค้ดใหม่!
Alex L

ประเด็นเกี่ยวกับ Python 2.6 อาจเกิดขึ้นได้ในการดูแลระบบเดิมที่มีอยู่ ดังนั้นในฐานะที่เป็นบันทึกประวัติศาสตร์จึงไม่เกี่ยวข้องทั้งหมด เช่นเดียวกันกับ 3.0 (ick)
Chris Travers

ขออภัยหากฟังดูหยาบคาย แต่ไม่ได้ตอบคำถาม แต่อย่างใด เหมาะกว่าเป็นความคิดเห็น
0xc0de

1

วิธีแก้ปัญหาบางอย่างสำหรับ python 2.6 เมื่อพฤติกรรมนี้ไม่เป็นที่ต้องการ

# 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

-1

ใน python3 ในขณะที่อยู่ในความเข้าใจของรายการตัวแปรจะไม่ได้รับการเปลี่ยนแปลงหลังจากที่ขอบเขตจบลง แต่เมื่อเราใช้ for-loop อย่างง่ายตัวแปรจะถูกกำหนดใหม่นอกขอบเขต

i = 1 print (i) print ([i in range (5)]) print (i) ค่าของ i จะยังคงเป็น 1 เท่านั้น

ตอนนี้ใช้เพียงแค่สำหรับการวนซ้ำค่าของฉันจะถูกกำหนดใหม่

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.