Có một câu lệnh với các câu lệnh hỗ trợ kiểu gợi ý?

Bạn có thể xác định gợi ý loại cho một biến được xác định bằng withcú pháp không?

with example() as x:
    print(x)

Tôi muốn gõ gợi ý ở trên để nói rằng đó xlà một str(ví dụ).

Công việc duy nhất mà tôi tìm thấy là sử dụng một biến trung gian, nhưng điều này cảm thấy khó khăn.

with example() as x:
    y: str = x
    print(y)

Tôi không thể tìm thấy một ví dụ trong tài liệu đánh máy .

PEP 526, đã được triển khai trong Python 3.6, cho phép bạn chú thích các biến. Bạn có thể sử dụng, ví dụ,

x: str
with example() as x:
    [...]

hoặc là

with example() as x:
    x: str
    [...]

Thông thường các chú thích loại được đặt ở ranh giới API. Trong trường hợp này, loại nên được suy ra example.__enter__. Trong trường hợp hàm đó không khai báo bất kỳ loại nào, giải pháp là tạo một tệp sơ khai tương ứng để giúp trình kiểm tra loại suy ra loại đó.

Cụ thể, điều này có nghĩa là tạo một .pyitệp có cùng gốc với mô-đun Exampleđược nhập. Sau đó, mã sau đây có thể được thêm vào:

class Example:
    def __enter__(self) -> str: ...
    def __exit__(self, exc_type, exc_value, exc_traceback) -> None: ...