mypy: Tại sao hoàng tử là một tiểu loại của phao nổi?

Tại sao "mypy" coi "int" là một kiểu con của "float"? Một kiểu con sẽ hỗ trợ tất cả các phương thức của siêu kiểu của nó, nhưng "float" có các phương thức mà "int" không hỗ trợ:

kiểm tra:

def f(x : float) -> bool:
    return x.is_integer()

print(f(123.0))
print(f(123))

Trình kiểm tra kiểu tĩnh chấp nhận chuyển một đối số "int" cho tham số "float":

(3.8.1) myhost% mypy test.py
Success: no issues found in 1 source file

Nhưng điều này không đảm bảo, rằng không có lỗi trong thời gian chạy:

(3.8.1) myhost% python test.py
True
Traceback (most recent call last):
  File "test.py", line 5, in <module>
    print(f(123))
  File "test.py", line 2, in f
    return x.is_integer()
AttributeError: 'int' object has no attribute 'is_integer'

bởi vì "float" có các phương thức bổ sung, mà "int" không có.

'Tại sao "mypy" coi "int" là một kiểu con của "float"?'

Bởi vì tính thực tiễn cho đến nay đã được coi là đánh bại sự tinh khiết ở đây. Điều này không có nghĩa là người ta không thể đề xuất rằng việc gõ xác định loại vô hướng sẽ bao gồm int và float mà chỉ có giá trị cho các phép toán số học.

Lưu ý rằng int / int đã được thay đổi trong 3.0 sao cho float (int / int) == float (int) / float (int), để làm cho số học int và float phù hợp với các giá trị int và float bằng nhau.

Cũng lưu ý rằng việc vượt qua kiểm tra loại không có nghĩa là không có lỗi thời gian chạy: chia cho 0 và tràn vẫn có thể, cũng như nhiều cách khác.

Như @ juanpa.arrivillaga đã chỉ ra, lời giải thích có trên https://mypy.readthedocs.io/en/latest/duck_type_compabilities.html .

Một kiểu con sẽ hỗ trợ tất cả các phương thức của siêu kiểu của nó, nhưng "float" có các phương thức, mà "int" không hỗ trợ

intlà không một subtype của float, vì vậy nó không phải phương pháp hỗ trợ float.

Cơ chế này tốt vì truyền các giá trị nguyên không nên gây ra lỗi, trừ khi bạn thực sự muốn chúng như trong ví dụ của bạn. Bạn rõ ràng đã cố gắng sử dụng một phương pháp không tồn tại. Trong các tình huống phổ biến, chúng tôi chỉ thực hiện các phép toán số học trên các số, vì vậy một vấn đề hiếm khi tồn tại và bạn luôn có thể tránh nó bằng cách thêm vào .0như bạn đã viết.

Đây là một hành vi phổ biến trong hầu hết các ngôn ngữ để cho rằng đó intlà trường hợp đặc biệt float, xem xét ví dụ C ++ intđể floatchuyển đổi ngầm định.