XQuery：跨（导入）模块共享全局变量

Question

令我惊讶的是，我正在与一个非常基本的XQuery问题搏斗，即在主XQuery模块和导入的库模块之间共享全局变量的正确方法是什么。简而言之，我想定义一个可以在任何地方重用的全局变量（即在所有（导入的）XQuery模块中），并且正在努力寻找宣布这样一个变量的最佳位置。

假设我有以下几个主要的XQuery（test.xq）：

import module namespace global="global" at "global.xq"; 
import module namespace test2="test2" at "test2.xq"; 

declare variable $test := 'test!'; 

test2:echo() 

该模块导入以下库模块：

• global.xq：

  module namespace global="global"; 
  
  declare variable $global:test := 'global!'; 
  

• TEST2 .x： module namespace test2 =“test2”;

  import module namespace global="global" at "global.xq"; 
  
  declare function test2:echo() { 
      $global:test 
  }; 
  

这工作，但给我留下了一些问题：

• 这是做到这一点的方式：

  • 定义全局变量（如$全球：测试）在一个单独的库模块中（例如global.xq）
  • 将模块导入需要提供的任何模块访问其变量

  ？

• 有没有办法访问导入的库模块（例如test2.xq）中的主XQuery模块（例如$ test）中声明的变量？

任何人都可以阐明这一点吗？我想我发现自己在这个概念上挣扎的主要原因是因为我习惯于eXist的行为，这可能比它应该放松。在存在，test2.xq模块可以直接参考$全局：测试变量，而不用导入global.xq模块：

module namespace test2="test2"; 
declare namespace global="global"; 

declare function test2:echo() { 
    $global:test 
}; 

由于这部作品中不存在，但不是在撒克逊人，我就开始琢磨什么在（导入的）XQuery模块中定义和使用全局变量的正确方法。

亲切的问候，

罗恩

Answer 1

显然存在需要，可能是你熟悉的，从XSLT.In那里，你也可以指通过进口/包括宣布当前模块外部变量和参数的方法'祖先'模块（在包含/进口链中较高）。

据我所知，不符合XQuery标准！

能够使用它显然是非常实用的，但为什么不这样做有几个很好的理由。理想情况下，模块是自包含的，可重用的组件，而当它们依赖于这种外部参数/变量时不再是这种情况。将上下文信息作为参数传递给这些函数会更好。不总是看起来优雅，但最终是更好的设计。

一些实现提供了使用重定义变量值的备选选项。 MarkLogic有xdmp：set命令，我相信saxon也有变量赋值（或者是在XSLT中？）。你可以用它来'初始化'模块。尽管这些模块不是对象，所以尽量避免使用这种方法来保存有状态的信息。这也意味着你会依赖实现特定的功能。除非你能够使用更新工具。不知道这是打算这样的方式，虽然..

Answer 2

什么是这些“变量”在您的实际使用情况？顾名思义，他们是否需要能够改变？ （如果是这样，将它们放在文档中可能是正确的事情）。如果它们只是常量，那么你给的方法 - 将它们放入单个模块/名称空间并根据需要导入 - 可能是正确的。坦白地说，编写你的模块来假设其他地方定义的东西，但没有定义其他地方应该在哪里，这使我容易冒险 - 如果没有其他原因，通过让读者更难以遵循控制流程。因此，我有点不清楚为什么这种行为是可取的。

考虑将您的配置封装在文档中，并将该文档作为参数传递给您的函数调用。