如何处理Microsoft Solver Foundation中已存在活动模型的问题？

这个System.InvalidOperationException异常的核心原因很明确：SolverContext默认使用全局共享的上下文实例，同一个上下文在同一时间只能关联一个活跃模型。第一次创建模型后，上下文里已经绑定了这个模型，第二次调用CreateModel()时自然会冲突报错。

结合你的场景（点击按钮修改数据后重新计算），给你几个实用的解决方案，直接适配你的LinearResolve类：

方案1：每次使用独立的SolverContext实例（最推荐） #

不要依赖全局的SolverContext.GetContext()，而是每次创建新的上下文实例，用using语句自动管理生命周期，确保每次求解都是干净的环境：

class LinearResolve
{
    public string[] Zmienne { get; set; }
    // 其他属性（约束、目标函数参数等）

    public void CalculateResult()
    {
        // 每次求解都创建全新的上下文，用完自动释放
        using (var context = new SolverContext())
        {
            var model = context.CreateModel();
            
            // 这里添加你的业务逻辑：创建变量、绑定约束、设置目标函数
            // 示例：
            // Decision x = new Decision(Domain.RealNonnegative, Zmienne[0]);
            // model.AddDecision(x);
            // model.AddConstraint("ExampleConstraint", x <= 100);
            // model.AddGoal("MaximizeProfit", GoalKind.Maximize, x * 5);
            
            // 执行求解
            var solution = context.Solve(new SimplexDirective());
            
            // 处理并返回结果（比如解析solution.GetReport()）
        }
    }
}

按钮点击事件里直接复用这个类实例即可：

private LinearResolve _solver = new LinearResolve();

private void btnRecalculate_Click(object sender, EventArgs e)
{
    // 修改数据
    _solver.Zmienne = new string[] {"newVar1", "newVar2"};
    // 更新其他约束/参数...
    
    // 重新计算
    _solver.CalculateResult();
}

方案2：复用上下文，每次清理旧模型 #

如果不想每次创建新上下文，可以在每次求解前手动清理上下文里的旧模型：

class LinearResolve
{
    private readonly SolverContext _context;
    private Model _model;

    public string[] Zmienne { get; set; }

    public LinearResolve()
    {
        _context = SolverContext.GetContext();
    }

    public void CleanupOldModel()
    {
        // 清理上下文里的活跃模型
        _context.ClearModel();
        _model = null;
    }

    public void CalculateResult()
    {
        CleanupOldModel();
        
        _model = _context.CreateModel();
        // 后续添加变量、约束、求解逻辑和方案1一致
    }
}

按钮点击时先清理再计算：

private void btnRecalculate_Click(object sender, EventArgs e)
{
    _solver.CleanupOldModel();
    _solver.Zmienne = new string[] {"updatedVar1", "updatedVar2"};
    _solver.CalculateResult();
}

方案3：复用模型，仅修改数据（性能最优） #

如果只是修改输入数据，不需要重建整个模型，可以直接更新现有模型里的参数、约束值，然后重新求解，避免重复创建模型的开销：

class LinearResolve
{
    private SolverContext _context;
    private Model _model;
    private Decision _x; // 假设你的变量是x

    public LinearResolve()
    {
        _context = new SolverContext();
        _model = _context.CreateModel();
        
        // 初始化模型结构（只做一次）
        _x = new Decision(Domain.RealNonnegative, "x");
        _model.AddDecision(_x);
        _model.AddGoal("MaxValue", GoalKind.Maximize, _x);
    }

    public void UpdateDataAndSolve(double newUpperBound)
    {
        // 移除旧约束，添加新约束
        _model.RemoveConstraints("UpperBoundConstraint");
        _model.AddConstraint("UpperBoundConstraint", _x <= newUpperBound);
        
        // 重新求解
        var solution = _context.Solve(new SimplexDirective());
        // 处理结果
    }
}

关键注意点 #

• 永远不要在同一个SolverContext实例里同时存在多个活跃模型，要么清理旧的，要么用新的上下文。
• 使用using管理SolverContext是最省心的方式，能自动释放资源，避免内存泄漏。

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