XSD：如何在子元素类型中设置属性值？

Question

在一个 xsd 文件中，我有这个元素基类型：

<xs:complexType name="event" abstract="true" >
    <xs:attribute name="move" type="aos:move_ref" use="required" />
    <xs:attribute name="type" type="aos:event_type" use="required" />
</xs:complexType>

我想在子类型中定义type 属性的值，所以我尝试了这个：

<xs:complexType name="signal" >
    <xs:complexContent>
      <xs:extension base="aos:event">
        <xs:attribute name="type" type="aos:event_type" fixed="signal" />
        <xs:attribute name="source" type="aos:signal_source" use="required" />
      </xs:extension>
    </xs:complexContent>
 </xs:complexType>

Visual Studio 似乎不介意，但 CodeSynthesis C++ code generator 似乎不同意：

错误：属性“类型”已经存在 在base中定义

我该怎么写？我只希望type 属性的值特定于每个不同的子类型。

编辑----

为了让问题更清楚，我将用 C++ 编写我想做的同样的事情。

这是基类：

class Event
{
public:

   std::string name() const { return m_name; }

protected:

   // we need the child class to set the name
   Event( const std::string& name ) : m_name( name ) {} 

   // it's a base class
   virtual ~Event(){}

private:

   std::string m_name;

};

现在，其中一个孩子可以这样实现：

class Signal : public Event
{
public:

   Signal() : Event( "signal" ){}

};

如您所见，子类定义了由基类定义的属性值。甚至可以用xsd表达吗？

Answer 1

要派生类型并修复值，请使用restriction：

<xs:complexType name="signal" >
    <xs:complexContent>
      <xs:restriction base="aos:event">
        <xs:attribute name="type" type="aos:event_type" fixed="signal" use="required" />
        <xs:attribute name="source" type="aos:signal_source" use="required" />
      </xs:restriction>
    </xs:complexContent>
 </xs:complexType>

通过阅读规范，我预计您是 couldn't add attributes in a restriction，除非基本类型具有 attribute wildcard，但 W3C XSD 验证器接受上述内容。如果遇到问题，可以将定义分解为限制和扩展：

<xs:complexType name="fixedSignalEvent">
  <xs:complexContent>
    <xs:restriction base="aos:event">
      <xs:attribute name="type" type="aos:event_type" fixed="signal" use="required" />
    </xs:restriction>
  </xs:complexContent>
</xs:complexType>

<xs:complexType name="signal" >
  <xs:complexContent>
    <xs:extension base="aos:fixedSignalEvent">
      <xs:attribute name="source" type="aos:signal_source" use="required" />
    </xs:extension>
  </xs:complexContent>
</xs:complexType>

另一个解决方法是将attribute wildcard 添加到基本类型。

<xs:complexType name="event" abstract="true" >
    <xs:attribute name="move" type="aos:move_ref" use="required" />
    <xs:attribute name="type" type="aos:event_type" use="required" />
    <xs:anyAttribute />
</xs:complexType>

这不是等效的解决方案，因为它允许事件具有任何属性（一般来说，这可能是不可取的，但可能不适用于代码生成），并且它不会添加额外的类型（是可取的）。

请注意，基础中的任何粒子（元素、组或通配符）必须为repeated in the restriction，否则将不允许它们出现在元素中。如果在基础上需要限制属性，则限制中也必须要求它。限制必须满足许多其他属性才能成为有效的derivation 或particle。该规范不是那么可读，但您通常可以偶然发现它。

另见：“how to use restrictions and extensions in XSD simultanously”。