在 SCIP 优化软件中释放 SCIP_SOL* 和 SCIP*

Question

我初始化了 scip 环境如下：

SCIP* scip = nullptr;
SCIP_CALL( SCIPcreate(&scip) );

我创建了一个小问题来学习 SCIP，并将解决方案存储在

SCIP_SOL* sol = nullptr;
sol = SCIPgetBestSol(scip);

我试图通过sol和scip释放内存，但我scip了分段错误。

这会导致段错误：

SCIP_RETCODE retcode =  SCIPfreeSol(scip,&sol);
assert(retcode == SCIP_OKAY);


retcode = SCIPfree(&scip);
assert(retcode == SCIP_OKAY);

如果我在释放scip之前没有释放sol ，它可以正常工作并且不会发生段错误，但我确定它不正确。 我检查了 SCIP Optimization Suite 附带的一些其他代码，一些代码示例使用SCIPfreeSol而有些则不使用，即使它们都使用SCIP_SOL *sol来定义 sol 变量。

编辑：问题实际上有效。 我没有包含实际的模型代码。

Answer 1

如果您通过SCIPcreateSol或类似方法创建了该解决方案，则只需释放该解决方案。 当您通过SCIPgetBestSol(scip)寻求最佳解决方案时，这只会返回一个指向 SCIP 在内部创建的解决方案的指针。 SCIP 也会释放它，因此您不必自己执行此操作。 同时，由于它不是您“自己”的解决方案，因此您不应修改此解决方案。 如果您想这样做，您应该创建自己的一个或通过SCIPcreateSolCopy复制最好的一个。

因此，在您的示例中仅释放scip是正确的。