XQuery での型キャストの規則

明示的なキャスト

次の表は、組み込みのプリミティブ型間で利用できる型キャストの概要を示しています。

• この表の規則に基づいて、ある組み込みのプリミティブ型を、別の組み込みのプリミティブ型にキャストできます。

• あるプリミティブ型は、そのプリミティブ型から派生したすべての型にキャストできます。たとえば、xs:decimal から xs:integer、xs:decimal から xs:long にキャストできます。

• 派生型は、型階層内の先祖であれば、派生元の組み込みのプリミティブ型も含めて、すべての型にキャストできます。たとえば、xs:token から xs:normalizedString や xs:string にキャストできます。

• ある派生型は、その先祖のプリミティブ型からキャストできる型であれば、任意のプリミティブ型にキャストできます。たとえば、派生型 xs:integer はプリミティブ型の xs:string にキャストできます。これは、xs:integer の先祖のプリミティブ型 xs:decimal が xs:string にキャストできるためです。

• ある派生型は、その先祖のプリミティブ型からキャストできるプリミティブ型の先祖であれば、任意の派生型にキャストできます。たとえば、xs:decimal から xs:string にキャストできるので、xs:integer から xs:token にキャストできます。

• ユーザー定義型から組み込み型にキャストする場合の規則は、組み込み型の規則と同じです。たとえば、xs:integer から派生された myInteger 型を定義したとします。その後、myInteger 型を xs:token にキャストできます。これは、xs:decimal が xs:string にキャストできるためです。

次の種類のキャストは、サポートされません。

• リスト型間のキャストは許可されません。これには、ユーザー定義リスト型と組み込みリスト型 (xs:IDREFS、xs:ENTITIES、xs:NMTOKENS など) の両方が含まれます。

• xs:QName 型間のキャストはサポートされません。

• xs:NOTATION および完全に順序が設定された期間のサブタイプ (xdt:yearMonthDuration と xdt:dayTimeDuration) はサポートされません。したがって、これらの型間のキャストはサポートされません。

次に、明示的な型キャストの例を示します。

例 A

declare @x xml
set @x = '<e>1</e><e>2</e>'
select @x.query('/e[1] cast as xs:string?')
go

例 B

create xml schema collection myCollection as N'
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
      <xs:element name="root">
            <xs:complexType>
                  <xs:sequence>
                        <xs:element name="A" type="xs:string"/>
                        <xs:element name="B" type="xs:string"/>
                        <xs:element name="C" type="xs:string"/>
                  </xs:sequence>
            </xs:complexType>
      </xs:element>
</xs:schema>'
go

declare @x xml(myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>
          <root><A>4</A><B>5</B><C>6</baz></C>'
select @x.query('/root/A cast as xs:string?')
go

declare @x xml(myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>
              <root><A>4</A><B>5</B><C>6</C></root>'
select @x.query('/root[1]/A cast as xs:string?')
go

declare @x xml(document myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>
              <root><A>4</A><B>5</B><C>6</C></root>'
go

declare @x xml(document myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>'
select @x.query('/root/A cast as xs:string?')
go

暗黙のキャスト

暗黙のキャストを使用できるのは、数値型と型指定されていないアトミック型だけです。たとえば、次の min() 関数は、2 つの値のうち小さい方の値を返します。

min(xs:integer("1"), xs:double("1.1"))

この例では、XQuery の min() 関数に渡される 2 つの値の型は異なっています。したがって、暗黙的な変換により integer 型が double に上位変換され、2 つの double 型値が比較されます。

この例のような型の上位変換は、次の規則に従って行われます。

• 組み込み派生数値型は、その基本型に上位変換できます。たとえば integer は decimal 型に上位変換できます。

• decimal は float に、float は double に上位変換できます。

暗黙のキャストを使用できるのは数値型だけなので、次のキャストは許可されません。

• 文字列型間の暗黙のキャストは許可されません。たとえば、2 つの string 型の値が必要な場合に、string と token を渡すと、暗黙のキャストは行われず、エラーが返されます。

• 数値型から文字列型への暗黙のキャストは許可されません。たとえば、文字列型のパラメータが必要な関数に整数型の値を渡すと、暗黙のキャストは行われず、エラーが返されます。

値のキャスト

ある型から別の型へキャストすると、実際の値は元の型の値空間からキャスト先の型の値空間に変換されます。たとえば、xs:decimal から xs:double にキャストすると、decimal 値が double 値に変換されます。

次に、いくつかの変換の規則を示します。

実装の制限事項

次に、制限事項を示します。

• 浮動小数点値 NaN はサポートされません。

• キャスト可能な値は、キャスト先の型に実装されている制限事項によって制約を受けます。たとえば、年数に負の値を指定した日付文字列を xs:date にキャストすることはできません。実行時に値が指定された場合、このようなキャストでは、(ランタイム エラーになるのではなく) 空のシーケンスが返されます。

関連項目

概念