Python str.isidentifier 为什么不能排除保留关键字

如果你用 str.isidentifier() 检查用户输入的变量名，却发现 def 和 class 也通过了，不是 Python 判断错了，而是检查目标少了一层。str.isidentifier() 只判断字符串是否符合标识符的词法形态；要排除保留关键字，还要配合 keyword.iskeyword()。

官方文档：https://docs.python.org/3/builtins/stdtypes.html#str.isidentifier

实用规则是：先用 candidate.isidentifier() 判断“像不像一个合法名称”，再用 keyword.iskeyword(candidate) 判断“是不是 Python 保留关键字”。只有前者为真、后者为假时，名称才适合继续保存或生成代码。

先分清名称形态和关键字身份

Python 官方文档把这两个判断分开：str.isidentifier() 按语言定义检查有效标识符，keyword.iskeyword() 则检查字符串是否为保留标识符。也就是说，关键字在“形态”上可以是合法标识符，但在“身份”上有语言专用用途。

这正是 def 和 class 容易造成误解的地方。它们由字母组成，形态上没有问题，所以 isidentifier() 返回 True；但它们是 Python 语法的一部分，不能直接当作普通名称使用。

用最小示例看出两个判断的差异

把几类常见输入放在同一张表里，差异会更直观：普通名称通过两层判断，保留关键字只通过形态判断，带连字符的文本连形态判断也不能通过。

from keyword import iskeyword

# 同时展示“形态合规”和“是否为保留关键字”两种语义。
samples = ["hello", "def", "class", "user_name", "user-name", ""]

for candidate in samples:
    print(
        candidate,
        candidate.isidentifier(),
        iskeyword(candidate),
    )

预期的判断关系可以这样理解：hello 和 user_name 是合法且非关键字；def、class 是合法形态但属于关键字；user-name 含有减号，空字符串也没有可作为名称的内容。

把两个布尔条件组合成命名检查

如果应用的需求是“名称可作为普通标识符”，可以把业务语义封装成一个函数。函数名表达业务意图，调用方不必重复记住两个标准库判断的组合关系。

import keyword


def is_valid_name(candidate: str) -> bool:
    # 非字符串输入不属于名称候选，避免调用字符串方法时报错。
    if not isinstance(candidate, str):
        return False

    # 先排除形态不合法的文本，再排除 Python 保留关键字。
    return candidate.isidentifier() and not keyword.iskeyword(candidate)


for candidate in ("hello", "def", "user-name"):
    # 业务层只消费一个清晰的 True/False 结果。
    print(candidate, is_valid_name(candidate))

这个组合还利用了 and 的短路特性：形态不合规时不会继续做关键字判断。更重要的是，它把“合法标识符”和“可作为普通名称”分成两种概念，后续如果业务规则变化，修改位置也很集中。

处理 Unicode、软关键字和输入边界

isidentifier() 面向 Python 的标识符规则，不等于“只允许 ASCII 英文、数字和下划线”。某些 Unicode 字符也可能构成合法名称，因此不要先用过窄的正则表达式把它们全部过滤掉，除非你的产品明确要求 ASCII 命名。

import keyword

# 用实际候选对照 Unicode 名称、前导数字和连字符边界。
samples = ("变量名", "naïve", "2users", "user-name")

for candidate in samples:
    allowed = candidate.isidentifier() and not keyword.iskeyword(candidate)
    print(candidate, allowed)

还要注意“保留关键字”和“所有语法上有特殊含义的词”不是完全相同的概念。本文的函数使用 keyword.iskeyword() 处理 Python 保留关键字；如果你的工具要生成特定上下文中的代码，还应根据目标语法、版本和生成位置补充更窄的规则，不能把一个布尔方法当成完整解析器。

输入类型也值得提前约定。None、整数或列表没有字符串的 isidentifier() 方法，边界层可以像上面的函数一样先返回 False，也可以改为抛出类型错误；关键是让调用方知道这是“名称不可用”，而不是把异常留给更深层。

让校验结果服务于后续动作

校验通过后要做什么，取决于业务场景。表单可以提示用户重新输入，导入工具可以自动添加前缀，代码生成器则通常应该拒绝继续并保留原始输入。不要把自动改名和静默截断混在一个函数里，否则读者或调用方很难判断名称是否已经改变。

def require_name(candidate: str) -> str:
    # 只负责确认名称可用，不在校验函数里偷偷修改用户输入。
    if not is_valid_name(candidate):
        raise ValueError("名称必须是非关键字的 Python 标识符")
    return candidate


try:
    # 生成代码前先阻断关键字和非法形态，避免把错误推迟到编译阶段。
    name = require_name("class")
except ValueError as exc:
    # 调用方可以把异常转换成表单提示、导入报告或日志。
    print(exc)

用清单确认校验没有漏项

• 你要判断的是“符合标识符形态”，还是“可作为普通名称”？后者必须额外排除关键字。
• 是否用 keyword.iskeyword() 检查了 def、class 这类形态合法但身份特殊的文本？
• 是否明确处理空字符串、前导数字、连字符、Unicode 名称和非字符串输入？
• 校验失败后是提示、改名还是拒绝保存？动作应该由业务层决定，不能隐藏在布尔判断里。
• 如果目标是生成完整 Python 代码，是否还需要按照目标语法上下文做更高层解析，而不是只依赖两个方法？

相关问题

为什么 def.isidentifier() 会返回 True？

因为 def 的字符形态符合 Python 标识符规则。它是否为保留关键字是另一层语义，应使用 keyword.iskeyword("def") 判断。

只用关键字列表判断够吗？

不够。关键字判断只能回答“是不是保留字”，不能识别空字符串、前导数字或包含连字符的名称。通常要把 isidentifier() 和 iskeyword() 组合起来。

能否用正则表达式完全替代它们？

不建议把正则当成完整替代方案。Python 标识符涉及语言规则和 Unicode，业务只需要检查 Python 名称时，优先使用标准库语义，再按项目约束增加额外限制。