Từ trang này , chúng tôi biết rằng:
So sánh xích được nhanh hơn so với sử dụng
andtoán tử. Viếtx < y < zthay chox < y and y < z.
Tuy nhiên, tôi đã nhận được một kết quả khác khi kiểm tra các đoạn mã sau:
$ python -m timeit "x = 1.2" "y = 1.3" "z = 1.8" "x < y < z"
1000000 loops, best of 3: 0.322 usec per loop
$ python -m timeit "x = 1.2" "y = 1.3" "z = 1.8" "x < y and y < z"
1000000 loops, best of 3: 0.22 usec per loop
$ python -m timeit "x = 1.2" "y = 1.3" "z = 1.1" "x < y < z"
1000000 loops, best of 3: 0.279 usec per loop
$ python -m timeit "x = 1.2" "y = 1.3" "z = 1.1" "x < y and y < z"
1000000 loops, best of 3: 0.215 usec per loop
Có vẻ như x < y and y < zlà nhanh hơn x < y < z. Tại sao?
Sau khi tìm kiếm một số bài đăng trong trang web này (như bài này ) tôi biết rằng "chỉ được đánh giá một lần" là chìa khóa x < y < z, tuy nhiên tôi vẫn bối rối. Để nghiên cứu thêm, tôi đã phân tách hai chức năng này bằng cách sử dụng dis.dis:
import dis
def chained_compare():
x = 1.2
y = 1.3
z = 1.1
x < y < z
def and_compare():
x = 1.2
y = 1.3
z = 1.1
x < y and y < z
dis.dis(chained_compare)
dis.dis(and_compare)
Và đầu ra là:
## chained_compare ##
4 0 LOAD_CONST 1 (1.2)
3 STORE_FAST 0 (x)
5 6 LOAD_CONST 2 (1.3)
9 STORE_FAST 1 (y)
6 12 LOAD_CONST 3 (1.1)
15 STORE_FAST 2 (z)
7 18 LOAD_FAST 0 (x)
21 LOAD_FAST 1 (y)
24 DUP_TOP
25 ROT_THREE
26 COMPARE_OP 0 (<)
29 JUMP_IF_FALSE_OR_POP 41
32 LOAD_FAST 2 (z)
35 COMPARE_OP 0 (<)
38 JUMP_FORWARD 2 (to 43)
>> 41 ROT_TWO
42 POP_TOP
>> 43 POP_TOP
44 LOAD_CONST 0 (None)
47 RETURN_VALUE
## and_compare ##
10 0 LOAD_CONST 1 (1.2)
3 STORE_FAST 0 (x)
11 6 LOAD_CONST 2 (1.3)
9 STORE_FAST 1 (y)
12 12 LOAD_CONST 3 (1.1)
15 STORE_FAST 2 (z)
13 18 LOAD_FAST 0 (x)
21 LOAD_FAST 1 (y)
24 COMPARE_OP 0 (<)
27 JUMP_IF_FALSE_OR_POP 39
30 LOAD_FAST 1 (y)
33 LOAD_FAST 2 (z)
36 COMPARE_OP 0 (<)
>> 39 POP_TOP
40 LOAD_CONST 0 (None)
Có vẻ như các x < y and y < zlệnh có ít sự khác biệt hơn x < y < z. Tôi có nên xem xét x < y and y < znhanh hơn x < y < z?
Đã thử nghiệm với Python 2.7.6 trên CPU Intel (R) Xeon (R) E5640 @ 2.67GHz.
Tôi giả sử sự khác biệt về tốc độ so với "được đánh giá một lần" xuất hiện khi
—
zehnpaard
ykhông chỉ là một tra cứu biến đổi, mà là một quá trình tốn kém hơn như một cuộc gọi hàm? Tức 10 < max(range(100)) < 15là nhanh hơn 10 < max(range(100)) and max(range(100)) < 15vì max(range(100))được gọi một lần cho cả hai so sánh.
@MarcoBonelli Nó thực hiện khi mã được phân tách 1) không chứa các vòng lặp và 2) mỗi mã byte đơn rất nhanh, vì tại thời điểm đó, phần trên của mainloop trở nên quan trọng.
—
Bakuriu
Dự đoán chi nhánh có thể làm rối các bài kiểm tra của bạn.
—
Corey Ogburn
@zehnpaard Tôi đồng ý với bạn. Khi "y" lớn hơn một giá trị đơn giản (ví dụ: gọi hàm hoặc tính toán) tôi mong muốn thực tế là "y" được đánh giá một lần trong x <y <z có tác động đáng chú ý hơn nhiều. Trong trường hợp được trình bày, chúng tôi nằm trong các thanh lỗi: ảnh hưởng của dự đoán nhánh (không thành công), mã byte kém tối ưu và các hiệu ứng nền tảng / CPU cụ thể khác chiếm ưu thế. Điều đó không làm mất hiệu lực quy tắc chung rằng đánh giá một lần là tốt hơn (cũng như dễ đọc hơn), nhưng cho thấy rằng điều này có thể không thêm nhiều giá trị ở các thái cực.
—
MartyMacGyver
timeitbài kiểm tra của bạn, tôi đã quan tâm đến điều này.