ファイルまたはファイルのようなオブジェクトのヒントを入力しますか？

Pythonのファイルまたはファイルのようなオブジェクトに使用する正しい型のヒントはありますか？たとえば、この関数の戻り値をどのように入力するのでしょうか。

def foo():
    return open('bar')

テキストモードまたはバイナリモードで開かれたファイルには、それぞれtyping.TextIOまたはtyping.BinaryIOタイプを使用します。

ドキュメントから：

クラス typing.IO

I / Oストリームタイプのラッパー名前空間。

これは、ジェネリック型IO[AnyStr]とエイリアスTextIO、およびBinaryIOそれぞれIO[str]とを定義しますIO[bytes]。これらは、によって返されるなどのI / Oストリームのタイプを表しopen()ます。

簡単な答え：

• 明示的である必要があります。それfrom typing import TextIOだけではありませんfrom typing import *。
• IO種類を指定せずにファイルを意味するために使用
• 使用TextIOまたはBinaryIOあなたのタイプを知っていれば
• 現在、書き込みまたはそのエンコードのために開くように指定することはできません。

例として：

from typing import BinaryIO

def binf(inf: BinaryIO):
    pass

with open('x') as f:
    binf(f)

（PyCharmで）の検査エラーを与える Expected type 'BinaryIO', got 'TextIO' instead