Pythonの任意/すべてのショートサーキットは明示的に動作していますか？議論に促さ

Question

here

docsはany

は同等のコードの動作は定義の一部とみなされるべきallの行動とのためのいくつかの同等のコードを示唆、または実装がでそれらを実装することができます非短絡の方法？ここで

はCPythonの/ libに/テスト/ 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) 

それは短絡行動を強制するために何もしない

Answer 1

動作がが保証されています。私はpatchと最近受け入れたmergedを寄稿しました。最新のソースを入手すると、短絡動作が明示的に強制されることがわかります。

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

Answer 2

ドキュメントは

を言います"反復可能な要素が空であればTrueを返します。反復可能な要素が空の場合はFalseを返します。等価："（強調鉱山）...

anyが短絡しなかった

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

場合は、それが明確に掲示コード短絡以来の投稿コードに等価ではないでしょう。あなたは、例えばあなたが望むよりも多くの発電機を消費することができます。それに照らして、私はの短絡動作が保証されていると言います。

allと全く同じ議論ができました。

Answer 3

これは、アンバウンドの反復可能性が与えられる可能性があるため、短絡しなければなりません。それは短絡しなかった場合、これは終了したことがないでしょう：

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