Modelica中能否对组件数组内的可替换模型进行单独重声明？

首先直接给答案：目前Modelica的语法并不支持像你尝试的那样，用数组形式redeclare model ModelTypeToReplace = {SubModel1, SubModel2}来给组件数组里的每个元素单独重声明可替换模型。你现在的代码里，是把components[1]和components[2]的可替换模型统一换成了SubModel2，这是当前语法下批量重声明的唯一方式。

那想要给数组里的每个组件单独指定不同的替换模型，有两个可行的解决办法：

方案1：拆分组件数组，逐个声明实例 #

如果组件数量不多，最简单的方式就是放弃数组声明，直接给每个组件单独命名并做重声明：

model System
  BaseComponent component1(redeclare model ModelTypeToReplace = SubModel1);
  BaseComponent component2(redeclare model ModelTypeToReplace = SubModel2);
end System;

这种方式直观易懂，没有额外的语法复杂度，但组件数量多的时候会显得冗余。

方案2：结合参数选择器+条件重声明 #

如果需要保留数组形式，可以给BaseComponent新增一个参数用来控制模型选择，再通过条件重声明来动态替换：

首先修改BaseComponent，添加一个选择参数：

model BaseComponent
  parameter Real param1 = 0;
  parameter Real param2 = 0;
  // 用这个参数指定要使用的模型：1对应SubModel1，2对应SubModel2
  parameter Integer modelSelector = 1;
  replaceable model ModelTypeToReplace = SubModel1 constrainedby PartialModel;
  ModelTypeToReplace replaceableModel;
end BaseComponent;

然后在实例化数组时，传递modelSelector的数组，并通过if条件完成针对性重声明：

model System
  BaseComponent[2] components(
    each param1 = 0,
    param2 = {1,2},
    modelSelector = {1,2},
    // 根据每个组件的modelSelector参数选择对应的替换模型
    redeclare model ModelTypeToReplace = if modelSelector == 1 then SubModel1 else SubModel2
  );
end System;

这种方式能保留数组的便利性，同时实现每个组件单独指定替换模型的需求，主流Modelica工具（比如Dymola、OpenModelica）都支持这种条件重声明语法。

你提到记录可以通过参数数组的方式处理，但模型不行——这是因为模型属于类型范畴，而不是可传递的值，Modelica的类型系统不支持将类型作为数组元素来批量传递，所以没法直接用数组语法实现你想要的效果。

备注：内容来源于stack exchange，提问作者Konrad