Jsonnet导入中根引用`$`的解析机制及失效原因问询

首先要明确：Jsonnet的导入并非单纯的文本复制粘贴，资料里的“类似复制粘贴”是极度简化的说法，实际是基于表达式求值和作用域隔离的机制。

一、真实导入机制 #

• 导入的是求值结果：import语句会先独立执行目标文件的代码，在目标文件自身的作用域内完成求值，然后将最终的结果（对象、数组、基本类型值等）返回给导入方，而非直接把目标文件的源代码插入到导入位置。
• 作用域完全隔离：每个Jsonnet文件都有自己独立的作用域，文件内的$符号是静态绑定的，永远指向当前文件的根对象（即该文件最终求值生成的顶层对象），和导入它的父文件没有关联。

二、根引用$.config失效的原因 #

你在data.jsonnet里写$.config时，这个$指向的是data.jsonnet自己的顶层对象，而不是main.jsonnet的根。如果data.jsonnet的顶层对象里没有定义config字段，自然会抛出“Field does not exist: config”错误。

三、为什么合并方式能正常运行 #

当你将导入的对象与main.jsonnet里的对象（包含config）合并时，核心是利用了Jsonnet对象的动态绑定特性（如果data.jsonnet里用的是self而非$）：

• self是动态绑定的，指向当前被访问的对象。当合并后，访问合并对象的字段时，self会指向合并后的完整对象，此时self.config就能找到main.jsonnet中定义的config字段。
• 举个具体例子：
  main.jsonnet：

  {
    config: { foo: "bar" },
    data_merged: import 'data.jsonnet' + { config: $.config }
  }
  

  data.jsonnet：

  {
    value: self.config.foo
  }
  

  此时data_merged.value会正确返回"bar"，因为合并后的对象包含config，self指向这个合并后的对象。

如果你的data.jsonnet里确实用的是$.config但合并后能运行，大概率是合并时覆盖了导入对象的内部逻辑，或是实际写法中用了其他动态引用方式。

四、正确跨文件引用根字段的方式 #

如果需要让导入的文件访问父文件的config，更可靠的方式是将data.jsonnet写成函数，明确传递依赖：

• data.jsonnet：

  function(config) {
    value: config.foo
  }
  

• main.jsonnet：

  {
    config: { foo: "bar" },
    data: import 'data.jsonnet'($.config)
  }
  

这种方式避免了作用域混淆，比依赖对象合并的动态绑定更清晰可控。

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