nicht angemeldet
Das Abbrechen der Schleife mit break, sobald ein Treffer gefunden wurde, ist zwar legitim und korrekt, aber der Performancegewinn sicher nicht messbar, solange wir nicht von Tausenden von Checkboxen ausgehen.
Das frühe Abbrechen der Schleife ist die korrekte, angemessene Logik. So ist eindeutig für den Interpreter und Menschen, was für eine Operation hier passiert (nämlich any/some auf einer Liste).
Wenn sich die korrekte Logik ohne weiteres implementieren lässt, sollte man das selbstverständlich tun. Dass es der Performance aktuell nicht messbar schadet, wenn man dies nicht tut, ist kein Argument dagegen.
Mathias
Der Martin