Chú thích loại thuộc tính lớp python

mypy#

Mặc dù có một cú pháp hay cho siêu dữ liệu loại là điều tuyệt vời, nhưng Mypy kể từ 0 thậm chí còn tuyệt vời hơn. 570 đi kèm với plugin attrs chuyên dụng cho phép bạn kiểm tra tĩnh mã của mình

Hãy tưởng tượng bạn thêm một dòng khác cố gắng khởi tạo lớp đã xác định bằng cách sử dụng

@attr.s
class SomeClass:
    a_number = attr.ib[default=42]  # type: int
    list_of_numbers = attr.ib[factory=list, type=list[int]]

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

Điều này xảy ra mà không cần chạy mã của bạn

Và nó cũng hoạt động với cả các kiểu chú thích Python 2 kiểu. Đối với Mypy, mã này tương đương với mã ở trên

@attr.s
class SomeClass:
    a_number = attr.ib[default=42]  # type: int
    list_of_numbers = attr.ib[factory=list, type=list[int]]

Pyright#

attrs cung cấp hỗ trợ cho Pyright mặc dù thông số kỹ thuật của

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

Đưa ra định nghĩa sau, Pyright sẽ tạo chữ ký kiểu tĩnh cho truy cập thuộc tính

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

$ mypy t.py
t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"

Cảnh báo

Các kiểu suy luận Pyright là một tập hợp con nhỏ của những kiểu được Mypy hỗ trợ, bao gồm

• Chữ ký

  $ mypy t.py
  t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"
  

  5 được tạo chỉ bao gồm các chú thích loại thuộc tính. Nó hiện không bao gồm các loại thuộc tính

  $ mypy t.py
  t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"
  

  8

• Trình trang trí

  $ mypy t.py
  t.py:12: error: Argument 1 to "SomeClass" has incompatible type "str"; expected "int"
  

  9 không được nhập với các thuộc tính cố định, được nhập đúng thông qua

  @attr.s
  class SomeClass:
      a_number = attr.ib[default=42]  # type: int
      list_of_numbers = attr.ib[factory=list, type=list[int]]
  

  0

  Có thể tìm thấy danh sách đầy đủ các giới hạn và tính không tương thích trong kho lưu trữ của Pyright

Phản hồi mang tính xây dựng của bạn được hoan nghênh ở cả attrs#795 và pyright#1782. Nói chung, quyết định cải thiện hỗ trợ attrs trong Pyright hoàn toàn là đặc quyền của Microsoft.

__ chú thích __ trong Python là gì?

Bạn có thể chỉ định loại trong Python không?

PEP 484 là gì?

Bạn có nên sử dụng chú thích kiểu Python không?