Skip to main content
本指南介绍使用子图的机制。子图是在另一个中作为节点使用的图。 子图适用于:
  • 构建多智能体系统
  • 在多个图中复用一组节点
  • 分布式开发:当你希望不同团队独立开发图的不同部分时,可以将每个部分定义为子图,只要子图接口(输入和输出模式)得到遵守,父图就可以在不了解子图任何细节的情况下构建

设置

为 LangGraph 开发设置 LangSmith 注册 LangSmith 以快速发现问题并提升 LangGraph 项目的性能。LangSmith 让你使用追踪数据来调试、测试和监控使用 LangGraph 构建的 LLM 应用——了解更多关于如何开始使用 LangSmith

定义子图通信

添加子图时,你需要定义父图和子图如何通信:

在节点内调用子图

当父图和子图有不同的状态模式(没有共享键)时,在节点函数内调用子图。这在多智能体系统中很常见,例如你希望为每个智能体维护私有消息历史时。 节点函数在调用子图之前将父图状态转换为子图状态,并在返回之前将结果转换回父图状态。
这是一个两级子图的示例:父图 -> 子图 -> 孙图。

将子图添加为节点

当父图和子图共享状态键时,你可以直接将编译后的子图传递给 add_node。不需要包装函数——子图会自动从父图的状态通道读取和写入。例如,在多智能体系统中,智能体通常通过共享的 messages 键进行通信。 子图 如果你的子图与父图共享状态键,可以按照以下步骤将其添加到图中:
  1. 定义子图工作流(下面示例中的 subgraph_builder)并编译它
  2. 在定义父图工作流时,将编译后的子图传递给 add_node 方法

子图持久化

使用子图时,你需要决定其内部数据在多次调用之间如何处理。考虑一个委托给专家子智能体的客服机器人:计费专家子智能体应该记住客户之前的问题,还是每次调用都重新开始? .compile() 上的 checkpointer 参数控制子图持久化: 每次调用模式适用于大多数应用,包括子智能体处理独立请求的多智能体系统。当子智能体需要多轮对话记忆时使用每线程模式(例如,在多次交换中积累上下文的研究助手)。
父图必须使用检查点器编译,子图持久化功能(中断、状态检查、每线程记忆)才能工作。参见持久化
下面的示例使用 LangChain 的 create_agent,这是构建智能体的常见方式。create_agent 在底层生成一个 LangGraph 图,因此所有子图持久化概念都直接适用。如果你使用原始 LangGraph StateGraph 构建,相同的模式和配置选项同样适用——详见图 API

有状态

有状态子图继承父图的检查点器,这使得中断持久执行和状态检查成为可能。两种有状态模式的区别在于状态保留的时间长度。

每次调用(默认)

这是大多数应用的推荐模式,包括子智能体作为工具调用的多智能体系统。它支持中断、持久执行和并行调用,同时保持每次调用的隔离。
当子图的每次调用是独立的,且子智能体不需要记住之前调用的任何内容时,使用每次调用持久化。这是最常见的模式,特别是对于子智能体处理一次性请求(如”查找此客户的订单”或”总结此文档”)的多智能体系统。 省略 checkpointer 或将其设置为 None。每次调用从头开始,但在单次调用内子图继承父图的检查点器,并可以使用 interrupt() 暂停和恢复。 以下示例使用两个子智能体(水果专家、蔬菜专家)作为外部智能体的工具包装:
每次调用都可以使用 interrupt() 暂停和恢复。在工具函数中添加 interrupt() 以在继续之前要求用户确认:

每线程

当子智能体需要记住之前的交互时使用每线程持久化。例如,在多次交换中积累上下文的研究助手,或跟踪已编辑文件的编程助手。子智能体的对话历史和数据在同一线程上跨调用累积。每次调用从上次结束的地方继续。 使用 checkpointer=True 编译以启用此行为。
每线程子图不支持并行工具调用。当 LLM 可以访问每线程子智能体作为工具时,它可能会尝试并行多次调用该工具(例如,同时询问水果专家关于苹果和香蕉的问题)。这会导致检查点冲突,因为两次调用都写入同一命名空间。下面的示例使用 LangChain 的 ToolCallLimitMiddleware 来防止此问题。如果你使用纯 LangGraph StateGraph 构建,你需要自行防止并行工具调用——例如,通过配置模型禁用并行工具调用,或通过添加逻辑确保同一子图不会被并行调用多次。
以下示例使用带 checkpointer=True 编译的水果专家子智能体:
每线程子智能体像每次调用模式一样支持 interrupt()。在工具函数中添加 interrupt() 以要求用户确认:

无状态

当你想像普通函数调用一样运行子智能体而没有检查点开销时使用此模式。子图无法暂停/恢复,也不能从持久执行中受益。使用 checkpointer=False 编译。
没有检查点,子图就没有持久执行。如果进程在运行中途崩溃,子图无法恢复,必须从头开始重新运行。

检查点器参考

通过 .compile() 上的 checkpointer 参数控制子图持久化:
  • 中断 (HITL):子图可以使用 interrupt() 暂停执行并等待用户输入,然后从暂停处恢复。
  • 多轮记忆:子图在同一线程的多次调用之间保留状态。每次调用从上次结束的地方继续,而不是重新开始。
  • 多次调用(不同子图):可以在单个节点内调用多个不同的子图实例而不会产生检查点命名空间冲突。
  • 多次调用(相同子图):可以在单个节点内多次调用同一子图实例。使用有状态持久化时,这些调用写入同一检查点命名空间并产生冲突——请改用每次调用持久化。
  • 状态检查:子图的状态可通过 get_state(config, subgraphs=True) 获取,用于调试和监控。

查看子图状态

启用持久化后,你可以使用 subgraphs 选项检查子图状态。使用无状态检查点(checkpointer=False)时,不会保存子图检查点,因此子图状态不可用。
查看子图状态需要 LangGraph 能够静态发现子图——即它是作为节点添加的在节点内调用的。当子图在工具函数或其他间接方式中调用时(例如子智能体模式),此功能不起作用。无论嵌套层级如何,中断仍然会传播到顶层图。
仅返回当前调用的子图状态。每次调用都从头开始。

流式输出子图

要在流式输出中包含子图的输出,你可以在父图的 stream 方法中设置 subgraphs 选项。这将流式输出父图和任何子图的输出。
使用 version="v2" 时,子图事件使用相同的 StreamPart 格式。ns 字段标识来源图: