Czy można bezpiecznie poddawać się blokowi " z " w Pythonie (i dlaczego)?

Nie sądzę, żeby to był prawdziwy konflikt. Musisz tylko mieć świadomość, że generator jest jak każdy inny obiekt, który przechowuje zasoby, więc obowiązkiem twórcy jest upewnienie się, że jest on prawidłowo sfinalizowany (i aby uniknąć konfliktów/impasu z zasobami posiadanymi przez obiekt). Jedynym (drobnym) problemem, jaki tu widzę jest to, że generatory nie implementują protokołu zarządzania kontekstem (przynajmniej w Pythonie 2.5), więc nie można po prostu:

with coroutine() as cr:
  doSomething(cr)

Ale zamiast tego mają do:

cr = coroutine()
try:
  doSomething(cr)
finally:
  cr.close()

Śmieciarz i tak robi close(), ale to zła praktyka polegać na tym, aby uwolnić zasoby.

Ponieważ yield może wykonać dowolny kod, byłbym bardzo ostrożny trzymając blokadę nad instrukcją yield. Podobny efekt można uzyskać na wiele innych sposobów, włączając w to wywołanie metody lub funkcji, które mogły zostać nadpisane lub w inny sposób zmodyfikowane.

Tak bym się tego spodziewał. Tak, Blok NIE WYDA swoich zasobów, dopóki się nie zakończy, więc w tym sensie zasób uciekł z leksykalnego zagnieżdżania. Jednak nie różni się to niczym od wywołania funkcji, która próbowała użyć tego samego zasobu w bloku with - nic nie pomaga w przypadku, gdy blok ma nie jeszcze zakończony, z bez względu na powód. To nie jest nic konkretnego do generatorów.

Jedna rzecz, która może być warto jednak martwić się o zachowanie, jeśli generator jest nigdy wznowione. Spodziewałbym się, że blok with będzie działał jak blok finally i wywoła __exit__ część po zakończeniu, ale tak się nie wydaje.

Dla TLDR, spójrz na to w ten sposób:

with Context():
    yield 1
    pass  # explicitly do nothing *after* yield
# exit context after explicitly doing nothing

Context kończy się po zakończeniu pass (tzn. nic), pass wykonuje po zakończeniu yield (tzn. wznawia wykonywanie). Tak więc with Kończy się po kontrola jest wznowiona w yield.

TLDR: a with kontekst pozostaje utrzymany, gdy yield zwalnia kontrolę.

Istnieją właściwie tylko dwie zasady, które są tu istotne:

1. Kiedy with wypuści swój zasób?

   To tak raz i bezpośrednio po jego blok jest wykonywany. Pierwszy oznacza, że nie wypuszcza podczas a yield, ponieważ może się to zdarzyć kilka razy. Później oznacza, że wypuszcza po yield zakończono.

2. Kiedy kończy się yield?

   Pomyśl o yield jako o wywołaniu odwrotnym: kontrola jest przekazywana do dzwoniącego, a nie do wywołanego. Podobnie, yield Kończy się, gdy kontrola jest przekazywana z powrotem do niej, tak jak gdy wywołanie powraca Kontrola.

Zauważ, że zarówno with jak i yield działają zgodnie z przeznaczeniem! Celem with lock jest ochrona zasobu i pozostaje on chroniony podczas yield. Zawsze można wyraźnie zwolnić tę ochronę:

def safe_generator():
  while True:
    with lock():
      # keep lock for critical operation
      result = protected_operation()
    # release lock before releasing control
    yield result