Modelica算法段赋值数组元素时，未赋值元素为何自动设为0？

这是Modelica新手常会碰到的典型问题，咱们一步步拆解清楚：

1. 为什么未赋值的数组元素会被自动设为0？ #

Modelica有个核心规则：所有连续时间变量（比如你声明的Real类型数组）必须有确定的取值，不能存在未约束的自由度。

当你声明Real myArray[2];时，没有给数组指定初始值，Modelica会给所有元素分配默认初始值——对于Real类型来说就是0。而当你在算法段只给myArray[1]赋值时，myArray[2]没有被显式赋予运行时取值，系统就会自动沿用它的默认初始值0，以此满足“每个变量都有约束”的要求。

简单说：你没给myArray[2]指定值，Modelica就用最稳妥的默认值0来补全。

2. Dymola为什么会为未赋值元素隐式添加方程？ #

Dymola作为Modelica仿真工具，会严格遵循规范进行模型编译。当它检测到数组中有元素没有被显式的方程或赋值约束时，会自动生成隐式方程补全约束，确保模型的“变量-方程”数量匹配。

比如你的例子里，Dymola会在后台悄悄加上：

myArray[2] = 0;

这样一来，两个数组元素都有了对应的约束（myArray[1]来自算法段的赋值，myArray[2]来自隐式生成的方程），模型才能正常编译和仿真。

怎么避免这种“自动设0”的情况？ #

给你几个实用解决办法：

• 显式指定所有元素的赋值：在算法段里把每个元素都赋值，比如：

  myArray[1] := 10;
  myArray[2] := 20; // 显式给第二个元素赋值，系统就不会自动设0了
  

• 声明数组时指定初始值：如果希望未赋值元素保持自定义初始值，可以在声明时初始化：

  Real myArray[2] = {10, 50}; // 初始值设为10和50
  algorithm
      myArray[1] := 30; // 只修改第一个元素，第二个元素会保持50
  

• 明确保留元素当前值：如果想让未赋值元素维持上一时间步的取值，可以写个“冗余”的赋值（虽然没必要，但能明确传达你的意图）：

  myArray[1] := 10;
  myArray[2] := myArray[2]; // 告诉系统：这个元素的值保持不变
  

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