“With” ifadesi tür ipucunu destekliyor mu?

withSözdizimi ile tanımlanan bir değişken için tür ipucunu tanımlayabilir misiniz ?

with example() as x:
    print(x)

Bunu söylemek için yukarıda ipucu tip istiyoruz xa, str(örneğin).

Bulduğum tek iş bir ara değişken kullanmaktır, ancak bu kibirli hissettirir.

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

Yazma belgelerinde bir örnek bulamıyorum .

python python-3.x type-hinting

— Reactgular
kaynak

Tip dama x, dönüş türü olarak türünü çıkaramaz example().__enter__()mı?

— pschill

Neden xyalnızca dönüş türü olduğunda açıklama eklemek istersiniz example.__enter__? İdeal olarak, bu yönteme / işleve açıklama eklediniz.

— a_guest

xdönüş değeri değil example; dönüş değeri example().__enter__().

— chepner

Bulduğum çoğu yöntem, dönüş değeri için bir tür ipucu tanımlamaz.

— Reactgular

@Reactgular Daha sonra çözüm, bu işlev için bir saplama dosyası oluşturmaktır , böylece tür denetleyicisi türü çıkarabilir. Genellikle API sınırlarına açıklama eklersiniz, içeride değil. Bu durumda türün geldiği açıktır example. Ek açıklama example.__enter__, bir ek açıklama anlamına gelirken, yaklaşımınızla bu bağlam yöneticisinin kullanıldığı tüm yerlere ek açıklama eklemeniz gerekir , ayrıca genel olarak bir kullanıcının sağlanmadığı takdirde bir API'nın dönüş türünün nasıl olduğunu nasıl bilmesi gerekir?

— a_guest

Yanıtlar:

Python 3.6'da uygulanan PEP 526, değişkenlere açıklama eklemenizi sağlar. Örneğin,

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

veya

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

— pschill
kaynak

Bu aynı zamanda diğer kod blokları için de geçerlidir for. Harika cevap, teşekkür ederim.

— Reactgular

Bağlam yöneticisi __enter__yöntemin neyi döndüreceğini ima xetmezse , yazmanın herhangi bir amacı yoktur. mypyherhangi bir tür değerin bağlanmasına izin verir x.

— chepner

@ chepner Evet haklısın. PyCharm her iki durumda xolduğu gibi tanır str, ancak mypytanımaz.

— pschill

Genellikle tip ek açıklamaları API sınırlarına yerleştirilir. Bu durumda, türden çıkarılmalıdır example.__enter__. Bu işlevin herhangi bir tür bildirmemesi durumunda çözüm, tür denetleyicisinin bu türü çıkarmasına yardımcı olmak için karşılık gelen bir saplama dosyası oluşturmaktır .

Özellikle bu , içe aktarılan .pyimodülle aynı gövdeye sahip bir dosya oluşturmak anlamına gelir Example. Sonra aşağıdaki kod eklenebilir:

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

— Bir konuk
kaynak