如何在Python 3.10中生成符合PEP 440版本规范的示例版本？

我有一个PEP 440版本规范，例如">=1.0,<2.0"，它定义了Python包的有效版本范围。我希望生成符合该规范的示例版本列表。
例如，若规范为">=1.0,<2.0"，有效示例版本可以是1.0.1、1.5.3或1.9.9；无效示例版本包括0.9.5、2.0.0或3.0.0。

请问在Python 3.10中实现这一需求的最简方式是什么？应该使用正则表达式、packaging库还是其他方法？

我当前的实现思路是按逗号拆分版本规范，移除其中的比较运算符，再尝试创建Version对象。以下示例中我允许无效版本，因为我的使用场景对此不做要求：

from packaging.version import Version, InvalidVersion

comp_ops = ["===", "~=", "<=", ">=", "!=", "==", "<", ">"]    # order matters
version_spec = ">=1.0,<2.0"
versions = []

for v in version_spec.split(','):
    version = v
    for op in comp_ops:
        version = version.removeprefix(op)
    try:
        versions.append(Version(version))
    except InvalidVersion:
        pass

最简实现方案：用packaging库的SpecifierSet #

在Python 3.10里，直接用packaging库的SpecifierSet+Version类是最可靠的选择，完全没必要用正则表达式——PEP 440的版本规则太复杂（比如预发布版、本地标识符这些），正则很难覆盖全，而packaging是官方推荐的版本处理工具，能完美兼容PEP 440标准。

核心逻辑 #

1. 用SpecifierSet解析整个版本规范字符串，它会自动处理所有比较运算符和范围规则
2. 生成候选版本后，通过specifier.contains(version)直接判断是否符合规范
3. 基于规范里的边界版本衍生示例（比如给下限加小版本号，上限减小版本号）

完整代码示例 #

from packaging.version import Version, InvalidVersion
from packaging.specifiers import SpecifierSet

def generate_valid_version_examples(spec_str, count=3):
    spec_set = SpecifierSet(spec_str)
    examples = []
    
    # 提取规范中的边界版本
    boundary_versions = []
    for spec in spec_set:
        try:
            v_str = spec.version
            boundary_versions.append(Version(v_str))
        except InvalidVersion:
            continue
    
    if not boundary_versions:
        return []
    
    min_v = min(boundary_versions)
    max_v = max(boundary_versions)
    
    # 生成有效示例版本
    # 针对>=1.0,<2.0这类范围，生成中间值、下限微调、上限微调的版本
    lower_v = Version(f"{min_v.major}.{min_v.minor}.1") if len(min_v.release)>=2 else Version(f"{min_v.major}.{min_v.minor}.0")
    mid_release = list(min_v.release)
    mid_release[-1] += 5 if len(mid_release)>=1 else 0
    mid_v = Version(".".join(map(str, mid_release)))
    upper_v = Version(f"{max_v.major-1}.9.9") if max_v.major > min_v.major else Version(f"{max_v.major}.{max_v.minor-1}.9")
    
    examples.extend([lower_v, mid_v, upper_v])
    
    # 去重并确保符合规范
    valid_examples = []
    for v in examples:
        if v not in valid_examples and spec_set.contains(v):
            valid_examples.append(str(v))
            if len(valid_examples) >= count:
                break
    
    return valid_examples

# 测试
version_spec = ">=1.0,<2.0"
print(generate_valid_version_examples(version_spec))
# 输出示例：['1.0.1', '1.5.0', '1.9.9']

对你现有代码的点评 #

你的代码能提取边界版本，但没有利用packaging的核心能力来验证版本是否符合规范。如果只是提取边界，代码可以简化，但要生成有效示例，必须结合SpecifierSet.contains()来确保版本在范围内。

另外，removeprefix是Python 3.9+的方法，3.10里用没问题，要是需要兼容更早版本，可以改成spec.split(op, 1)[-1]。

为什么不用正则表达式？ #

PEP 440的版本规则包含太多复杂场景：

• 主/次/修订号的多格式组合
• 预发布版（比如1.0.0a1）
• 发布后版本（比如1.0.0.post1）
• 本地版本标识符（比如1.0.0+abc123）

正则表达式很难覆盖所有这些情况，而packaging已经实现了完整的PEP 440解析逻辑，用它最省心。

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