Operação AssertMeasurement
Aviso
Esta documentação refere-se ao QDK Clássico, que foi substituído pelo QDK Moderno.
https://aka.ms/qdk.api Veja a documentação da API para o QDK Moderno.
Espaço de nomes: Microsoft.Quantum.Diagnostics
Pacote: Microsoft.Quantum.QSharp.Foundation
Afirma que medir os qubits especificados na base de Pauli dada terá sempre o resultado dado.
operation AssertMeasurement (bases : Pauli[], qubits : Qubit[], result : Result, msg : String) : Unit is Adj + Ctl
Entrada
bases: Pauli[]
Um efeito de medição para afirmar a probabilidade de, expresso como um operador Pauli multi-qubit.
qubits: Qubit[]
Um registo no qual pretende fazer a afirmação.
resultado: Resultado
O resultado esperado de Measure(bases, qubits).
msg: Cadeia
Uma mensagem a ser comunicada se a afirmação falhar.
Saída: Unidade
Exemplo
O fragmento seguinte será executado sem erros no simulador de estado completo:
use q = Qubit();
within {
H(q);
} apply {
AssertMeasurement([PauliX], [q], Zero, "Expected |+⟩ state.");
}
Observações
Tenha em atenção que as versões Adjacentes e Controladas desta operação não verificarão a condição.