JetBrains MPS变量类型变更后字段引用更新方案咨询

你遇到的问题确实是MPS基础语言在处理跨类型字段引用时的一个常见局限，尤其是对于静态类型DSL来说，这种自动引用更新的缺失会给用户带来不少麻烦。针对你的场景，这里有几个MPS生态里的标准解决方案，适配你正在构建的61131 ST静态类型DSL：

1. 实现自动引用更新的重构意图（Intentions） #

这是MPS中处理这类变更最常用的方式，通过自定义重构意图替代手动修改类型的操作：

• 创建一个**"Change Variable Type and Update References"**的意图，当用户触发这个意图时，不仅修改变量的类型，还会遍历该变量的所有字段引用：
  • 如果新类型存在同名字段（比如你的例子中Bar.x），自动将引用指向新类型的对应字段；
  • 如果不存在（比如Bar.y），立即标记为错误或者提供快速修复选项（如删除引用、替换为新类型的现有字段）。
• 这种方式完全贴合MPS的交互范式，让用户通过熟悉的意图操作完成变更，避免手动修改带来的错误。

2. 自定义模型检查器（Model Checkers）强化失效引用检测 #

默认的模型检查可能不够及时，你可以扩展自定义检查规则：

• 为字段引用节点添加一个检查规则，每次变量类型变更后，实时验证引用的字段是否存在于当前变量的类型中；
• 对于无效的引用（比如a.y在类型改为Bar后），立即用红色下划线标记，并提供快速修复动作（如移除该语句、替换为Bar的有效字段）；
• 这种方法可以在用户修改类型后立刻反馈问题，避免问题积累到后期才被发现。

3. 限制直接修改类型，强制使用重构操作 #

如果希望从源头避免手动修改带来的问题，可以通过约束（Constraints）限制用户直接编辑变量类型：

• 给变量类型节点添加一个约束，禁止用户直接修改类型文本，必须通过你提供的重构意图来完成类型变更；
• 这样用户就无法绕过自动更新引用的流程，确保每次类型变更都伴随着引用的同步检查和更新。

4. 批量更新脚本（Batch Update Scripts）处理存量代码 #

如果已经存在大量需要修复的存量代码，可以编写批量更新脚本：

• 遍历所有变量类型变更的场景，自动查找对应变量的所有字段引用；
• 对于每个引用，尝试匹配新类型中的同名字段，匹配成功则更新引用目标，匹配失败则标记为待修复；
• 这种脚本适合一次性处理历史遗留问题，但作为长期方案，还是推荐用意图+检查器的组合。

针对你提到的示例场景，用重构意图的方式处理后，代码会自动变成：

public void test() {
  Bar a;
  a.x = 1; // 自动更新为指向Bar类的x字段
  // a.y = 1; 要么被标记为错误，要么被提供快速修复选项
}

另外需要注意，MPS 2017.2相对比较旧，如果你后续升级到新版本，部分基础语言的引用更新逻辑可能已经优化，但对于自定义DSL来说，上述方案依然是通用的——毕竟你需要完全掌控DSL的类型系统行为。

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