Có bất kỳ() nào được đánh giá uể oải không?

Question

Tôi đang viết một kịch bản trong đó tôi phải kiểm tra các con số dựa trên một số điều kiện. Nếu bất kỳ điều kiện nào được đáp ứng tôi muốn trả lại True và tôi muốn làm điều đó một cách nhanh nhất có thể.

Ý tưởng đầu tiên của tôi là sử dụng any() thay vì tuyên bố lồng nhau if hoặc nhiều or liên kết các điều kiện của tôi. Vì tôi sẽ hài lòng nếu bất kỳ điều kiện nào là True tôi thực sự có thể hưởng lợi từ việc any() trở nên lười biếng và quay trở lại Đúng ngay khi có thể.

Dựa trên thực tế là các bản in sau xảy ra ngay lập tức và không sau 10 (= 0 + 1 + 2 + 3 + 4) giây tôi giả sử nó là. Đó là trường hợp hoặc tôi bằng cách nào đó nhầm lẫn?

import time 

def some(sec): 
    time.sleep(sec) 
    return True 

print(any(some(x) for x in range(5))) 

Answer 1

Vâng, any() và all() ngắn mạch, hủy ngay sau khi kết quả là rõ ràng: Xem docs:

tất cả (iterable)

Return True nếu tất cả các yếu tố của iterable là true (hoặc nếu iterable là trống). Tương đương với:

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

bất kỳ (iterable)

Return True nếu bất kỳ yếu tố của iterable là đúng. Nếu có thể lặp lại là trống, hãy trả về Sai. Tương đương với:

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

Answer 2

Trong khi all() và any() chức năng ngắn mạch trên phần tử đầu tiên "true" của một iterable, các iterable chính nó có thể được xây dựng theo một cách không lười biếng. Hãy xem xét ví dụ này:

>> any(x == 100 for x in range(10**8)) 
True 

Sẽ mất vài giây để thực thi trong Python 2 là range(10**8) tạo danh sách 10 ** 8 phần tử. Biểu thức tương tự chạy ngay lập tức trong Python 3, trong đó range() là lười.

Answer 3

Có, đó là lười biếng như chứng minh bằng cách như sau:

def some(x, result=True): 
    print(x) 
    return result 

>>> print(any(some(x) for x in range(5))) 
0 
True 

>>> print(any(some(x, False) for x in range(5))) 
0 
1 
2 
3 
4 
False 

Trong chạy đầu tiên any() dừng lại sau khi kiểm tra mục đầu tiên, tức là nó ngắn mạch đánh giá.

Trong lần chạy thứ hai, any() tiếp tục kiểm tra cho đến khi chuỗi hết hạn.

Answer 4

Vâng, và đây là một thử nghiệm cho thấy nó thậm chí nhiều hơn dứt khoát hơn thí nghiệm thời gian của bạn:

import random 

def some(x): 
    print(x, end = ', ') 
    return random.random() < 0.25 

for i in range(5): 
    print(any(some(x) for x in range(10))) 

điển hình chạy:

0, 1, 2, True 
0, 1, True 
0, True 
0, 1, 2, 3, True 
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, False 

Answer 5

Như Tim đã nói một cách chính xác, any và all làm ngắn mạch, nhưng trong mã của bạn, những gì làm cho nó lười biếng là việc sử dụng generators. Ví dụ, đoạn mã sau sẽ không được lười biếng:

print(any([slow_operation(x) for x in big_list])) 

Danh sách này sẽ được xây dựng hoàn chỉnh và tính toán, và chỉ sau đó thông qua như là một cuộc tranh cãi để any.

Máy phát điện, mặt khác, là vòng lặp có thể tính toán từng mục theo yêu cầu. Chúng có thể là expressions, functions hoặc đôi khi được triển khai theo cách thủ công là lười biếng iterators.