Python 3.15 t-string 怎样用于模板化文本

在 Python 3.15 中，t-string 先产生 string.templatelib.Template，再由处理函数决定怎样组合静态文本与插值。它适合需要在拼接前检查或转换插值的场景；如果只要一段普通字符串，f-string 通常更直接。t-string 在 Python 3.14 已加入，不是 3.15 才出现的新语法。

官方模板库文档：https://docs.python.org/3.15/library/string.templatelib.html

接收方需要 str，为什么传入 t-string 后不对了

把 f"任务 {name}" 改成 t"任务 {name}" 后，返回对象的类型变了。仅接受字符串的处理函数不会因此自动理解模板，打印 Template 也不能代替正确渲染。不要把 str(template) 当成通用渲染接口：模板没有一种适用于所有输出场景的标准文本转换策略。

先判断目的。如果需要保留静态片段和插值对象，供明确的处理器使用，就保留 Template；如果仅需要终端显示一条简单消息，则保留 f-string，不必为了前缀统一而引入模板处理层。

静态文字、插值值和表达式文本各有用途

下面六个实体组成模板边界：Template 容纳静态片段与Interpolation；插值对象保存插值值、表达式文本和格式元数据。其中格式元数据包括 conversion 与 format_spec，处理器可以支持，也可以明确拒绝。

t"任务 {name}，数量 {count}" 创建时，表达式已经按所在作用域求值。后续再给 name 赋一个新字符串，不会让模板重新执行这个表达式。若值本身是可变对象，后续处理仍可能受到对象修改影响，因此模板属性不可重新赋值，不等于所有插值都被深拷贝。

expression 是描述插值表达式的文本，不能把它交给 eval() 再执行。模板字面量也不是一个供不可信用户提交任意 Python 源码的安全沙箱。

用受限处理器生成纯文本

以下完整教学示例仅支持原生 str 和 int 插值，不支持格式说明或转换标志；单个插值文本限制为 200 个字符，最终文本限制为 1000 个字符。这些是本例策略，不是标准库的默认限制，也不是全面的资源安全保障。

from string.templatelib import Interpolation, Template

def render_plain(template: Template) -> str:
    if not isinstance(template, Template):
        raise TypeError("需要 Template 对象")

    pieces: list[str] = []
    total = 0
    for item in template:
        if isinstance(item, str):
            text = item  # 静态片段来自程序中的模板定义。
        elif isinstance(item, Interpolation):
            # 不忽略调用方指定的格式，而是拒绝未实现的能力。
            if item.conversion is not None or item.format_spec:
                raise ValueError("本处理器不支持转换或格式说明")
            if type(item.value) not in (str, int):
                raise TypeError("插值仅支持原生字符串和整数")
            text = str(item.value)
            if len(text) > 200:
                raise ValueError("单个插值过长")
        else:
            raise TypeError("不支持的模板片段")

        total += len(text)
        if total > 1000:
            raise ValueError("最终文本过长")
        pieces.append(text)

    return "".join(pieces)

def make_summary(name: str, count: int) -> str:
    # 先约束业务参数；布尔值不作为数量接收。
    if type(name) is not str or type(count) is not int:
        raise TypeError("参数类型不正确")
    if count 

按代码逻辑，示例应得到“任务 演示归档，数量 3”；这是预期文本，不是本轮执行输出。处理器遍历时会交错收到非空静态字符串与插值对象，空字符串在迭代中省略，因此不要依靠迭代下标与 template.strings 下标严格一一对应。

本例明确只输出纯文本，并保留插值中的普通字符。它不处理 HTML、SQL 或 shell；生成的字符串也不能因此被当作已转义的其他语言内容使用。

转换与格式要显式选择，不静默丢弃

t-string 可以保存 !r 或 :.2f 等元数据，但它们不像 f-string 那样自动完成相应文本转换。处理器要负责解释这些要求。标准库提供 convert() 辅助实现 f-string 风格的转换，格式处理也需单独决定。

本例选择拒绝这些能力，所以 render_plain(t"{name!r}") 应进入 ValueError 分支，不能因为输出“看起来差不多”就忽略 !r。若以后扩展格式支持，应定义允许的格式词表、宽度与精度限制，以及值的类型范围，而不是把任意格式交给所有对象。

嵌套在格式说明中的表达式也会在创建模板时求值，不能用渲染阶段的拒绝，承诺创建阶段没有发生副作用。昂贵调用、数据库访问或可能失败的函数，应先在业务层明确执行和处理，再把所得数据放入模板。

失败时回退到明确的旧路径，而不是对象表示

把模板创建与业务数据归入输入边界，把纯文本处理器与策略错误归入处理边界，把最终字符串与旧文本路径归入输出边界。模板创建可能因表达式求值失败，处理器可能因类型或格式策略拒绝输入，两者需要分别定位。

兼容旧解释器时，在 if 分支里保留 t-string 语法也不能让旧解析器跳过语法解析。可以把新语法模块与旧路径分开管理，或继续使用旧的纯文本格式化实现。旧路径必须保持相同的业务输入及长度规则，不能用宽松 f-string 绕过处理器的拒绝。

业务输入不合规时，不应吞掉异常后输出 repr(template)，这可能泄露插值内容和表达式细节。需要降级提示时，返回不含用户输入的固定消息；需要保留旧输出时，则在部署开关上明确选择经过约定的旧路径，而不是把每一次策略失败自动当成降级条件。

怎样确认输出契约没有漂移

这些是读者在自身项目中可执行的行为检查，不是已经通过的测试报告。上线观察应记录处理器版本、错误类别与模板标识，而不是默认把完整模板值写入日志。输出类型仍需与下游接口约定，不能把 Template 对象直接提交给期待 str 的网络客户端。

什么时候继续用 f-string

只有简单、可信的纯文本拼接，并且不需要在组合前识别插值时，f-string 更直接。需要集中策略、结构化记录或上下文处理时，t-string 提供的是处理机会，安全和格式正确性仍取决于具体处理器。

语言语法说明：https://docs.python.org/3.15/reference/lexical_analysis.html
设计说明 PEP 750：https://peps.python.org/pep-0750/

两个相关问题

t-string 是延迟计算表达式吗？不是。普通插值表达式在创建时求值，推迟的是对这些值的处理与组合。

把 f 前缀换成 t 就自动防注入吗？不会。它保留结构，帮助处理器采取适当规则，但没有默认的通用转义效果。不要将本文的纯文本处理器用于其他输出上下文。

模板化文本的关键是建立明确接口：Template 保存结构，处理器定义规则，最终消费者接收处理结果。创建、渲染和回退分别有边界，才不会把一种新对象误当成普通字符串。