Python 3.7+基于PEP 563的类型提示写法哪种更推荐？

好问题！在Python 3.7配合PEP 563（延迟注解评估，需通过from __future__ import annotations启用）的环境下，两种写法功能确实一致，但官方更推荐第二种直接使用list[int]的内置泛型语法，原因如下：

• 简洁直观，无需额外导入：不用再从typing模块导入List，代码更清爽。list是Python开发者每天都会接触的内置类型，加上[int]明确元素类型，逻辑更顺，新手也更容易理解。
• 符合Python官方演进方向：PEP 585正式将list、dict、set等内置类型的泛型语法纳入标准，从Python 3.9开始原生支持；而PEP 563让3.7/3.8版本也能兼容这种写法。现在官方文档的示例大多已转向这种写法，typing.List更多是为了兼容3.8及以下的旧版本场景。
• 工具生态支持完善：正如你提到的PyCharm已经支持，目前主流IDE（VS Code+PyLance、PyCharm）、类型检查器（mypy、pyright）都对list[int]这种写法有完整的支持，不会出现报错或异常提示。

补充说明 #

如果你的代码需要兼容Python 3.8及以下且未启用PEP 563的环境，那还是得使用typing.List；但在你当前3.7+PEP563的场景下，完全可以放心使用list[int]的写法。

总结一下：在你的环境中，优先选择def merge(xs: list[int], ys: list[int]) -> list[int]: return xs + ys这种写法，它更现代、简洁，也贴合Python的未来发展趋势。

内容的提问来源于stack exchange，提问作者Eastsun