如何在运行时结合字典与格式字符串实现f-string格式化能力？

我们可以用.format()实现基础的字符串格式化：

$ python -c 'import sys; print(sys.argv[1].format(**dict(val = 1)))' "val={val}"
val=1

但.format()不支持f-string的表达式功能，比如尝试嵌入条件表达式时会直接报错：

$ python -c 'import sys; print(sys.argv[1].format(**dict(val = 1)))' "val={'1' if val else '2'}"
Traceback (most recent call last):
  File "<string>", line 1, in <module>
KeyError: "'1' if val else '2'"

那如何在运行时结合格式字符串与字典，实现f-string的格式化能力？

我试过以下代码，但无法触发f-string的求值逻辑：

python -c 'import sys; locals().update(dict(val=1)); print(sys.argv[1])' "val={'1' if val else '2'}"

目前用这段代码能实现需求，但感觉是取巧的方式，有没有更优的方案？

$ python -c 'import sys; locals().update(dict(val=1)); print(eval(f"f{sys.argv[1]!r}"))' "val={'1' if val else '2'}"
val=1

方案1：保留eval构造f-string的实现 #

你当前用的eval(f"f{sys.argv[1]!r}")其实是合理的实现思路——因为f-string本质是编译时将表达式转换为格式化代码，运行时要动态实现，构造f-string字面量再用eval解析是最直接的方式。但要注意安全风险：如果输入的格式字符串不可信，eval会执行任意代码，生产环境必须谨慎使用。

方案2：自定义安全表达式解析器（规避eval风险） #

如果担心eval的安全问题，可以用ast模块解析并安全求值表达式，避免执行恶意代码：

import sys
import ast

def dynamic_format(fmt_str, context):
    parts = []
    idx = 0
    while idx < len(fmt_str):
        # 找到表达式起始位置
        start = fmt_str.find('{', idx)
        if start == -1:
            parts.append(fmt_str[idx:])
            break
        # 添加表达式前的普通文本
        parts.append(fmt_str[idx:start])
        # 找到表达式结束位置
        end = fmt_str.find('}', start)
        if end == -1:
            parts.append(fmt_str[start:])
            break
        # 提取并求值表达式
        expr_content = fmt_str[start+1:end]
        try:
            # 用AST验证表达式语法，避免恶意代码
            expr_ast = ast.parse(expr_content, mode='eval').body
            result = eval(compile(expr_ast, '', 'eval'), {}, context)
            parts.append(str(result))
        except Exception as e:
            # 表达式解析失败时保留原内容
            parts.append(f'{{{expr_content}}}')
        idx = end + 1
    return ''.join(parts)

if __name__ == '__main__':
    ctx = dict(val=1)
    print(dynamic_format(sys.argv[1], ctx))

运行测试：

$ python -c 'import sys; import ast; def dynamic_format(fmt_str, context): parts = []; idx = 0; while idx < len(fmt_str): start = fmt_str.find("{"); if start == -1: parts.append(fmt_str[idx:]); break; parts.append(fmt_str[idx:start]); end = fmt_str.find("}", start); if end == -1: parts.append(fmt_str[start:]); break; expr_content = fmt_str[start+1:end]; try: expr_ast = ast.parse(expr_content, mode="eval").body; result = eval(compile(expr_ast, "", "eval"), {}, context); parts.append(str(result)); except Exception as e: parts.append(f"{{{expr_content}}}"); idx = end +1; return "".join(parts); ctx = dict(val=1); print(dynamic_format(sys.argv[1], ctx))' "val={'1' if val else '2'}"
val=1

这个方法通过ast先校验表达式的合法性，能有效阻止恶意代码执行，适合处理不可信输入的场景，但实现相对复杂。

方案3：使用Jinja2模板引擎（复杂场景首选） #

如果需要更复杂的格式化逻辑（比如循环、多条件分支），可以用Jinja2这类成熟的模板引擎：

# 先安装依赖
$ pip install jinja2
# 运行测试
$ python -c 'import sys; from jinja2 import Template; print(Template(sys.argv[1]).render(val=1))' "val={'1' if val else '2'}"
val=1

Jinja2的语法和f-string接近，支持更多高级功能，同时比直接eval更安全，是复杂动态格式化场景的理想选择。

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