在ag2ai/ag2项目中实现Swarm OnCondition的否定条件支持

背景与需求分析

在现代多Agent系统中，条件触发机制是控制流程流转的核心组件之一。ag2ai/ag2项目中的Swarm模块提供了OnCondition功能，允许开发者定义当特定条件满足时，Agent之间的转移行为。当前实现中，OnCondition的available参数支持通过字符串指定上下文变量键名，当该变量值为True时即判定条件可用。

然而，实际业务场景中经常需要处理"否定条件"的情况。例如：

1. 用户未登录时跳转认证流程
2. 当系统不处于维护状态时才允许执行操作
3. 资源未被锁定时才可进行修改

现有实现要求开发者必须创建值为False的上下文变量，或者通过复杂的条件表达式来实现，这增加了代码复杂度和维护成本。

技术实现方案

语法设计

建议采用前缀表示法，在上下文变量键名前添加"!"字符表示否定条件。这种设计具有以下优势：

• 保持向后兼容性，不影响现有代码
• 语法简洁直观，符合常见编程习惯
• 易于解析实现，无需复杂语法分析

示例：

# 传统True条件
OnCondition(target="agent1", available="is_authenticated")

# 新否定条件
OnCondition(target="auth_agent", available="!is_authenticated")

核心逻辑实现

在条件评估层需要扩展解析逻辑：

1. 检查available参数字符串是否以"!"开头
2. 去除前缀后获取实际的上下文变量键
3. 获取变量值后进行布尔取反操作
4. 综合其他条件进行最终可用性判定

错误处理

需要考虑的边界情况：

• 变量不存在时的默认处理策略
• 非布尔类型变量的转换规则
• 多重否定(如"!!flag")的处理方式

系统影响评估

该改进将影响以下组件：

1. 条件解析器：需要增强字符串预处理能力
2. 上下文管理器：保持现有接口不变
3. 状态转移引擎：评估逻辑需要支持否定条件

性能影响可忽略不计，仅增加一次字符前缀检查和可能的布尔取反操作。

最佳实践建议

1. 上下文变量命名应明确表达状态含义，如：

   • 优先使用"is_xxx"、"has_xxx"等布尔命名
   • 避免使用"not_xxx"等可能造成双重否定的名称

2. 复杂条件组合：

   # 组合条件示例
   OnCondition(
       target="fallback",
       available="!is_ready || !has_permission"
   )
   

3. 文档注释建议：

   # 当用户未登录且不在维护模式时跳转
   OnCondition(
       target="auth_agent",
       available="!is_logged_in", 
       condition="!maintenance_mode"
   )
   

未来扩展方向

1. 支持更丰富的条件表达式语法
2. 添加条件组合运算符(AND/OR)
3. 实现条件分组和优先级控制
4. 支持正则表达式匹配等高级特性

这个改进虽然看似简单，但能显著提升多Agent系统中状态转移控制的表达能力和开发效率，是框架实用性的重要增强。