Julia JuMP如何基于循环迭代索引定义变量并正确引用

你的原始写法存在核心问题：循环内固定写x_i会导致每次迭代生成的变量数组都覆盖同一个变量名，最终仅能保留i=10时生成的变量，无法访问前9组变量。以下是两种官方推荐的标准实现方案，完全满足无需硬编码即可按需引用任意分组变量的需求： #

方案1：直接定义多维变量（最推荐，性能最优） #

如果所有i对应的变量维度一致（比如都是长度100的二进制向量），完全不需要写循环，JuMP原生支持多索引变量定义，写法最简洁、后续引用最方便：

# 初始化模型（示例）
using JuMP
m = Model()

# 直接定义二维二进制变量：第一维对应分组索引i=1:10，第二维对应组内索引1:100
@variable(m, x[1:10, 1:100], Bin)

引用方式 #

直接通过二维索引访问即可，和硬编码定义的变量使用逻辑完全一致：

• 访问原需求中x_1的第k个元素：x[1, k]
• 给第i组变量加约束（示例：第1组变量求和等于10）：

  @constraint(m, sum(x[1, j] for j in 1:100) == 10)
  

• 目标函数中批量调用（示例：最小化所有变量总和）：

  @objective(m, Min, sum(x[i,j] for i in 1:10, j in 1:100))
  

方案2：字典存储分组变量（适配分组维度不一致的场景） #

如果不同i对应的变量维度、属性有差异（比如i=1对应长度50的向量，i=2对应长度200的向量），可以用字典按索引存储每组变量，循环生成即可：

# 初始化字典存储所有分组变量
x = Dict()
for i in 1:10
    # 可以根据i自定义每组变量的维度、约束类型，base_name用于模型内变量名显示
    x[i] = @variable(m, [1:100], base_name="x_$i", Bin)
end

引用方式 #

通过字典索引先定位分组，再取组内元素：

• 访问原需求中x_1的第k个元素：x[1][k]
• 给第i组变量加约束（示例：第2组变量求和不超过20）：

  @constraint(m, sum(x[2][j] for j in 1:100) <= 20)
  

注意事项 #

不要通过元编程手段（如@eval、动态生成Symbol）往全局作用域注入x_1/x_2这类独立变量名，这类写法极易触发作用域bug，调试、维护成本极高，上述两种数组/字典存储的方案是JuMP官方推荐的标准写法，支持任意批量遍历、单组调用的场景，完全匹配你的使用需求。

关于@variable宏的expr参数说明：该参数支持传入带索引的变量名表达式，JuMP会自动根据索引范围生成对应维度的变量容器，索引支持整数、字符串、符号等任意类型，不需要手动循环即可实现多组变量的定义。

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