python - PyCharm - 预期类型 'Optional[IO[str]]' ，取而代之的是 'TextIOWrapper[str]'

Question

PyCharm升级到2017.1后，看似简单正确的地方开始弹出新的检查警告。它看起来如下:

看起来 open() 没有返回 file 参数的预期类型，但代码非常简单，最重要的是，它确实按预期工作(使用 Python 3.5.2)。

Python docs提到一种使用 StringIO 的方法，它确实消除了警告，但是这是为 print 指定输出流的正确 pythonic 方法吗？如果是这样，为什么？遵循这个警告很重要吗？

Answer 1

我找到的唯一解决方案是正确键入 hint PyCharm:

from typing import IO

with open('output_filename', 'w') as f:  # type: IO[str]
    print('some text to go to the file...', file=f)

这会让 PyC​​harm 开心，并且不会以任何方式妨碍代码的正确运行。