xml - 如何计算xquery中变量的幂？

Question

如果我需要计算一个值为 2^($blocksize) 的变量“totalIPaddress”，那么 xquery 语句将是什么？

<IPaddress>
<startIPaddress>192.168.1.1</startIPaddress>
<blocksize>4</blocksize>
</IPaddress>

Answer 1

这是计算幂的一种特别有效的方法——具有对数时间复杂度 (O(log(N))：

declare function local:pow($x as xs:double , $n as xs:integer ) as xs:double
{
  if($n eq 0)
   then 1
   else
    (let $h := $n idiv 2,
         $halfResult := local:pow($x, $h)
      return
            if($n mod 2 eq 0)
              then $halfResult * $halfResult
              else $x * $halfResult * $halfResult
        )

};

local:pow(2,10)

产生预期的正确结果：

1024

Answer 2

递归是你的朋友：

declare function f:two-to-the($n as xs:integer) as xs:integer {
  if ($n = 0) then 1 else 2 * f:two-to-the($n - 1)
};

Answer 3

除了 math:pow，最简单的方法就是硬编码：

(1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296)[$blocksize + 1]

也适用于 XPath 2。