本文讲解如何在 snakemake 中实现基于输入文件名（含扩展名）动态推导输出文件名（如将 `a.tar` → `a.txt`），避免硬编码或错误使用 python 函数操作通配符，强调“输出驱动”原则和通配符一致性设计。
Snakemake 的核心机制是从输出反向推导输入（output-driven），而非像普通脚本那样顺序执行。这意味着通配符 {mywildcard} 的取值必须由 Snakemake 在匹配实际输出文件路径时统一解析——它不会在 output 或 shell 中对字符串做运行时 Python 解析（例如 os.path.splitext(...) 会直接报错，因为此时通配符尚未被实例化）。
因此，正确的做法是让通配符本身代表不带扩展名的基名，并通过显式声明输入/输出的完整路径模式，使 Snakemake 能自动完成双向匹配。例如：
rule test:
input: "{mywildcard}.tar" # 输入必须明确包含 .tar 扩展名
output: "{mywildcard}.txt" # 输出对应同一名字，但扩展名为 .txt
shell: "some command {input} > {output}"当 Snakemake 执行时，若目标是生成 A.txt，它会尝试匹配该输出模式：{mywildcard} = "A"，进而推导出所需输入为 A.tar。只要工作目录中存在 A.tar，该规则即可触发，并在 shell 命令中正确展开为：
some command A.tar > A.txt
✅ 关键要点：
- 通配符名称（如 {mywildcard}）应语义清晰，代表逻辑上的“基础标识符”，而非完整路径；
- 输入和输出的通配符占位符必须完全一致（即同名、同位置），Snakemake 才能建立映射关系；
- 避免在 output 或 input 中嵌入 Python 表达式（如 os.path.splitext），这违反 Snakemake 的静态路径解析机制；
- 若需处理多种输入扩展名（如 .tar, .gz, .zip），可使用多规则或 checkpoint + expand() 动态生成，但通配符设计原则不变。
⚠️ 注意：若强行在 output 中写 os.path.splitext("{mywildcard}")[0] + ".txt"，Snakemake 会将其视为字面字符串，无法识别 {mywildcard} 为通配符，导致匹配失败或 WildcardError。
综上，Snakemake 的通配符不是模板变量，而是路径模式中的可解构符号。合理设计输入/输出的文件名模式，才是实现灵活、可维护工作流的根本方法。
