發行項
09/24/2010

SequenceType 運算式 (XQuery)

在 XQuery 中，值永遠是一種時序。值的類型又稱為時序類型。instance of XQuery 運算式可用於時序類型。當您需要參考 XQuery 運算式中的類型時，就會使用 XQuery 規格中所描述的 SequenceType 語法。

cast as XQuery 運算式可用於不可部份完成類型的名稱。在 SQL Server 中，僅部份支援在 SequenceTypes 上的 instance of 與 cast as XQuery 運算式。

運算子的執行個體

instance of 運算子可用以決定指定運算式值的動態或執行階段類型。例如：

Expression instance of SequenceType[Occurrence indicator]

請注意 instance of 運算子、Occurrence indicator 會在產生的時序中指定基數、項目數目。若未指定，會將基數假設為 1。在 SQL Server 中，僅支援問號 (?) 發生指標。? 發生指標指出 Expression 可以傳回零或一個項目。如果指定 ? 發生指標，不論 Expression 是否傳回單一或空白時序，當 Expression 類型與指定的 SequenceType 相符時，instance of 將會傳回 True。

如果未指定 ? 發生指標，sequence of 只會在 Expression 類型與指定的 Type 相符時且 Expression 傳回單一時，才會傳回 True。

注意在 SQL Server 中並不支援加號 (+) 與星號 (*)。

下列範例說明instance of XQuery 運算子的用途。

範例 A

下列範例建立 xml 類型的變數並針對它指定一個查詢。查詢運算式指定 instance of 運算子，以判斷第一個運算元所傳回的動態類型值是否符合第二個運算元所指定的類型。

下列查詢會傳回 True，因為 125 值是指定類型 xs:integer 的執行個體：

declare @x xml
set @x=''
select @x.query('125 instance of xs:integer')
go

下列查詢會傳回 True，因為在第一個運算元中由運算式 /a[1] 所傳回的值是元素。

declare @x xml
set @x='<a>1</a>'
select @x.query('/a[1] instance of element()')
go

同樣地，instance of 會在下列查詢中傳回 True，因為在第一個運算式中的運算式值類型是屬性。

declare @x xml
set @x='<a attr1="x">1</a>'
select @x.query('/a[1]/@attr1 instance of attribute()')
go

在下列範例中，data(/a[1] 運算式會傳回不可部份完成值，其類型為 xdt:untypedAtomic。因此，instance of 會傳回 True。

declare @x xml
set @x='<a>1</a>'
select @x.query('data(/a[1]) instance of xdt:untypedAtomic')
go

在下列查詢中，data(/a[1]/@attrA 運算式會傳回不具類型的不可部份完成值。因此，instance of 會傳回 True。

declare @x xml
set @x='<a attrA="X">1</a>'
select @x.query('data(/a[1]/@attrA) instance of xdt:untypedAtomic')
go

範例 B

在此範例中，您正在查詢 AdventureWorks 範例資料庫中具 XML 類型的資料行。與正在查詢的資料行關聯的 XML 結構描述集合，將會提供類型資訊。

在運算式中，根據與該資料行關聯的結構描述，data() 會傳回 ProductModelID 屬性具類型的值，該屬性的類型是 xs:string。因此，instance of 會傳回 True。

SELECT CatalogDescription.query('
   declare namespace PD="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelDescription";
   data(/PD:ProductDescription[1]/@ProductModelID) instance of xs:string
') as Result
FROM Production.ProductModel
WHERE ProductModelID = 19

如需詳細資訊，請參閱＜比較不具類型的 XML 與具類型的 XML＞。如需與 CatalogDescription 資料行關聯的 XML 結構描述集合的詳細資訊，請參閱＜關於 ProductModel.CatalogDescription xml 資料行＞。

下列查詢使用 Boolean instance of 運算式來判斷 LocationID 屬性是否為 xs:integer 類型：

SELECT Instructions.query('
   declare namespace AWMI="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelManuInstructions";
   /AWMI:root[1]/AWMI:Location[1]/@LocationID instance of attribute(LocationID,xs:integer)
') as Result
FROM Production.ProductModel
WHERE ProductModelID=7

下列查詢是針對 CatalogDescription 類型的 XML 資料行所指定。與此資料行關聯的 XML 結構描述集合，將會提供類型資訊。如需有關 XML 結構描述集合的詳細資訊，請參閱＜關於 ProductModel.CatalogDescription xml 資料行＞。

此查詢使用 instance of 運算式中的 element(ElementName, ElementType?) 測試來驗證 /PD:ProductDescription[1] 是否會傳回特定名稱與類型的元素節點。

SELECT CatalogDescription.query('
     declare namespace PD="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelDescription";
     /PD:ProductDescription[1] instance of element(PD:ProductDescription, PD:ProductDescription?)
    ') as Result
FROM  Production.ProductModel
where ProductModelID=19

此查詢會傳回 True。

範例 C

在使用聯集類型時，SQL Server 中的 instance of 運算式有一個限制：具體而言，當元素或屬性的類型是聯集類型時，instance of 可能無法判斷正確的類型。因此，除非 SequenceType 中所使用的不可部份完成類型是 simpleType 階層中運算式之實際類型的最高父系，否則查詢會傳回 False。也就是，在 SequenceType 中所指定的不可部份完成類型必須是 anySimpleType 的直接子系。如需類型階層的詳細資訊，請參閱＜XQuery 中的類型轉換規則＞。

下個查詢範例將執行下列動作：

以聯集類型建立 XML 結構描述集合，例如，定義在類型中的整數或字串類型。
使用 XML 結構描述集合宣告具 xml 類型的變數。
指派範例 XML 執行個體給變數。
在處理聯集類型時，查詢變數以說明 instance of 行為。

以下為查詢：

CREATE XML SCHEMA COLLECTION MyTestSchema AS '
<schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="http://ns" xmlns:ns="http://ns">
<simpleType name="MyUnionType">
<union memberTypes="integer string"/>
</simpleType>
<element name="TestElement" type="ns:MyUnionType"/>
</schema>'
Go

下列查詢會傳回 False，因為在 instance of 運算式中指定的 SequenceType 不是指定運算式中實際類型的最高父系。也就是，<TestElement> 的值是整數類型。最高父系是 xs:decimal。不過，並未將它指定為 instance of 運算子的第二個運算元。

SET QUOTED_IDENTIFIER ON
DECLARE @var XML(MyTestSchema)

SET @var = '<TestElement xmlns="http://ns">123</TestElement>'

SELECT @var.query('declare namespace ns="http://ns" 
   data(/ns:TestElement[1]) instance of xs:integer')
go

因為 xs:integer 的最高父系是 xs:decimal，如果您修改查詢並將 xs:decimal 指定為查詢中的 SequenceType，查詢將會傳回 True。

SET QUOTED_IDENTIFIER ON
DECLARE @var XML(MyTestSchema)
SET @var = '<TestElement xmlns="http://ns">123</TestElement>'
SELECT @var.query('declare namespace ns="http://ns"   
   data(/ns:TestElement[1]) instance of xs:decimal')
go

範例 D

在此範例中，您先建立 XML 結構描述集合並用它來指定 xml 變數的類型。接著會查詢具類型的 xml 變數，以說明 instance of 功能。

下列 XML 結構描述集合會定義簡單的類型、myType 以及 myType 類型的 <root> 元素：

drop xml schema collection SC
go
CREATE XML SCHEMA COLLECTION SC AS '
<schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="myNS" xmlns:ns="myNS"
xmlns:s="https://schemas.microsoft.com/sqlserver/2004/sqltypes">
      <import namespace="https://schemas.microsoft.com/sqlserver/2004/sqltypes"/>
      <simpleType name="myType">
           <restriction base="s:varchar">
                  <maxLength value="20"/>
            </restriction>
      </simpleType>
      <element name="root" type="ns:myType"/>
</schema>'
Go

現在建立具 xml 類型的變數並查詢它：

DECLARE @var XML(SC)
SET @var = '<root xmlns="myNS">My data</root>'
SELECT @var.query('declare namespace sqltypes = "https://schemas.microsoft.com/sqlserver/2004/sqltypes";
declare namespace ns="myNS"; 
   data(/ns:root[1]) instance of ns:myType')
go

因為 myType 類型是由 varchar 類型的限制所衍生出來，而 varchar 類型是定義在 sqltypes 結構描述中，所以 instance of 也會傳回 True。

DECLARE @var XML(SC)
SET @var = '<root xmlns="myNS">My data</root>'
SELECT @var.query('declare namespace sqltypes = "https://schemas.microsoft.com/sqlserver/2004/sqltypes";
declare namespace ns="myNS"; 
data(/ns:root[1]) instance of sqltypes:varchar?')
go

範例 E

在下列範例中，運算式會擷取 IDREFS 屬性的其中一個值，並使用 instance of 來判斷值是否為 IDREF 類型。本範例將執行下列動作：

建立一個 XML 結構描述集合，其中 <Customer> 元素有 OrderList IDREFS 類型的屬性，而 <Order> 元素有 OrderID 識別碼類型的屬性。
建立具 xml 類型的變數並指派 XML 範例執行個體給它。
針對變數指定查詢。查詢運算式會先從第一個 <Customer> 的 OrderList IDRERS 類型屬性擷取第一個訂單識別碼值。所擷取的值是 IDREF 類型。因此，instance of 會傳回 True。

create xml schema collection SC as
'<schema xmlns="http://www.w3.org/2001/XMLSchema" xmlns:Customers="Customers" targetNamespace="Customers">
            <element name="Customers" type="Customers:CustomersType"/>
            <complexType name="CustomersType">
                        <sequence>
                            <element name="Customer" type="Customers:CustomerType" minOccurs="0" maxOccurs="unbounded" />
                        </sequence>
            </complexType>
             <complexType name="OrderType">
                <sequence minOccurs="0" maxOccurs="unbounded">
                            <choice>
                                <element name="OrderValue" type="integer" minOccurs="0" maxOccurs="unbounded"/>
                            </choice>
                </sequence>                                           
                <attribute name="OrderID" type="ID" />
            </complexType>

            <complexType name="CustomerType">
                <sequence minOccurs="0" maxOccurs="unbounded">
                            <choice>
                                <element name="spouse" type="string" minOccurs="0" maxOccurs="unbounded"/>
                                <element name="Order" type="Customers:OrderType" minOccurs="0" maxOccurs="unbounded"/>
                            </choice>
                </sequence>                                           
                <attribute name="CustomerID" type="string" />
                <attribute name="OrderList" type="IDREFS" />
            </complexType>
 </schema>'
go
declare @x xml(SC)
set @x='<CustOrders:Customers xmlns:CustOrders="Customers">
                <Customer CustomerID="C1" OrderList="OrderA OrderB"  >
                              <spouse>Jenny</spouse>
                                <Order OrderID="OrderA"><OrderValue>11</OrderValue></Order>
                                <Order OrderID="OrderB"><OrderValue>22</OrderValue></Order>

                </Customer>
                <Customer CustomerID="C2" OrderList="OrderC OrderD" >
                                <spouse>John</spouse>
                                <Order OrderID="OrderC"><OrderValue>33</OrderValue></Order>
                                <Order OrderID="OrderD"><OrderValue>44</OrderValue></Order>

                        </Customer>
                <Customer CustomerID="C3"  OrderList="OrderE OrderF" >
                                <spouse>Jane</spouse>
                                <Order OrderID="OrderE"><OrderValue>55</OrderValue></Order>
                                <Order OrderID="OrderF"><OrderValue>55</OrderValue></Order>
                </Customer>
                <Customer CustomerID="C4"  OrderList="OrderG"  >
                                <spouse>Tim</spouse>
                                <Order OrderID="OrderG"><OrderValue>66</OrderValue></Order>
                        </Customer>
                <Customer CustomerID="C5"  >
                </Customer>
                <Customer CustomerID="C6" >
                </Customer>
                <Customer CustomerID="C7"  >
                </Customer>
</CustOrders:Customers>'

select @x.query(' declare namespace CustOrders="Customers"; 
 data(CustOrders:Customers/Customer[1]/@OrderList)[1] instance of xs:IDREF ? ') as XML_result

實作限制

以下為其限制：

與 instance of 運算子的比較不支援 schema-element() 與 schema-attribute() 時序類型。
例如，完整時序不支援 (1,2) instance of xs:integer*。
當您使用 element() 時序類型的形式來指定類型名稱時，例如 element(ElementName, TypeName)，此類型必須以問號 (?) 限定。例如，element(Title, xs:string?) 指出元素可能為 Null。SQL Server 並不支援使用 instance of 在執行階段偵測 xsi:nil 屬性。
如果在 Expression 中的值是源自於聯集類型的元素或屬性，則 SQL Server 只能識別基本類型，而無法識別衍生值類型的衍生類型。例如，如果 <e1> 是定義為具有靜態類型的 (xs:integer | xs:string)，下列程式碼將會傳回 False。
```
data(<e1>123</e1>) instance of xs:integer
```
然而，data(<e1>123</e1>) instance of xs:decimal 將會傳回 True。
對於 processing-instruction() 與 document-node() 時序類型，只允許沒有引數的形式。例如，允許 processing-instruction() 但不允許 processing-instruction('abc')。

cast as 運算子

cast as 可用以將值轉換為特定的資料類型。例如：

Expression cast as  AtomicType?

在 SQL Server 中，在 AtomicType 後面需要問號 (?)。例如，如下列查詢所示，"2" cast as xs:integer? 會將字串值轉換為整數：

declare @x xml
set @x=''
select @x.query('"2" cast as xs:integer?')

在下列查詢中，data() 會傳回具類型的 ProductModelID 屬性值，為字串類型。cast as 運算子會將值轉換為 xs:integer。

WITH XMLNAMESPACES ('https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelDescription' AS PD)
SELECT CatalogDescription.query('
   data(/PD:ProductDescription[1]/@ProductModelID) cast as xs:integer?
') as Result
FROM Production.ProductModel
WHERE ProductModelID = 19

在此查詢中不需明確地使用 data()。 cast as 運算式可在輸入運算式上執行隱含的不可部份完成。

建構函式

您可以使用不可部份完成類型的建構函式。例如，您可以捨棄使用 cast as 運算式、"2" cast as xs:integer?，然後改用 xs:integer() 建構函式，如下列範例所示：

declare @x xml
set @x=''
select @x.query('xs:integer("2")')

下列範例會傳回等於 2000-01-01Z 的 xs:date 值。

declare @x xml
set @x=''
select @x.query('xs:date("2000-01-01Z")')

您也可以使用使用者自訂不可部份完成類型的建構函式。例如，如果與 XML 資料類型關聯的 XML 結構描述集合定義了簡單的類型，myType() 建構函式可用以傳回該類型的值。

實作限制

不支援 XQuery 運算式 typeswitch、castable 以及 treat。
cast as 在不可部份完成類型後面需要問號 (?)。
不支援 xs:QName 做為轉換的類型。請改用 expanded-QName。
xs:date、xs:time 以及 xs:datetime 需要 Z 所指定的時區。

下列查詢會失敗，因為未指定時區。
```
DECLARE @var XML
SET @var = ''
SELECT @var.query(' <a>{xs:date("2002-05-25")}</a>')
go
```
只要在值中加入 Z 時區指標，查詢就可成功執行。
```
DECLARE @var XML
SET @var = ''
SELECT @var.query(' <a>{xs:date("2002-05-25Z")}</a>')
go
```
以下是結果：
```
<a>2002-05-25Z</a>
```

請參閱

概念

XQuery 運算式

類型系統 (XQuery)

共用方式為

SequenceType 運算式 (XQuery)

運算子的執行個體

範例 A

範例 B

範例 C

範例 D

範例 E

實作限制

cast as 運算子

建構函式

實作限制

請參閱

概念

其他資源