PyCharm类型检查不符合预期，能否启用类mypy--strict-optional功能？

我明白你想要的是让PyCharm的类型检查像mypy开启--strict-optional那样严格处理Optional类型，其实PyCharm本身就支持这个需求，下面给你具体的设置步骤和说明：

方法一：使用PyCharm自带的类型检查器 #

1. 打开PyCharm的设置面板：
   • Windows/Linux用户可以按Ctrl+Alt+S，Mac用户按Cmd+,
2. 在设置里导航到 Editor > Inspections > Python > Type checking issues
3. 勾选以下两个关键选项：
   • Non-nullable type is nullable：当你把可能为None的值赋值给非Optional类型的变量时，会触发警告
   • Nullable type is not checked：当你直接使用Optional类型的值却没有先检查是否为None时，会触发警告

完成这些设置后，PyCharm就会像开启了--strict-optional的mypy一样，强制你严谨处理Optional类型。比如你的示例代码：

from typing import Optional, List
import random

def r() -> Optional[List[int]]:
    if random.choice([0, 1]):
        return [1, 2, 3]
    return None

# 直接使用返回值而不检查None
result = r()
print(result[0])  # 这里PyCharm会立刻提示警告，提醒你result可能为None

方法二：结合mypy插件（更贴合mypy的严格逻辑） #

如果你习惯用mypy的原生规则，也可以安装PyCharm的mypy插件，然后配置--strict-optional参数：

1. 先在PyCharm的插件市场安装Mypy插件
2. 打开设置面板，导航到 Tools > Mypy
3. 在Arguments输入框中添加--strict-optional，保存设置
4. 开启后，PyCharm会直接调用mypy进行类型检查，完全遵循--strict-optional的规则

这样无论你选哪种方式，都能实现你想要的严格Optional类型检查效果啦。

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