.. _QProgToQuil:

量子程序转化为Quil
======================

简介
--------------

| Quil可以从一个很低级的层次直接描述量子程序、量子算法，它的地位类似于经典计算机中的硬件描述语言或者汇编语言。Quil基本采用“指令+参数列表”的设计方法。一个简单的量子程序例子如下：

.. code-block:: c

    X 0
    Y 1
    CNOT 0 1
    H 0
    RX(-3.141593) 0
    MEASURE 1 [0]

- ``X`` 的作用是对目标量子比特进行 ``Pauli-X`` 门操作。与之类似的关键词有 ``Y`` 、``Z``  、 ``H`` 等等。
- ``Y`` 的作用是对目标量子比特进行 ``Pauli-Y`` 门操作。
- ``CNOT`` 的作用是对两个量子比特执行 ``CNOT`` 操作。输入参数为控制量子比特序号和目标量子比特序号。
- ``H`` 的作用是对目标量子比特进行 ``Hadamard`` 门操作。
- ``MEASURE`` 的作用对目标量子比特进行测量并将测量结果保存在对应的经典寄存器里面，输入参数为目标量子比特序号和保存测量结果的经典寄存器序号。

.. _pyQuil: https://pyquil.readthedocs.io/en/stable/compiler.html

上述仅为Quil指令集语法的一小部分， 详细介绍请参考 pyQuil_ 。

接口介绍
-----------------

``QProgToQuil`` 类是QPanda2提供的一个将量子程序转换为Quil指令集的工具类，我们先用QPanda2构建一个量子程序：

    .. code-block:: c
          
        QProg prog;
        auto qubits = qvm->qAllocMany(4);
        auto cbits = qvm->cAllocMany(4);

        prog << X(qvec[0])
             << Y(qvec[1])
             << H(qvec[0])
             << RX(qvec[0], 3.14)
             << Measure(qvec[1], cvec[0]);
然后调用 ``QProgToQuil`` 类实现转化

    .. code-block:: c
          
        QProgToQuil t(qvm);
        t.transform(prog);
        std::string instructions = t.getInsturctions();

我们还可以使用QPanda2封装的一个接口：

    .. code-block:: c
          
        std::string instructions = convert_qprog_to_quil(prog, qvm);

实例
---------------

    .. code-block:: c

        #include "QPanda.h"
        USING_QPANDA


        int main(void)
        {
            auto qvm = initQuantumMachine(QMachineType::CPU);
            auto qubits = qvm->qAllocMany(4);
            auto cbits = qvm->cAllocMany(4);
            QProg prog;

            // 构建量子程序
            prog << X(qubits[0])
                 << Y(qubits[1])
                 << H(qubits[2])
                 << RX(qubits[3], 3.14)
                 << Measure(qubits[0], cbits[0]);

            // 量子程序转换Quil
            std::string instructions = convert_qprog_to_quil(prog, qvm);
            std::cout << instructions << std::endl;
            destroyQuantumMachine(qvm);
            return 0;
        }

运行结果：

    .. code-block:: c

        DECLARE ro BIT[1]
        X 0
        Y 1
        H 2
        RX(3.140000) 3
        MEASURE 0 ro[0]