完全限定名称：Std.Intrinsic.Measure
operation Measure(bases : Pauli[], qubits : Qubit[]) : Result
总结
在指定的 Pauli 基中对一个或多个量子位执行联合测量。
如果基数组和量子比特数组的长度不同，则该操作将失败。
输入
基地
单量子比特 Pauli 值的数组，指示每个量子比特的张量积因子。
量子比特
要测量的量子比特的寄存器。
输出
如果观察到 +1 特征值，则 Zero 如果观察到 -1 特征值，则 One。
言论
获取 Zero 的概率是 $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes \otimes P_{N-1}}{2} \ket{\psi}$ ，其中 $P_i$ 是 bases的 $i$-th 元素，其中 $N$ 是 Length(bases)。
也就是说，度量返回一个 Result $d$ ，使观察到的测量效果的特征值是 $（-1）^d$。