二进制文件类对象的正确类型

Question

我使用 Python 类型提示定义了以下函数：

from typing import BinaryIO

def do_something(filename: str):
    my_file = open(filename, "rb")
    read_data(my_file)

def read_data(some_binary_readable_thing: BinaryIO):
    pass

但是，我的 IDE（PyCharm 2017.2）在我调用的行上给了我以下警告read_file：

Expected type 'BinaryIO', got 'FileIO[bytes]' instead

我在这里使用的正确类型是什么？PEP484将 定义BinaryIO为“的简单子类型IO[bytes]”。难道FileIO不符合IO？

Answer 1

这看起来像是 Pycharm 或模块中的错误typing。从typing.py模块：

class BinaryIO(IO[bytes]):
    """Typed version of the return of open() in binary mode."""
    ...

该文档还指定：

这些表示 I/O 流的类型，例如 open() 返回的类型。

所以它应该按规定工作。目前，解决方法是显式使用FileIO.

from io import FileIO

def do_something(filename: str):
    my_file = open(filename, "rb")
    read_data(my_file)

def read_data(some_binary_readable_thing: FileIO[bytes]):
    pass