PyCharm - 预期类型'Optional [IO [str]]'，改为'TextIOWrapper [str]'

Question

将 PyCharm 更新到 2017.1 后，在一切看似简单正确的地方开始弹出新的检查警告。如下所示：

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

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

Answer 1

我找到的唯一解决方案是正确输入提示 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 很开心，并且不会以任何方式妨碍代码的正确运行。