Ist das Shortcircuit-Verhalten von Pythons Any/All explizit?

Question

Angeregt durch die Diskussion here

Die docs vorschlagen einigen entsprechenden Code für das Verhalten von all und any

Sollte das Verhalten des äquivalenten Code Teil der Definition in Betracht gezogen werden, oder kann sie eine Implementierung umzusetzen in einem Nicht-Kurzschluss-Art?

Hier ist der relevante Auszug aus CPython/Lib/test/test_builtin.py

def test_all(self): 
    self.assertEqual(all([2, 4, 6]), True) 
    self.assertEqual(all([2, None, 6]), False) 
    self.assertRaises(RuntimeError, all, [2, TestFailingBool(), 6]) 
    self.assertRaises(RuntimeError, all, TestFailingIter()) 
    self.assertRaises(TypeError, all, 10)    # Non-iterable 
    self.assertRaises(TypeError, all)     # No args 
    self.assertRaises(TypeError, all, [2, 4, 6], []) # Too many args 
    self.assertEqual(all([]), True)      # Empty iterator 
    S = [50, 60] 
    self.assertEqual(all(x > 42 for x in S), True) 
    S = [50, 40, 60] 
    self.assertEqual(all(x > 42 for x in S), False) 

def test_any(self): 
    self.assertEqual(any([None, None, None]), False) 
    self.assertEqual(any([None, 4, None]), True) 
    self.assertRaises(RuntimeError, any, [None, TestFailingBool(), 6]) 
    self.assertRaises(RuntimeError, all, TestFailingIter()) 
    self.assertRaises(TypeError, any, 10)    # Non-iterable 
    self.assertRaises(TypeError, any)     # No args 
    self.assertRaises(TypeError, any, [2, 4, 6], []) # Too many args 
    self.assertEqual(any([]), False)     # Empty iterator 
    S = [40, 60, 30] 
    self.assertEqual(any(x > 42 for x in S), True) 
    S = [10, 20, 30] 
    self.assertEqual(any(x > 42 for x in S), False) 

Es hat nichts tun das Kurzschlussverhalten

Answer 1

Das Verhalten ist garantiert. Ich habe kürzlich eine patch beigetragen, die akzeptiert wurde und merged, also, wenn Sie die neuesten Quellen greifen, werden Sie sehen, dass das Kurzschlussverhalten jetzt explizit erzwungen wird.

git clone https://github.com/python/cpython.git 
grep Short-circuit cpython/Lib/test/test_builtin.py 

Answer 2

Die docs sagen

zu erzwingen "Gibt True zurück, wenn ein Element des Iterablen Wahr ist. Wenn das Iterable leer ist, gebe False zurück. ÄQUIVALENT:" (Hervorhebung von mir) ...

def any(iterable): 
    for element in iterable: 
     if element: 
      return True 
    return False 

Wenn any nicht Kurzschluss täte, würde es nicht klar Kurzschlüssen seit dem entsandten Code GLEICHWERTIGEN für den entsandten Code sein. Sie könnten beispielsweise mehr von einem Generator verbrauchen als Sie möchten. Angesichts dessen sage ich, dass das Kurzschlussverhalten garantiert ist.

Das exakt gleiche Argument könnte für all gemacht werden.

Answer 3

Es muss kurzgeschlossen werden, da es eine ungebundene iterable gegeben werden könnte. Wenn es nicht Kurzschluss hat dann wäre dies niemals enden:

any(x == 10 for x in itertools.count())