Xpress中如何声明和使用索引数量动态变化的变量？

Xpress的Mosel语言属于静态类型语言，数组的维度在编译阶段就已固定，无法直接声明索引数量动态变化的变量。但可以通过以下变通方法实现类似需求：

方法1：统一使用最高维度数组，用占位集合填充多余索引 #

无论场景需要二维还是三维变量，都声明最高维度的数组，在不需要额外索引的场景下，将对应集合设置为仅包含一个占位元素的集合。

示例代码：

declarations
    S1, S2: set of string
    S3: set of string
    V: array(S1, S2, S3) of mpvar
    SCENE: integer  // 1=二维场景，2=三维场景
end-declarations

// 初始化基础集合
S1 := {"X", "Y", "Z"}
S2 := {"A", "B"}

if SCENE = 1 then
    // 二维场景：第三个索引用占位符
    S3 := {"_UNUSED"}
    forall(s1 in S1, s2 in S2) do
        // 使用V(s1, s2, "_UNUSED")替代二维变量
        V(s1, s2, "_UNUSED") >= 0
    end-do
else
    // 三维场景：正常使用三个索引
    S3 := {"P", "Q"}
    forall(s1 in S1, s2 in S2, s3 in S3) do
        V(s1, s2, s3) >= 0
    end-do
end-if

这种方式无需修改变量声明结构，仅通过调整集合内容适配不同场景，是最实用的方案。

方法2：用一维数组+元组索引封装 #

将多维度索引打包成元组，用一维数组承载变量，通过动态构建元组集合适配不同维度。注意Mosel的元组长度是固定的，因此需要提前定义对应维度的元组类型：

declarations
    type Index2 = tuple(string, string)
    type Index3 = tuple(string, string, string)
    S1, S2: set of string
    S3: set of string
    V2: array(set of Index2) of mpvar
    V3: array(set of Index3) of mpvar
    SCENE: integer
end-declarations

if SCENE = 1 then
    V2 := array{(s1,s2) | s1 in S1, s2 in S2} of mpvar
    // 使用V2时遍历Index2类型的元组
else
    V3 := array{(s1,s2,s3) | s1 in S1, s2 in S2, s3 in S3} of mpvar
    // 使用V3时遍历Index3类型的元组
end-if

这种方式需要维护不同维度的变量和元组类型，适合对变量维度有严格区分的场景。

方法3：动态生成代码（不推荐） #

可以通过Mosel的文件操作动态生成变量声明代码，再用include指令加载，但这种方式会大幅增加代码复杂度和维护成本，仅在极端场景下考虑使用。

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