Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Stefan Schwarzer <sschwarzer@sschwarzer.net>
Newsgroups: de.comp.lang.python
Subject: Re: [Python-de] Link zu python-ideas "Control Flow - Never Executed Loop Body"
Date: Sat, 9 Apr 2016 09:33:43 +0200
Lines: 50
Message-ID: <mailman.109.1460187540.2253.python-de@python.org>
References: <57040A52.9020404@thomas-guettler.de> <F355D502-7753-4583-AABF-325BB68D2143@zopyx.com> <5704A110.4030006@behnel.de> <6E439C3C-FC40-4CAA-827C-8ACDE3DC85F2@zopyx.com> <57051734.6020207@thomas-guettler.de> <57051C5F.1080808@chrisarndt.de> <570553C5.80101@sschwarzer.net> <57055E23.40602@inqbus.de> <57058FD3.90400@mail.de> <5705FBB9.4040301@sschwarzer.net> <5706660B.3030905@thomas-guettler.de> <5708B057.9090405@sschwarzer.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 8bit
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.24) Gecko/20100411 Thunderbird/2.0.0.24 Mnenhy/0.7.6.666
In-Reply-To: <5706660B.3030905@thomas-guettler.de>
Precedence: list
Xref: csiph.com de.comp.lang.python:4384

On 2016-04-07 15:52, Thomas Güttler wrote:
> Link zu python-ideas "Control Flow - Never Executed Loop Body"
> 
> https://groups.google.com/d/msg/python-ideas/RPAaSTN0Avw/FUneVrpZIwAJ

Thomas, vielen Dank! :-)

Ich habe mir das mal durchgelesen. Als wichtige Erkenntnisse
bleiben:

- Es ist nicht _allgemein_ möglich, in ein Iterable
  "hineinzusehen", um festzustellen, ob es leer ist. Dazu
  muss man den Iterator nach dem ersten Wert fragen. Wenn
  man das in einer Hilfs-Funktion "versteckt", kann das zu
  unangenehmen Überraschungen führen.

- Der Ansatz mit Sentinel,

  item = sentinel = object()
  for item in iterable:
      ...
  if item is sentinel:
      ...

  wird mitunter als deutlich schwerer verständlich angesehen
  als eine Variante mit explizitem Flag:

  has_items = False
  for item in iterable:
      has_items = True
      ...
  if has_items:
      ...

Mir ist zum Sentinel-Ansatz noch eine Variante eingefallen,
die den Code hoffentlich verständlicher macht. Genauso, wie
man ein Flag nicht `flag` nennt, sondern zum Beispiel
`is_valid` oder `has_items`, kann und sollte man auch einen
spezielleren Namen als `sentinel` verwenden. Mein Vorschlag:

   item = unset = object()
   for item in iterable:
       ...
   if item is unset:
       ...

Das ist meines Erachtens schöner "ausführbarer Pseudocode". :-)

Viele Grüße
Stefan