Saxon排除结果前缀，删除属性值的命名空间

Question

我对Saxon的XSLT处理器有一个奇怪的问题（最新版本=9.？）

给定这个伪造的XML（不管它是什么）：

<?xml version="1.0" encoding="UTF-8"?>
<root xmlns="urn:bogus">bogus</root>

使用此XSLT：

<?xml version="1.0" encoding="UTF-8"?>
<x:transform version="2.0"
  xmlns:x="http://www.w3.org/1999/XSL/Transform" 
  xmlns:b="urn:bogus"
  xmlns:xs="http://www.w3.org/2001/XMLSchema"
  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xmlns="urn:foobar"
  xpath-default-namespace="urn:foobar"
  exclude-result-prefixes="#all">

 <x:output method="xml" indent="yes" encoding="UTF-8" />   

  <x:template match="b:root">
    <foo xsi:type="xs:string"><x:value-of select="."/></foo>
  </x:template>

</x:transform>

将实际删除xmlns:xs=”http://www.w3.org/2001/XMLSchema“来自结果XML的声明，因为排除结果前缀=#all”。显然，发生这种情况是因为它在属性值中使用，而不是在元素或属性中使用。

删除排除结果前缀="#all"或手动指定要删除的前缀确实有效。

这是预期的行为吗？我猜处理器将所有属性值视为随机字符串，并且没有考虑它们的命名空间（它甚至没有注意到它有一个我假设的）。

像xsi:type这样的众所周知的属性应该有特殊的行为吗？

Answer 1

我不认为http://www.w3.org/TR/xslt20/#namespace-fixup要求处理器检查类型名称的属性值，因为它说：

命名空间修复不用于为元素或属性内容中出现的xs:QName或xs:NOTATION值创建命名空间声明。

当值获得验证结果等类型时，命名空间修正不会起作用，因为命名空间修正发生在验证之前：在这种情况下，用户有责任确保被验证的元素具有所需的命名空间节点，以使验证成功。

基于此，我想说样式表作者有责任确保xs前缀绑定到URIhttp://www.w3.org/2001/XMLSchema。