Regras de conversão de tipos em XQuery

Conversão explícita

A tabela a seguir descreve a conversão de tipos permitida entre os tipos primitivos internos.

• Um tipo primitivo interno pode ser convertido em outro tipo primitivo interno, com base nas regras na tabela.

• Um tipo primitivo pode ser convertido em qualquer tipo derivado desse tipo primitivo. Por exemplo, você pode converter de xs:decimal em xs:integer, ou de xs:decimal em xs:long.

• Um tipo derivado pode ser convertido em qualquer tipo que seja seu ancestral na hierarquia de tipo, todo o caminho até o seu tipo base primitivo interno. Por exemplo, você pode converter de xs:token em xs:normalizedString ou em xs:string.

• Um tipo derivado poderá ser convertido em um tipo primitivo se seu ancestral primitivo puder ser convertido no tipo de destino. Por exemplo, você pode converter xs:integer, um tipo derivado, em um xs:string, um tipo primitivo, pois xs:decimal, o ancestral primitivo do xs:integer, pode ser convertido em xs:string.

• Um tipo derivado pode ser convertido em outro tipo derivado se o ancestral primitivo do tipo de origem puder ser convertido no ancestral primitivo do tipo de destino. Por exemplo, você pode converter de xs:integer em xs:token, pois é possível converter de xs:decimal em xs:string.

• As regras de conversão de tipos definidos pelo usuário em tipos internos são as mesmas para os tipos internos. Por exemplo, você pode definir um tipo derivado myInteger do tipo xs:integer. Em seguida, myInteger pode ser convertido em xs:token, pois xs:decimal pode ser convertido em xs:string.

Não há suporte para os seguintes tipos de conversão:

• Não é permitida a conversão em ou de tipos de lista. Isso inclui tipos de lista definidos pelo usuário e tipos de lista internos, como xs:IDREFS, xs:ENTITIES e xs:NMTOKENS.

• Não há suporte para conversão em ou de xs:QName.

• Não há suporte para xs:NOTATION e para os subtipos completamente ordenados de duração, xdt:yearMonthDuration e xdt:dayTimeDuration. Conseqüentemente, não há suporte para conversão em ou desses tipos.

Os exemplos a seguir ilustram a conversão de tipo explícito.

Exemplo A

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

Exemplo 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

Conversão implícita

A conversão implícita só é permitida para tipos numéricos e tipos atômicos não digitados. Por exemplo, a função min() a seguir retorna o mínimo dos dois valores:

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

Nesse exemplo, os dois valores passados na função min() XQuery são de tipos diferentes. Portanto, a conversão implícita é executada onde o tipo inteiro é promovido para duplo e os dois valores duplos são comparados.

A promoção de tipo como descrita nesse exemplo segue estas regras:

• Um tipo numérico derivado interno pode ser promovido a seu tipo básico. Por exemplo, um inteiro pode ser promovido a decimal.

• Um decimal pode ser promovido a flutuante e um flutuante pode ser promovido a duplo.

Como a conversão implícita só é permitida para tipos numéricos, o seguinte não é permitido:

• Conversão implícita para tipos de cadeia de caracteres. Por exemplo, se dois tipos de cadeia de caracteres forem esperados e você passar uma cadeia de caracteres e um token, nenhuma conversão implícita ocorrerá e um erro será retornado.

• Conversão implícita de tipos numéricos em tipos de cadeia de caracteres. Por exemplo, se você passar um valor do tipo inteiro em uma função que está esperando um parâmetro de tipo de cadeia de caracteres, nenhuma conversão implícita ocorrerá e um erro será retornado.

Convertendo valores

Ao converter de um tipo a outro, os valores reais são transformados do espaço de valor do tipo de origem no espaço de valor do tipo de destino. Por exemplo, a conversão de um xs:decimal em um xs:double transformará o valor decimal em um valor duplo.

A seguir são apresentadas algumas das regras de transformação.

Limitações de implementação

Estas são as limitações:

• Não há suporte para o valor do ponto flutuante NaN.

• Os valores conversíveis são restritos pelas restrições de implementação de tipos designadas. Por exemplo, você não pode converter uma cadeia de caracteres de dados com um ano negativo em xs:date. Tal conversão resultará em uma seqüência vazia se o valor for fornecido em tempo de execução (em vez de gerar um erro de tempo de execução).

Consulte também

Conceitos