Tại sao việc khôi phục ([1, 2, 3], Danh sách [str]) được đánh giá là đúng?

Question

Tôi đang chơi xung quanh một chút với mô-đun gợi ý/gõ mới với python3.5 cố gắng tìm cách xác nhận nếu loại được gợi ý bằng loại biến thực tế và bắt gặp một thứ khiến tôi ngạc nhiên.

>>> from typing import List 
>>> someList = [1, 2, 3] 
>>> isinstance(someList, List[str]) 
True 

Tiếp tục tìm kiếm của tôi cho việc tìm kiếm một cách để so sánh một biến để nó ám chỉ loại I cũng đã thử điều này:

>>> anotherList = ["foo", "bar"] 
>>> type(anotherList) is List[str] 
False 

có bất cứ ai có thể giải thích tại sao chính xác đánh giá lại cựu True?

Và tiếp tục trở đi, có cách nào để kiểm tra xem loại biến có bằng loại từ mô-đun nhập không?

Answer 1

isinstance không thực hiện kiểm tra loại PEP 484 thực. The documentation ghi chú này trong đi qua:

Nói chung, isinstance() và issubclass() không nên được sử dụng với các loại.

Các typing module, cũng như collections.abc và abc module nó dựa trên, sử dụng rộng __instancecheck__ and __subclasscheck__ ma thuật để làm cho isinstance và issubclass cư xử một cách hợp lý. Nhưng họ không làm đủ để hỗ trợ cho trường hợp của bạn. Cũng không phải là mục tiêu của họ để hỗ trợ nó.

có cách nào để kiểm tra xem loại của biến có bằng loại từ mô-đun nhập không?

Bạn không tìm kiếm loại bình đẳng. Như bạn đã lưu ý, loại [1, 2, 3] là list, không phải là bằng đến List[str], cũng không phải là List[int]. Bạn đang tìm kiếm loại kiểm tra, điều này phức tạp hơn nhiều.

Hãy xem xét điều này:

def my_function(): 
    # ... 1000 lines of very complicated code ... 

print(isinstance(my_function, Callable[[], int])) 

gì bạn mong chờ chương trình này để in? Bạn không thể mong đợi isinstance để khai thác thành my_function khi chạy và suy ra rằng nó luôn trả về int. Điều này là không khả thi trong Python. Bạn cần trình kiểm tra loại thời gian "biên dịch" có quyền truy cập vào cấu trúc của my_function hoặc chú thích loại rõ ràng hoặc có khả năng nhất — cả hai.