Partilhar via

Expressões condicionais

  • Artigo

As expressões condicionais consistem em três subexpressões, em que a sub-expressão mais à esquerda é do tipo Bool e determina qual das outras duas subexpressões é avaliada. São da forma

cond ? ifTrue | ifFalse

Especificamente, se cond for avaliada como true, a expressão condicional é avaliada para a ifTrue expressão; caso contrário, avalia para a ifFalse expressão. A outra expressão (a ifFalse expressão e ifTrue , respetivamente) nunca é avaliada, tal como os ramos numa if instrução. Por exemplo, numa expressão a == b ? C(qs) | D(qs), se a for igual ba , o callable C é invocado. Caso contrário, D é invocado.

Os tipos de ifTrue e da ifFalse expressão têm de ter um tipo de base comum. Independentemente do valor que, em última análise, gera o valor ao qual a expressão é avaliada, o tipo corresponde sempre ao tipo de base determinado.

Por exemplo, se

  • Op1 é do tipo Qubit[] => Unit is Adj
  • Op2 é do tipo Qubit[] => Unit is Ctl
  • Op3 é do tipo Qubit[] => Unit is Adj + Ctl

então

  • cond ? Op1 | Op2 é do tipo Qubit[] => Unit
  • cond ? Op1 | Op3 é do tipo Qubit[] => Unit is Adj
  • cond ? Op2 | Op3 é do tipo Qubit[] => Unit is Ctl

Para obter mais detalhes, veja subtipagem.