Trong bài học này, bạn sẽ tìm hiểu về các loại chính xác hơn trong Python 3. 8. Hệ thống gõ của Python đã khá trưởng thành vào thời điểm này. Tuy nhiên, trong Python 3. 8, một số tính năng mới đã được thêm vào gõ để cho phép gõ chính xác hơn
- các loại chữ
- từ điển đánh máy
- đối tượng cuối cùng
- giao thức
Python hỗ trợ các gợi ý loại tùy chọn, thường là chú thích trên mã của bạn
>>>
>>> def double[number: float] -> float:
.. return 2 * number
Trong ví dụ này, bạn nói rằng
$ python -m pip install mypy
$ python -m pip install mypy
>>>
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
$ python -m pip install mypy
$ python -m pip install mypy
Gợi ý nhập cho phép kiểm tra kiểu mã Python của bạn mà không thực sự chạy tập lệnh của bạn. Điều này gợi nhớ đến việc các trình biên dịch bắt lỗi kiểu trong các ngôn ngữ khác như Java và Rust. Ngoài ra, gợi ý nhập đóng vai trò là tài liệu về mã của bạn, giúp dễ đọc hơn cũng như
Ghi chú. Có sẵn một số trình kiểm tra kiểu tĩnh, bao gồm Pyright, Pytype và Pyre. Trong khóa học này, bạn sẽ sử dụng Mypy. Bạn có thể cài đặt Mypy từ PyPI bằng pip
$ python -m pip install mypy
Hãy thử Mypy trên ví dụ mã từ trước. Tạo một tệp mới có tên
$ python -m pip install mypy
________số 8
Bây giờ hãy chạy Mypy trên mã này
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
Dựa trên các gợi ý về loại, Mypy có thể cho bạn biết rằng bạn đang sử dụng loại sai trên dòng 8. Thay đổi đối số cho lệnh gọi thứ hai thành
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
Bây giờ hãy chạy lại Mypy trên mã này
$ python -m pip install mypy
Theo một nghĩa nào đó, Mypy là triển khai tham chiếu của trình kiểm tra kiểu cho Python và đang được phát triển tại Dropbox dưới sự lãnh đạo của Jukka Lehtasalo. Người tạo ra Python, Guido van Rossum, là thành viên của nhóm Mypy
Bạn có thể tìm thêm thông tin về gợi ý kiểu trong Python trong PEP 484 gốc, cũng như trong Kiểm tra kiểu Python [Hướng dẫn] và khóa học video Kiểm tra kiểu Python
Có bốn PEP mới về kiểm tra kiểu đã được chấp nhận và đưa vào Python 3. 8. Bạn sẽ thấy các ví dụ ngắn từ mỗi ví dụ này
PEP 586 giới thiệu loại.
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
$ python -m pip install mypy
Chương trình sẽ vượt qua trình kiểm tra kiểu tĩnh, mặc dù
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
$ python -m pip install mypy
Bằng cách hiển thị các giá trị hướng được phép cho trình kiểm tra loại, giờ đây bạn có thể được cảnh báo về lỗi
$ python -m pip install mypy
Cú pháp cơ bản là
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Vì đây là trường hợp sử dụng khá phổ biến nên bạn có thể [và có lẽ nên] sử dụng ký hiệu đơn giản hơn là
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
Nếu bạn xem kỹ đầu ra từ Mypy ở trên, bạn có thể thấy rằng nó đã dịch ký hiệu đơn giản hơn sang ký hiệu Union trong nội bộ
Có những trường hợp loại giá trị trả về của hàm phụ thuộc vào đối số đầu vào. Một ví dụ là
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
Ví dụ sau đây cho thấy bộ xương của một máy tính có thể trả về câu trả lời dưới dạng số thông thường [
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Mã có gợi ý loại chính xác. kết quả của
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ python -m pip install mypy
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
$ python -m pip install mypy
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Các chữ ký ________ 127 được thêm vào sẽ giúp người kiểm tra loại của bạn suy ra ________ 99 hoặc ________ 120 tùy thuộc vào giá trị bằng chữ của
$ python -m pip install mypy
$ python -m pip install mypy
Để bổ sung cho
# float_check.py
def double[number: float] -> float:
return 2 * number
double[3.14]
double["I'm not a float"]
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Mypy sẽ đánh dấu dòng
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
Ngoài ra, còn có một trình trang trí có thể được áp dụng cho các lớp và phương thức. Các lớp được trang trí bằng
$ python -m pip install mypy
$ python -m pip install mypy
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Mypy sẽ gắn cờ ví dụ này với thông báo lỗi
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
PEP thứ ba cho phép gợi ý loại cụ thể hơn là PEP 589, giới thiệu. Điều này có thể được sử dụng để chỉ định các loại cho khóa và giá trị trong từ điển bằng cách sử dụng ký hiệu tương tự như đã nhập
Theo truyền thống, từ điển đã được chú thích bằng cách sử dụng. Vấn đề là điều này chỉ cho phép một loại cho các khóa và một loại cho các giá trị, thường dẫn đến các chú thích như
$ python -m pip install mypy
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Giá trị tương ứng với
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Trình kiểm tra loại sau đó sẽ có thể suy ra rằng
$ python -m pip install mypy
$ mypy float_check.py
float_check.py:8: error: Argument 1 to "double" has incompatible
type "str"; expected "float"
Found 1 error in 1 file [checked 1 source file]
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
>>>
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Mypy sẽ cho bạn biết nếu bất kỳ giá trị nào của bạn có loại sai hoặc nếu bạn sử dụng khóa chưa được khai báo. Xem PEP 589 để biết thêm ví dụ
Mypy đã hỗ trợ được một thời gian rồi. Tuy nhiên, việc nghiệm thu chính thức chỉ diễn ra vào tháng 5/2019
Các giao thức là một cách để chính thức hóa sự hỗ trợ của Python đối với việc gõ vịt
Khi tôi nhìn thấy một con chim đi như vịt, bơi như vịt và kêu quạc quạc như vịt, tôi gọi con chim đó là vịt. []
Kiểu gõ vịt cho phép bạn, ví dụ, đọc ________ 228 trên một đối tượng có thuộc tính ________ 228 mà không thực sự quan tâm đến loại đối tượng. Có vẻ như phản trực giác đối với hệ thống đánh máy để hỗ trợ điều này. Thông qua phân loại cấu trúc, vẫn có thể hiểu được cách gõ vịt
Ví dụ, bạn có thể xác định một giao thức có tên là
$ python -m pip install mypy
$ python -m pip install mypy
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Sau khi tạo giao thức
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
Lớp
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
$ python -m pip install mypy
Chạy lại
>>> double[3.14]
6.28
>>> double["I'm not a float"]
"I'm not a floatI'm not a float"
$ python -m pip install mypy
Như bạn đã xác nhận,
$ python -m pip install mypy
$ python -m pip install mypy
Shehu Bello trên
Các tính năng rất thú vị. Tuy nhiên, với những tính năng này, python trông giống như một ngôn ngữ gõ tĩnh chẳng hạn như C
fofanovis trên
Lưu ý rằng dấu chấm lửng […] là một phần theo nghĩa đen của mã. Chúng đại diện cho thân hàm trong các chữ ký quá tải
Bạn có thể rất tử tế để giải thích về điều đó?
fofanovis trên
Theo truyền thống, từ điển đã được chú thích bằng Dict. Vấn đề là điều này chỉ cho phép một loại cho các khóa và một loại cho các giá trị, thường dẫn đến các chú thích như Dict[str, Any]
Liên kết bạn cung cấp dẫn đến tài liệu trong đó Dict được sử dụng trong khai báo hàm và Dict khai báo cả hai loại và chúng khác nhau
$ python -m pip install mypy
fofanovis trên
Oh, tôi đoán tôi đã nhận nó. TypedDict là trường hợp khi chúng ta biết trước tất cả các khóa. Không có cách nào để thêm bao nhiêu cặp khóa-giá trị như chúng tôi muốn vào một TypedDict. Ngược lại, chúng ta có thể làm điều đó với một Dict thông thường. Trên thực tế, những loại này rất khác nhau, cuối cùng. Thậm chí không nói về sự khác biệt đánh máy
Geir Arne Hjelle Nhóm RP trên
Đúng. Tôi đoán bạn có thể phân loại hầu hết các cách sử dụng từ điển thành một trong hai trường hợp sử dụng
Từ điển được sử dụng như một loại danh sách được lập chỉ mục, nơi bạn thường không cần có ý tưởng rõ ràng trước về số lượng mục bạn sẽ có. Ví dụ
25# float_check.py def double[number: float] -> float: return 2 * number double[3.14] double["I'm not a float"]Đối với những trường hợp này, một cái gì đó như
26 là một mô tả tốt về các loại được sử dụng trong từ điển# float_check.py def double[number: float] -> float: return 2 * number double[3.14] double["I'm not a float"]Từ điển được sử dụng tương tự như hàng cơ sở dữ liệu hoặc bộ được đặt tên. Trong trường hợp này, cấu trúc của từ điển thường chặt chẽ hơn. Ví dụ
27# float_check.py def double[number: float] -> float: return 2 * number double[3.14] double["I'm not a float"]Đối với những trường hợp này, các giá trị thường thuộc các loại khác nhau, do đó, loại "đơn giản" duy nhất có thể được sử dụng thuận tiện là
67. Tuy nhiên,$ python -m pip install mypy
74 không thực sự cung cấp bất kỳ thông tin hữu ích nào. Thay vào đó, có thể sử dụng$ python -m pip install mypy
64 để nắm bắt chính xác loại từ điển này$ python -m pip install mypyTôi đoán rằng hầu hết các cách sử dụng thực tế của loại từ điển thứ hai này, có các từ điển này được lồng bên trong một cấu trúc dữ liệu khác, như danh sách hoặc từ điển trường hợp-1 [ví dụ:
31]# float_check.py def double[number: float] -> float: return 2 * number double[3.14] double["I'm not a float"]
Chris Bailey Nhóm RP trên
Xin chào @fofanovis, Về dấu chấm lửng
$ python -m pip install mypy
vang thu vào
Tôi thực sự thích tùy chọn theo nghĩa đen đó. Một trong những điều khiến tôi khó chịu nhất khi học Python là số lượng chuỗi mã hóa cứng được sử dụng trong mã. Trong C#, tôi luôn nhấn mạnh rằng đây là điều tồi tệ nhất có thể tưởng tượng được mà bạn có thể làm vì rất dễ mắc lỗi chính tả và gây ra lỗi.
Tôi thường giải quyết vấn đề này trong C# bằng cách sử dụng enums [như color. Màu đỏ. MÀU XANH, v.v. , thay vì “đỏ”, “xanh”]. Đây có phải là một thay thế chấp nhận được? . NGANG và hướng. VERTICAL là hai thành viên của hướng enum?
Giao thức này nghe cũng rất hay và tôi đã đặc biệt tự hỏi liệu có thứ gì đó giống như vậy tồn tại hay không nên tôi rất vui khi được giải thích điều đó
Mặc dù tôi vẫn không chắc liệu việc sử dụng tất cả kiểu gõ này có chấp nhận được không? . Mọi người có thất vọng với mã của tôi không nếu mọi chức năng đều bao gồm các gợi ý về loại?