Julia OptimalControl包CTDirect模块String构造MethodError问题求助

问题描述 #

使用Julia的OptimalControl包求解最优控制问题时，求解器solve已找到最优解，但后续触发错误，导致无法处理或展示结果。

错误输出 #

.
.
.
EXIT: Optimal Solution Found.
ERROR: MethodError: no method matching String(::Tuple{Symbol, MathOptInterface.TerminationStatusCode, MathOptInterface.ResultStatusCode})
The type `String` exists, but no method is defined for this combination of argument types when trying to construct it.

Closest candidates are:
  String(::LazyString)
   @ Base strings/lazy.jl:80
  String(::Vector{UInt8})
   @ Base strings/string.jl:72
  String(::Base.CodeUnits{UInt8, String})
   @ Base strings/string.jl:126
  ...

Stacktrace:
 [1] OptimalControlSolution(docp::CTDirect.DOCP, docp_solution::SolverCore.GenericExecutionStats{…})
   @ CTDirect ~/.julia/packages/CTDirect/5NADh/src/solution.jl:18
 [2] direct_solve(::OptimalControlModel{…}; init::Nothing, grid_size::Int64, time_grid::Nothing, kwargs::@Kwargs{})
   @ CTDirect ~/.julia/packages/CTDirect/5NADh/src/solve.jl:122
 [3] direct_solve(::OptimalControlModel{Autonomous, Fixed})
   @ CTDirect ~/.julia/packages/CTDirect/5NADh/src/solve.jl:90
 [4] solve(::OptimalControlModel{Autonomous, Fixed}; kwargs::@Kwargs{})
   @ OptimalControl ~/.julia/packages/OptimalControl/6SuFg/src/solve.jl:61
 [5] solve(::OptimalControlModel{Autonomous, Fixed})
   @ OptimalControl ~/.julia/packages/OptimalControl/6SuFg/src/solve.jl:55
 [6] top-level scope
   @ ~/Code/Tutorial.jl:15
Some type information was truncated. Use `show(err)` to see complete types.

已尝试操作 #

• 执行Pkg.update("OptimalControl")和Pkg.update("CTDirect")更新相关包
• 重新安装Julia及所有相关包
• 尝试用Pkg.develop获取CTDirect本地代码并手动修改，但引发与OptimalControl的兼容性问题

环境配置 #

-Julia Version: `1.11.1`
-OptimalControl Version: `0.12.3`
-CTDirect Version: `0.12.0`

疑问与解答 #

1. 这是CTDirect或OptimalControl的已知问题吗？是否有更优的解决方案？ #

这是CTDirect与Julia 1.11版本的兼容性问题，当前使用的CTDirect 0.12.0尚未适配Julia 1.11中String构造器的行为变化。

最优解决方案：

• 临时降级Julia版本到1.10.x，该版本与当前的OptimalControl 0.12.3和CTDirect 0.12.0兼容性更好
• 等待CTDirect官方发布适配Julia 1.11的版本更新

2. 若Pkg.develop引发依赖冲突，如何本地修复该问题？ #

可以通过以下步骤手动修复：

1. 使用Pkg.develop(path="/本地路径/CTDirect")将CTDirect包切换到本地开发模式，或者直接克隆CTDirect仓库到本地
2. 打开CTDirect/src/solution.jl文件，定位到错误栈指向的第18行
3. 将原本调用String()构造器转换元组的代码，替换为使用string()函数。例如，若原代码是String((:termination, docp_solution.termination_status, docp_solution.result_status))，改为string((:termination, docp_solution.termination_status, docp_solution.result_status))，或者更友好的格式化字符串："Termination: $(docp_solution.termination_status), Result: $(docp_solution.result_status)"
4. 修改后，回到Julia环境，执行Pkg.build("CTDirect")确保代码生效
5. 若存在依赖冲突，可在项目的Project.toml中明确指定依赖版本，或者创建独立的Julia环境隔离该项目的依赖

3. 是否应向CTDirect仓库提交该问题？若是，需包含哪些细节？ #

应该提交该问题，这是一个明确的版本兼容性bug。提交时需包含：

• 完整的错误栈信息（包括被截断的类型信息，可通过show(err)获取）
• 详细的环境配置（Julia版本、OptimalControl和CTDirect的版本）
• 已尝试的操作步骤
• 最小可复现的代码示例（若能提供）
• 错误根源分析：代码中错误地使用String()构造器转换包含Symbol和MathOptInterface状态码的元组，而Julia 1.11不支持该构造方式

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