XSD中的final属性用于限制模式组件被派生的能力。当我们在XML Schema里定义一个复杂类型或元素时，如果不希望别人通过extension扩展字段，或者通过restriction缩小取值范围，就可以使用final属性将其锁定。它常见于复杂类型定义和元素声明中，是约束schema演化的重要手段。
final属性的基本作用
final属性可以出现在complexType、simpleType以及element等定义上。它的核心目的是禁止派生，也就是阻止其他类型基于当前定义产生新的子类型。如果没有这个属性，任何引用该schema的人都能随意扩展，可能导致数据结构失控。
常见的取值说明
- #all：禁止任何形式的派生，包括extension和restriction。
- extension：仅禁止通过扩展方式派生。
- restriction：仅禁止通过限制方式派生。
- 为空或不写：表示允许派生。
在复杂类型上使用final
下面的示例定义了一个地址类型，并使用final="#all"禁止任何派生。注意这里的双引号在普通文本中允许，但在代码块内我们不使用英文双引号。
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
<xs:complexType name="AddressType" final="#all">
<xs:sequence>
<xs:element name="city" type="xs:string"/>
<xs:element name="street" type="xs:string"/>
</xs:sequence>
</xs:complexType>
</xs:schema>
上述代码中，由于final设置为#all，其他schema不能再写<xs:complexType name="SubAddress"><xs:extension base="AddressType">...这样的扩展。若尝试派生，校验器会报错。
在元素声明上使用final
元素上的final属性控制的是以该元素为基的元素派生。比如下面的定义让user元素不可被限制或扩展：
<xs:element name="user" type="xs:string" final="restriction"/>
这表示不能有人用<xs:element name="admin"><xs:restriction base="user">...去限制user元素类型。
与block属性的区别
很多人混淆final和block。final是在schema定义层禁止类型或元素被派生；block是在实例文档层禁止替换组中的替换行为。简单说，final管定义，block管使用。
实际使用建议
| 场景 | 建议设置 |
|---|---|
| 基础公共类型不希望被改 | final="#all" |
| 只允许缩小范围不允许加字段 | final="extension" |
| 只允许加字段不允许缩范围 | final="restriction" |
合理使用final属性，可以让你的XSD在团队协作和长期维护中保持强约束，避免不可控的派生带来的兼容问题。
XSDfinal_attributeXML_schema修改时间：2026-07-26 22:24:19