{"id":22015590,"url":"https://github.com/originq/qrunes","last_synced_at":"2025-09-10T20:42:43.382Z","repository":{"id":45546127,"uuid":"191153061","full_name":"OriginQ/QRunes","owner":"OriginQ","description":"For QRunes Compiler and Language tutorial","archived":false,"fork":false,"pushed_at":"2021-12-09T03:43:19.000Z","size":1036,"stargazers_count":22,"open_issues_count":1,"forks_count":2,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-05-07T01:03:23.589Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/OriginQ.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2019-06-10T11:11:46.000Z","updated_at":"2025-01-08T12:33:46.000Z","dependencies_parsed_at":"2022-07-15T15:30:36.250Z","dependency_job_id":null,"html_url":"https://github.com/OriginQ/QRunes","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OriginQ%2FQRunes","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OriginQ%2FQRunes/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OriginQ%2FQRunes/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OriginQ%2FQRunes/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/OriginQ","download_url":"https://codeload.github.com/OriginQ/QRunes/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252793664,"owners_count":21805057,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-30T04:26:29.923Z","updated_at":"2025-05-07T01:04:03.737Z","avatar_url":"https://github.com/OriginQ.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"- [写在前面](#1)\n  - [量子](#1.1)\n  - [量子计算](#1.2)\n  - [量子经典混合编程](#1.3)\n- [Quick Start](#2)\n  - [QRunes简介](#2.1)\n  - [QRunes开发环境](#2.2)\n  - [Qurator介绍](#2.3)\n  - [初窥QRunes](#2.4)\n- [QRunes基本类型与变量](#3)\n  - [QRunes的基本对象类型](#3.1)\n  - [常量](#3.2)\n  - [变量](#3.3)\n- [QRunes表达式与运算符](#4)\n  - [表达式](#4.1)\n  - [表达式的类型介绍](#4.2)\n- [语句](#5)\n  - [简单语句](#5.1)\n  - [复合语句](#5.2)\n  - [函数调用语句](#5.3)\n  - [辅助类型控制语句](#5.4)\n  - [量子类型控制语句](#5.5)\n  - [量子比特测量语句](#5.6)\n- [函数](#6)\n  - [函数的声明](#6.1)\n  - [函数的定义](#6.2)\n  - [函数的参数](#6.3)\n  - [函数的返回类型](#6.4)\n  - [函数的调用](#6.5)\n- [常用量子算法介绍及实现](#7)\n\n\n\n# \u003ca name=\"1\"\u003e\u003c/a\u003e写在前面\n\n## \u003ca name=\"1.1\"\u003e\u003c/a\u003e量子\n\n\n​\t量子（quantum）是现代物理的重要概念。最早是由德国物理学家M·普朗克在1900年提出的。他假设黑体辐射中的辐射能量是不连续的，只能取能量基本单位的整数倍，从而很好地解释了黑体辐射的实验现象。\n\n​\t后来的研究表明，不但能量表现出这种不连续的分离化性质，其他物理量诸如角动量、自旋、电荷等也都表现出这种不连续的量子化现象。这同以牛顿力学为代表的经典物理有根本的区别。量子化现象主要表现在微观物理世界。描写微观物理世界的物理理论是量子力学。\n\n​\t量子一词来自拉丁语quantus，意为“有多少”，代表“相当数量的某物质”。自从普朗克提出量子这一概念以来，经爱因斯坦、玻尔、德布罗意、海森伯、薛定谔、狄拉克、玻恩等人的完善，在20世纪的前半期，初步建立了完整的量子力学理论。绝大多数物理学家将量子力学视为理解和描述自然的基本理论。\n\n## \u003ca name=\"1.2\"\u003e\u003c/a\u003e量子计算\n\n​\t量子计算是一种遵循量子力学规律调控量子信息单元进行计算的新型计算模式。对照于传统的通用计算机，其理论模型是通用图灵机；通用的量子计算机，其理论模型是用量子力学规律重新诠释的通用图灵机。从可计算的问题来看，量子计算机只能解决传统计算机所能解决的问题，但是从计算的效率上，由于量子力学叠加性的存在，目前某些已知的量子算法在处理问题时速度要快于传统的通用计算机。\n\n## \u003ca name=\"1.3\"\u003e\u003c/a\u003e量子经典混合编程\n\n​\tQRunes根据量子计算的经典与量子混合（Quantum-Classical Hybrid）特性，在程序编译之后可以操纵宿主机器、量子测控设备与量子芯片来实现量子计算。所谓的量子经典混合编程即是将实现量子计算的部分用量子代码实现量子比特和量子逻辑门的操作，而与经典计算机打交道的部分（结果展示、量子程序开发包，比如QPanda）用经典语言实现的一种编程方式成为量子经典混合编程。\n\n\n# \u003ca name=\"2\"\u003e\u003c/a\u003eQuick Start\n\n## \u003ca name=\"2.1\"\u003e\u003c/a\u003eQRunes简介\n\n​\tQRunes是一种面向过程、命令式的量子编程语言Imperative language（这也是当前主流的一种编程范式），它的出现是为了实现量子算法。QRunes根据量子计算的经典与量子混合（Quantum-Classical Hybrid）特性，在程序编译之后可以操纵经典计算机与量子芯片来实现量子计算。\n\n​\tQRunes通过提供高级语言的形式（类C的编程风格）来量子算法的实现和程序逻辑控制。其丰富的类型系统(Quantum Type，Auxiliary Type，Classical Type)可以实现量子计算中数据对象的绑定和行为控制，可以满足各类量子算法开发人员的算法实现需求。\n\n​\tQRunes构成：Settings, QCodes和Script。其中Settings部分定义了关于QRunes编译的全局信息；QCodes部分是具体的对于量子比特操作和行为的控制；Script部分是宿主程序的实现，它的实现依赖于经典编程语言（C++，Python等）和相关联的量子程序开发工具包（比如：QPanda/pyQPanda）。\n\n## \u003ca name=\"2.2\"\u003e\u003c/a\u003eQRunes开发环境\n\n### QRunes与QPanda/pyQPanda\n\n**\\#\\#\\#\\# QPanda**\n\n​\tQPanda SDK是由本源量子推出的，基于量子云服务的，开源的量子软件开发包。用户可基于此开发包开发在云端执行的量子程序。QPanda使用C++语言作为经典宿主语言，支持以QRunes书写的量子语言。\n​\t目前，QPanda支持本地仿真运行模式和云仿真运行模式，最高可支持到32位。Q-Panda提供了一个可执行的命令行程序，通过指令控制量子程序的加载、运行和读出。另外，QPanda提供了一组API，可供用户自行定制功能。\n\n**\\#\\#\\#\\# QPanda 2**\n\n​\tQPanda 2(Quantum Programming Architecture for NISQ Device Applications)是一个高效的量子计算开发工具库，可用于实现各种量子算法，QPanda2基于C++实现，并可扩展到Python。\n\n**\\#\\#\\#\\# PyQPanda**\n\n​\tPyQPanda是我们通过pybind11工具，以一种直接和简明的方式，对QPanda2中的函数、类进行封装，并且提供了几乎完美的映射功能。封装部分的代码在QPanda2编译时会生成为动态库，从而可以作为python的包引入。\n\n### 开发环境配置与运行\n\n为了兼容高效与便捷，我们为您提供了C++ 和Python（pyQPanda）两个版本，pyQPanda封装了C++对外提供的接口。\n\n**\\#\\#\\#\\# C++的使用**\n\n使用QPanda 2相对于pyQPanda会复杂一些，不过学会编译和使用QPanda2，您会有更多的体验，更多详情可以阅读[使用文档](https://qpanda-2.readthedocs.io/zh_CN/latest/)。话不多说，我们先从介绍Linux下的编译环境开始。\n\n**\\#\\#\\#\\# 编译环境**\n\n在下载编译之前，我们需要：\n\n| software | version   |\n| -------- | --------- |\n| GCC      | \u003e= 5.4.0  |\n| CMake    | \\\u003e= 3.1   |\n| Python   | \\\u003e= 3.6.0​ |\n\n**\\#\\#\\#\\# 下载和编译**\n\n我们需要在Linux终端下输入以下命令：\n\n- \\$ git clone \u003chttps://github.com/OriginQ/QPanda-2.git\u003e\n- \\$ cd qpanda-2\n- \\$ mkdir build\n- \\$ cd build\n- \\$ cmake -DCMAKE\\_INSTALL\\_PREFIX=/usr/local ..\n- \\$ make\n\n**\\#\\#\\#\\# 安装**\n\n编译完成后，安装就简单的多，只需要输入以下命令：\n\n- \\$ make install\n\n**\\#\\#\\#\\# 开始量子编程**\n\n现在我们来到最后一关，创建和编译自己的量子应用。我相信对于关心如何使用QPanda2的朋友来说，如何创建C++项目，不需要我多说。不过，我还是需要提供CMakelist的示例，方便大家参考。\n\n```\ncmake_minimum_required(VERSION 3.1)\nproject(testQPanda)\nSET(CMAKE_INSTALL_PREFIX \"/usr/local\")\nSET(CMAKE_MODULE_PATH  ${CMAKE_MODULE_PATH} \"${CMAKE_INSTALL_PREFIX} lib/cmake\")\n\nadd_definitions(\"-std=c++14 -w -DGTEST_USE_OWN_TR1_TUPLE=1\")\nset(CMAKE_BUILD_TYPE \"Release\")\nset(CMAKE_CXX_FLAGS_DEBUG \"$ENV{CXXFLAGS} -O0 -g -ggdb\")\nset(CMAKE_CXX_FLAGS_RELEASE \"$ENV{CXXFLAGS} -O3\")\nadd_compile_options(-fPIC -fpermissive)\nfind_package(QPANDA REQUIRED)\nif (QPANDA_FOUND)\n\n    include_directories(${QPANDA_INCLUDE_DIR}\n                    ${THIRD_INCLUDE_DIR})\n    add_executable(${PROJECT_NAME} test.cpp)\n    target_link_libraries(${PROJECT_NAME} ${QPANDA_LIBRARIES})\nendif (QPANDA_FOUND)\n```\n\n我们接下来通过一个示例介绍QPanda2的使用，此例子构造了一个量子叠加态。在量子程序中依次添加H门和CNOT门，最后对所有的量子比特进行测量操作。此时，将有50%的概率得到00或者11的测量结果。\n\n```\n#include \"QPanda.h\"\n#include \u003cstdio.h\u003e\nusing namespace QPanda;\nint main()\n{\n    init(QMachineType::CPU);\n    QProg prog;\n    auto q = qAllocMany(2);\n    auto c = cAllocMany(2);\n    prog \u003c\u003c H(q[0])\n        \u003c\u003c CNOT(q[0],q[1])\n        \u003c\u003c MeasureAll(q, c);\n    auto results = runWithConfiguration(prog, c, 1000);\n    for (auto result : results){\n        printf(\"%s : %d\\n\", result.first.c_str(), result.second);\n    }\n    finalize();\n}\n```\n\n最后，编译，齐活。 \n\n```\n$ mkdir build\n$ cd build\n$ cmake .. \n$ make\n```\n\n运行结果如下:\n\n```\n00 : 512\n11 : 488 \n```\n\n**\\#\\#\\#\\# python的使用**\n\npyQPanda只需要通过pip就可安装使用。\n\n- -pip install pyqpanda\n\n我们接下来通过一个示例介绍pyQPanda的使用，此例子构造了一个量子叠加态。在量子程序中依次添加H门和CNOT门，最后对所有的量子比特进行测量操作。此时，将有50%的概率得到00或者11的测量结果。\n\n```\nfrom pyqpanda import *\n\ninit(QMachineType.CPU)\nprog = QProg()\nq = qAlloc_many(2)\nc = cAlloc_many(2)\nprog.insert(H(q[0]))\nprog.insert(CNOT(q[0],q[1]))\nprog.insert(measure_all(q,c))\nresult = run_with_configuration(prog, cbit_list = c, shots = 1000)\nprint(result)\nfinalize()\n```\n\n运行结果如下:\n\n```\n{'00': 493, '11': 507}\n```\n\n## \u003ca name=\"2.3\"\u003e\u003c/a\u003eQurator介绍\n\nqurator-vscode 是本源量子推出的一款可以开发量子程序的 VS Code插件。其支持 QRunes2 语言量子程序开发，并支持 Python 和 C++语言作为经典宿主语言。\n\n在 qurator-vscode 中，量子程序的开发主要分为编写和运行两个部分。\n\n- 编写程序：插件支持模块化编程，在不同的模块实现不同的功能，其中量子程序的编写主要在\n  qcodes 模块中；\n- 程序运行：即是收集结果的过程，插件支持图表化数据展示，将运行结果更加清晰的展现在您的面前。\n\n### qurator-vscode 设计思想\n\n考虑到目前量子程序的开发离不开经典宿主语言的辅助，qurator-vscode插件设计时考虑到一下几点：\n\n1.模块编程：\n\n​\tqurator-vscode插件支持模块编程，将整体程序分为三个模块：settings、qcodes 和 script模块。在不同的模块完成不同的功能。 在 settings模块中，您可以进行宿主语言类型、编译还是运行等设置；在 qcodes 模块中，您可以编写 QRunes2 语言程序； 在 script模块中，您可以编写相应的宿主语言程序。\n\n​2. 切换简单： \n\n​\tqurator-vscode 插件目前支持两种宿主语言，分别为 Python 和C++。您可以在两种宿主语言之间自由的切换，您只需要在 settings 模块中设置language 的 类型，就可以在 script模块中编写对应宿主语言的代码。插件会自动识别您所选择的宿主语言，并在script 模块中提供相应的辅助功能。\n\n​3. 图形展示： \n\n​\tqurator-vscode 插件提供图形化的结果展示，程序运行后会展示json格式的运行结果，您可以点击运行结果，会生成相应的柱状图，方便您对运行结果的分析。\n\n## \u003ca name=\"2.4\"\u003e\u003c/a\u003e初窥QRunes\n\n### QRunes关键字\n\n| keywords | keywords           |\n| -------- | ------------------ |\n| int      | vector             |\n| double   | hamiltionian       |\n| bool     | variationalCircuit |\n| map      | avar               |\n| qubit    | circuit            |\n| cbit     |                    |\n\n### QRunes程序结构\n\n**\\#\\#\\# QRunes由三部分组成**\n\n- \\#\\#\\#\\# settings 模块中可以设置宿主语言，编译还是运行；\n\n```\n@settings:\n    language = Python;\n    autoimport = True;\n    compile_only = False;\n```\n\n- \\#\\#\\#\\# qcodes 模块中可以编写 QRunes2 量子语言代码；\n\n```\nD_J(qvec q,cvec c){\n    RX(q[1],Pi);\n    H(q[0]);\n    H(q[1]);\n    CNOT(q[0],q[1]);\n    H(q[0]);\n    Measure(q[0],c[0]);\n}\n```\n\n- \\#\\#\\#\\# script 模块中可以编写宿主语言代码，目前支持 Python 和 C++两种宿主语言。\n\n```\ninit(QuantumMachine_type.CPU_SINGLE_THREAD)\nq = qAlloc_many(2)\nc = cAlloc_many(2)\nqprog1 = D_J(q,c)\nresult = directly_run(qprog1)\nprint(result)\nfinalize()\n```\n\n### Oops!你的第一个量子程序\n\n点击右上方 Run this QRunes 运行程序，或者使用命令提示符 qurator-vscode:Run this QRunes 来运行程序(快捷键F5)，点击运行结果可以以柱状图的的形式展示。\n\n![image](./source/images/run.jpg)\n\n\n\n# \u003ca name=\"3\"\u003e\u003c/a\u003eQRunes基本类型与变量\n\n## \u003ca name=\"3.1\"\u003e\u003c/a\u003eQRunes的基本对象类型\n\n### 量子类型 Quantum Type\n\n量子类型的对象描述的是量子芯片上的量子比特。\n\n例如：qubit q;\n\n它在运行期间会映射某一个量子芯片上的量子比特。这种对象只能被最终用于量子逻辑门操作中。它的赋值相当于创建这个映射的别名，并非描述其中的数据的复制。\n\n### 辅助类型 Auxiliary Type\n\n辅助类型是为了更方便创建量子操作的辅助对象。它在编译后的程序中不存在。它可以用于描述一些用于决定量子程序构造的变量或者常量。它也可以是一个编译期间的if判断或者for循环。\n\n对于一组qubit，例如vector\\\u003cqubit\\\u003e qs，我们要创建作用在它们上面的Hadamard门，我们可以利用如下语句：\n\n```\nfor (i = 0: 1: qs.size()) {\n    H(qs[i]);\n}\n```\n\n这一组语句是一个典型的for循环，但是执行这个程序的时机是在编译期间，因此这个for循环并不是在量子计算机中运行的for循环。它的效果相当于全部展开。即：\n\n```\nH(q[0]);  \nH(q[1]);  \nH(q[2]);  \n...\n```\n\n### 经典类型 Classical Type\n\n经典类型是在量子测控系统中存在的对象。他们的创建、计算、管理都是由量子芯片的测控系统完成的。这个系统具有实时性的特点，因此这些变量的生命周期和qubit的退相干时间共存。它是为了解决普通的宿主机和量子芯片之间无法进行实时数据交换的问题而存在的。简而言之，它们介于宿主机（辅助类型）和量子芯片（量子类型）之间。\n\n经典类型的变量典型地可以被用于保存量子比特的测量结果。除此之外，由测量结果决定的IF和WHILE操作，即后面会提到的QIF，QWHILE操作也是在测控系统中完成的，所以也属于经典类型。要注意到QIF和QWHILE和宿主机（辅助类型）的if，for，while等操作具有完全不同的运行时机，其中辅助类型的变量、表达式、语句等是编译期间计算的，经典类型是运行期间计算的。\n\n例如：\n\n```\ncbit c;  \nqubit q;  \nH(q);  \nMeasure(q,c);  \nqif(c){  \n    // do something...  \n}\n```\n\n这个程序就根据一个qubit在执行完Hadamard门之后进行的测量的结果来选择执行分支。注意到c是一个在测控系统中存在的变量，而qif的判断也是在这个系统中实时完成的，之间与宿主机不会发生数据传输。\n\n经典变量之间还可以进行计算，比如：\n\n```\nqif(!c) {} // 对c求非  \nqif(c1 == c2) {} //比较c1与c2的值  \nqif(c1 == True) {} //等价于qif(c1) \n```\n\n但是经典辅助的if中是绝对不允许存在经典类型的变量的，原因是辅助类型的值是要求编译期间能够完全确定的，例如：\n\n```\nif(c) {} // Error：编译期间无法判断c的值\n```\n\n## \u003ca name=\"3.2\"\u003e\u003c/a\u003e常量\n\n目前QRune包含的常量有：Pi，默认值为 3.14159265358979。\n\n## \u003ca name=\"3.3\"\u003e\u003c/a\u003e变量\n\n变量的定义分为两个部分来说明：\n\n1.形参变量\n\n形参变量，只做变量声明，由传递函数的实参进行初始化，作用域为所在函数体内，当函数结束的时候，形参即被销毁。\n形参变量的格式： 变量类型 变量名 当前QRunes支持的形参变量类型有：\n\n| variables | variables      |\n| -------- | -------------- |\n| int      | vector\\_type   |\n| double   | hamiltionian   |\n| bool     | avar           |\n| map      | circuit        |\n| qubit    | callback\\_type |\n| cbit     |                |\n\nhamiltionian类型是哈密顿量类型数据，它是一种复合类型。\n\navar是可变参数类型。\n\nvector\\_type是数组类型的数据，具体的参数类型需要在泛型中确定。例如：vector\\\u003cqubit\\\u003e表示qubit类型的数组。\n\ncallback\\_type是回调函数类型，由 返回类型\\\u003c参数\\\u003e 组成。 例如：\n\n```\ncircuit unitary(vector\u003cqubit\u003e q) {\n    RX(q[0], -Pi);\n}\n\n//qc为返回类型为circuit类型，参数类型为vector\u003cqubit\u003e的回调函数类型\ncircuit unitarypower(vector\u003cqubit\u003e q, int min, circuit\u003cvector\u003cqubit\u003e\u003e qc) { \n    for (let i=0: 1: (1 \u003c\u003c min)) {\n        qc(q);\n    }\n}\n\nunitarypower(q, min, unitary)  //函数的调用，callback参数类型只需传入所需调用的函数名\n```\n\n2.变量\n\n在QRunes中变量的定义分为三部分来说明：\n\na.量子类型的变量。 格式：量子类型 变量名 比如：\n\n```\nqubit q; =\u003e q = allocMany(1);  \nvector\u003cqubit\u003e qvec;\n```\n\nb.经典辅助类型的变量。 格式：let 变量名 = 初始值\n\t在辅助类型中的let关键字作用是定义并初始化辅助类型的变量。（占位符也是自动类型推断）。其中变量的类型由量子编译器根据初始值来推断确定变量的类型。这样做的好处：\n\n​\t1). 简化量子编程的编程操作，并使代码简介。（凡是辅助类型的变量直接用let关键字来定义）\n\n​\t2). let关键字涉及的行为只在编译期间，而不是运行期间。\n\n注意：\n\n1).let 关键字定义的变量必须有初始值。\n\n```\nlet a; //ERROR  \nlet a = 3.14; //CORRECT \n```\n\n2).函数参数不可以被声明为 let。\n\n```\nker(qubit q, let a){ //ERROR  \n    ...  \n}  \n```\n\n3).let不能与其他类型组合连用。\n\n```\nlet int a = 0.09; //ERROR  \n```\n\n4).定义一个let关键字序列的对象的变量，其所有初始值必须为最终能推导为同一类型。\n\n```\nlet a = 0.09, b = false, c =10; //ERROR  \nlet a = 0.09, b = 3.14, c=100.901; //CORRECT  \n```\n\nc.经典类型的变量。 格式：经典类型 变量名 比如：\n\n```\ncbit c;  \n```\n\n\n\n# \u003ca name=\"4\"\u003e\u003c/a\u003eQRunes表达式与运算符\n\n本章节及后续的第四章来详细叙述下QRunes中的表达式和语句，因为当前的量子编程涉及三个部分：经典计算机模块，测控系统模块和量子芯片模块，故这种混合（量子、经典、辅助类型）程序各自分别运行在其对应的硬件模块上，他们的编译和运行方式也将会不同。\n\n## \u003ca name=\"4.1\"\u003e\u003c/a\u003e表达式\n\n**在QRunes中，表达式由运算符和操作数组成，主要的作用是：**\n\n- 计算辅助类型操作数的值。\n- 指定函数。\n\n**操作数可以是常量或者一个数据对象。比如：**\n\n- 常量：3.14,1\n- 数据对象：标识符,表达式本身\n\n## \u003ca name=\"4.2\"\u003e\u003c/a\u003e表达式的类型介绍：\n\n### 主表达式\n\n**它是构造其他表达式的基本块。**\n\n语法构成：\n\n```\n主表达式：标识符 | 常量 | 括号表达式  \nprimary_expression: idetifier | constant |parenthesis_expression  \n例如：qubit_s1,3.1415,(c1 + c2)     \n注：支持量子类型，经典类型，辅助类型\n```\n\n### 括号表达式\n\n语法构成：\n\n```\nparenthesis_expression：（ expression ）  \n它表示在不更改括号封闭里面的表达式类型或值的情况下来构造表达式的分组方式。  \n例如:  （ 2 + 3 ）/5 与 2 + 3 / 5   \n注：支持量子类型，经典类型，辅助类型\n```\n\n### 后缀表达式与其运算符\n\n**它是后面跟运算符的主表达式。**\n\n| 后缀运算符         | 示          例 | 支持类型 |\n| ------------------ | -------------- | -------- |\n| 下标运算符         | [  ]           | Q A C    |\n| 函数调用运算符     | (  )           | Q A C    |\n| 对象成员访问运算符 | .              | Q A C    |\n| 后缀递增运算符     | ++             | A        |\n| 后缀递减法运算符   | --             | A        |\n\n### 一元表达式与其运算符\n\n| 一元运算符 | 含义           | 示例 | **支持类型** |\n| ---------- | -------------- | ---- | ------------ |\n| \\~         | 取反运算符     | \\~x  | A            |\n| !          | 逻辑非运算符   | !x   | A C          |\n| ++         | 一元递增运算符 | x++  | A            |\n| --         | 一元递减运算符 | x--  | A            |\n\n### 二元表达式与其运算符\n\n- 基本的赋值运算符是“=”。他的优先级别低于其他的运算符，所以对该运算符往往最后读取。\n\n  | 赋值运算符 | 含义                            | 示 例        | 支持类型 |\n  | ---------- | ------------------------------- | ------------ | -------- |\n  | =          | 将右操作数的值赋给左操作数 x=y; | 将x的值赋为y | A C      |\n  | +=         | 加后赋值 x+=y;                  | 即x=x+y      | A C      |\n  | -=         | 减后赋值 x-=y;                  | 即x=x-y      | A C      |\n  | *=         | 乘后赋值 x\\*=y;                 | 即x=x\\*y     | A C      |\n  | /=         | 除后赋值 x/=y;                  | 即x=x/y      | A C      |\n  | %=         | 取余后赋值 x%=y;                | 即x=x%y      | A C      |\n  | \u0026=         | 按位与后赋值 x\u0026=y ;             | 即x=x\u0026y      | A C      |\n  | \\|=        | 按位或后赋值 x=y;               | 即x=x\\|y     | A C      |\n  | ^=         | 按位异或后赋值 x^=y;            | 即x=x^y      | A C      |\n  | \u003c\\\u003c=       | 左移后赋值 x\\\u003c\\\u003c=y;             | 即x=x\\\u003c\\\u003cy   | A C      |\n  | \u003e\\\u003e=       | 右移后赋值 x\\\u003e\\\u003e=y;             | 即x=x\\\u003e\\\u003ey   | A C      |\n\n- 算术运算符即算术运算符号。是完成基本的算术运算 (arithmetic operators) 符号，就是用来处理四则运算的符号。\n\n  | 算术运算符 | 含义                                   | 示 例  | 支持类型 |\n  | ---------- | -------------------------------------- | ------ | -------- |\n  | +          | 两个操作数相加                         | x + y  | A C      |\n  | -          | 第一个操作数减去第二个操作数 x - y     | x -  y | A C      |\n  | *          | 两个操作数相乘                         | x \\* y | A C      |\n  | /          | 第一个操作数除第二个操作数 x / y       | x / y  | A C      |\n  | %          | 第一个操作数整除第二个操作数之后的余数 | x % y  | A        |\n  | ^          | 第一个操作数的第二个操作数幂次方 x\\^y  | x ^ y  | A        |\n\n- 关系运算符有6种关系，分别为小于、小于等于、大于、等于、大于等于、不等于。关系运算符的值只能是0或1。关系运算符的值为真时，结果值都为1。关系运算符的值为假时，结果值都为0。\n\n  | 关系运算符 | 含义                                                 | 示 例   | 支持类型 |\n  | ---------- | ---------------------------------------------------- | ------- | -------- |\n  | ==         | 判断两个操作数是否相等,相等则返回真值                | x == y  | A C      |\n  | !=         | 判断两个数是否相等，不相等则返回真值                 | x != y  | A C      |\n  | \u003e          | 判断左操作数是否大于右操作数，大于则返回真值         | x \\\u003e y  | A C      |\n  | \u003c          | 判断左操作数是否小于右操作数，小于则返回真值         | x \\\u003c y  | A C      |\n  | \u003e=         | 判断左操作数是否大于等于右操作数，大于等于则返回真值 | x \\\u003e=y  | A C      |\n  | \u003c=         | 判断左操作数是否小于等于右操作数，小于等于则返回真值 | x \\\u003c= y | A C      |\n\n- 在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句\n\n  | 逻辑运算符 | 含义                                     | 示 例    | 支持类型 |\n  | ---------- | ---------------------------------------- | -------- | -------- |\n  | \u0026\u0026         | 如果两个操作数都非零，则返回真值         | x \u0026\u0026 y   | A C      |\n  | \\|\\|       | 如果两个操作数任意一个非零，则返回真值 x | x \\|\\| y | A C      |\n  | !          | 如果操作数为零                           | !x       | A C      |\n\n- 位操作是程序设计中对位模式按位或二进制数的一元和二元操作。在许多古老的微处理器上，位运算比加减运算略快，通常位运算比乘除法运算要快很多。在现代架构中，情况并非如此：位运算的运算速度通常与加法运算相同（仍然快于乘法运算）。\n\n  | 位运算符 | 含义             | 示 例  | 支持类型 |\n  | -------- | ---------------- | ------ | -------- |\n  | \u0026        | 按位与           | x \u0026 y  | A        |\n  | \\|       | 按位或           | x \\| y | A        |\n  | ^        | 异或运算符       | x ^ y  | A        |\n  | \u003c\u003c       | 二进制左移运算符 | x \u003c\u003c y | A        |\n  | \u003e\u003e       | 二进制右移运算符 | x \u003e\u003e y | A        |\n\n### 三元表达式与运算符\n\n| 三元运算符 | 含义                                    | 示 例            | 支持类型 |\n| ---------- | --------------------------------------- | ---------------- | -------- |\n| ？：       | 根      据计算的值结果选择true还是false | a \\\u003e b ? a   : b | A        |\n\n### 逗号运算符\n\n```\n逗号运算符的作用是将几个表达式放在一起，起到分割表达式的作用。  \n注：支持 A Q C\n```\n\n### 常量表达式\n\n```\n常量表达式是在编译时计算而不是在运行时计算。\n注：支持 A\n```\n\n### lambda表达式\n\n匿名函数lambda：是指一类无需定义标识符（函数名）的函数或子程序。\n\n1. lambda 函数可以接收任意多个参数 (包括可选参数) 并且返回单个表达式的值。\n\n2. lambda匿名函数的格式：冒号前是参数，可以有多个，用逗号隔开，冒号右边的为表达式或是语法块。其实lambda返回值是一个函数的地址，也就是函数对象。\n\n示例：\n\n```\nlambda (vector\u003cqubit\u003e qlist,qubit qubit2):{\n    if (oracle_function[0] == false \u0026\u0026\n        oracle_function[1] == true)\n    {\n        // f(x) = x;\n        CNOT(qlist[0], qubit2);\n    }\n    else if (oracle_function[0] == true \u0026\u0026\n        oracle_function[1] == false)\n    {\n        // f(x) = x + 1;\n        CNOT(qlist[0], qubit2);\n        X(qubit2);\n    }\n    else if (oracle_function[0] == true \u0026\u0026\n        oracle_function[1] == true)\n    {\n        // f(x) = 1\n        X(qubit2);\n    }\n    else\n    {\n        // f(x) = 0, do nothing\n    }\n};\n```\n\n注意：lambda表达式包含的语法块或表达式不能超过一个。\n\n### 运算符优先级\n\n| 运算符                             | 结合性   |\n| ---------------------------------- | -------- |\n| [ ] . ( )(方法调用)                | 从左向右 |\n| ! \\~ ++ - - +(一元运算)-(一元运算) | 从右向左 |\n| \\* / %                             | 从左向右 |\n| +-                                 | 从左向右 |\n| \\\u003c\\\u003c \\\u003e\\\u003e \\\u003e\\\u003e\\\u003e                   | 从左向右 |\n| \\\u003c\\\u003c=  \\\u003e\\\u003e=                       | 从左向右 |\n| == !=                              | 从左向右 |\n| \u0026                                  | 从左向右 |\n| ^                                  | 从左向右 |\n| \\|                                 | 从左向右 |\n| \u0026\u0026                                 | 从左向右 |\n| \\|\\|                               | 从左向右 |\n| ? :                                | 从右向左 |\n| =                                  | 从右向左 |\n\n\n# \u003ca name=\"5\"\u003e\u003c/a\u003e语句\n\n- QRunes中语句近似与人类的自然语言，既有完成单一任务的简单语句也有作为一个集合的一组语句组成的复合语句。同时QRunes既能支持辅助类型的条件分支和循环控制结构，也支持经典类型的QIF和QWHILE的量子分支和量子循环控制结构。\n- QRunes中的语句大部分都是以分号；结尾。\n\n## \u003ca name=\"5.1\"\u003e\u003c/a\u003e 简单语句\n\n### 表达式语句\n\n表达式语句的类型取决于表达式类型，表达式类型参见Chapter 3.2。\n\n举例如下：\n\n```\nc2 = c1 + 1; //Assign statement\n```\n\n### 声明语句\n\n- QRunes中声明语句主要分为两种：函数的声明和变量的定义与。\n- 具体可以参见Chapter 2.3 和Chapter 5.2，其中变量的定义支持A Q\n  C类型的变量定义。\n\n举例如下：\n\n```\nqubit q;// declaration a variable with qubit type named q  \nlet i = 3.14;// declaration a variable with assist-classical type which named i and intialized 3.14\n```\n\n## \u003ca name=\"5.2\"\u003e\u003c/a\u003e 复合语句\n\n- QRunes中复合语句通常按块的概念，表现形式为使用一对花括号{}括起来的语句序列。\n- 在复合语句中的一组语句不仅仅是一堆简单语句的组合，同时根据程序的逻辑要求，一个程序逻辑也被称为一条语句块，比如if,for,qif,qwhile。\n\n例如：\n\n```\nif (oracle_function[0] == False \u0026\u0026 oracle_function[1] == True) {  \n     // f(x) = x;  \n     CNOT(q1, q2);  \n } else if (oracle_function[0] == True \u0026\u0026 oracle_function[1] == False) {  \n     // f(x) = x + 1;  \n     X(q2);  \n     CNOT(q1, q2);  \n     X(q2);  \n }        \n```\n\n**注意：**\n\n```\n1. 与其他语句不同的是，复合语句不是以分号；结尾。\n2. 只能用在某个函数体中书写。\n```\n\n## \u003ca name=\"5.3\"\u003e\u003c/a\u003e 函数调用语句\n\n### 量子逻辑门操作函数调用语句\n\n- 在QRunes中所有对于量子比特的操作，我们称为逻辑门函数或者XX门，比如我们常说的X门，Y门，CNOT门，他们都是类似于QRunes的库文件中实现过其函数实现，预先定义好的，用户可以直接通过调用的形式实现逻辑门的操作。\n- 当前QRunes支持18中量子逻辑门函数的操作，其函数声明分别如下：\n\n```\nH(qubit);  \nNOT(qubit);    \nT(qubit);      \nS(qubit);      \nY(qubit);      \nZ(qubit);      \nX1(qubit);      \nY1(qubit);      \nZ1(qubit);      \nU4(qubit,alpha,beta,gamma,delta);      \nRX(qubit,alpha);      \nRY(qubit,alpha);      \nRZ(qubit,alpha);      \nCNOT(qubit,qubit);     \nCZ(qubit,qubit);      \nCU(qubit,qubit,alpha,beta,gamma,delta);      \nISwap(qubit,qubit,alpha);       \nCR(qubit,qubit,alpha);   \n```\n\n### 可变量子逻辑门函数调用语句\n\n可变量子逻辑门是构成可变量子线路VQC的基本单位,可变量子逻辑门函数内部维护着一组变量参数以及一组常量参数。当前QRunes支持6种可变量子逻辑门函数调用：\n\n```\nVQG_H(qubit);    \nVQG_RX(qubit,alpha);  \nVQG_RY(qubit,alpha);  \nVQG_RZ(qubit,alpha);  \nVQG_CNOT(qubit,qubit);    \nVQG_CZ(qubit,qubit);\n```\n\n### 经典返回值类型函数调用语句\n\n定义一个函数，但是该函数并不会自动的执行。定义了函数仅仅是赋予函数以名称并明确函数被调用时该做些什么。调用函数才会以给定的参数真正执行这些动作，比如如下函数：\n\n```\nReset_Qubit_Circuit(qubit q, cbit c, bool setVal) {  \n    Measure(q, c);  \n    if (setVal == False) {  \n        qif (c) {  \n            X(q);  \n        }  \n    } else {  \n        qif (c) {  \n        } qelse {  \n            X(q);  \n        }  \n    }   \n}  \nReset_Qubit(qubit q, cbit c, bool setVal) {     \n// quantum logic gate function call,and can reference to its function definition  \n    Reset_Qubit_Circuit(q, c, setVal);  \n}\n```\n\n其中的Reset\\_Qubit\\_Circuit函数在Reset\\_Qubit中的调用，该表示方法就是函数调用。\n\n**注意：**\n\n1.函数调用语句必须严格按照函数调用的格式进行书写：\n\n```\nfunction_name(args....);  \n```\n\n2.回调函数中的参数必须严格匹配原函数定义中的参数的类型、个数。\n\n3.函数调用语句只能在调用函数体内书写。\n\n## \u003ca name=\"5.4\"\u003e\u003c/a\u003e辅助类型控制语句\n\n### 选择语句\n\nQRunes中的选择语句主要是if-else格式的语句，其计算流程为根据if中表达式的是否有条件地执行分支语句，其中else分支可以是可选项。\n\n语法结构如下：\n\n```\nif(condition)\n    statement;\nelse\n    statement;\n```\n\n举例如下：\n\n```\nif (fx) {  \n    X(q[0]);  \n}else{\n    H(q[0]);\n    X(q[1]);\n}  \n```\n\n其中if中的condition必须是一个返回值为bool类型的表达式或者可以转换为bool类型的表达式，此外statement部分可以是用花括号括起来的复合语句。\n\n### 循环语句\n\nQRunes中的循环语语句主要是for循环语句，其语法格式如下：\n\n```\nfor(initializer:condition:expression)  \n    statement\n```\n\n其中initializer、condition和expression都是以冒号结束，initializer用于循环结构的变量初始化;condition(循环条件)则是用来控制循坏的，当判断条件为true的时候则执行statement;expression用来修改initializer的值。特殊情况如下，当循环结构第一次在求解condition的时候就返回false，则该循环体将始终不会执行。通常，循环体中的statement可以是单个语句也可以是复合语句。\n\n举例如下：\n\n```\nfor(let i=0: 1: qlist.size()){\n    VQG_RX(qlist[i],2.0*beta);\n}\n```\n\n展示的程序用将以qubit为类型的集合qlist中的每个qubit进行可变量子线路构造的操作。\n\n## \u003ca name=\"5.5\"\u003e\u003c/a\u003e量子类型控制语句\n\n### QIF语句\n\nQIF的结构如下：\n\n```\nqif(condition)\n    statement\nqelse\n    statment\n```\n\n与4.4.1中的if相比较，二者的差别在condition和statement中，QIF语句中的condition必须是是经典类型且返回值为bool类型的表达式,statement只能为返回值为经典类型的语句、量子逻辑门操作函数调用语句、返回值为量子类型（QProg,QCircuit）的函数调用、量子比特测量语句和QIF/QWHILE语句。\n\n举例如下：\n\n```\nqif(!c1){  \n    Measure(q[2],c[2]);  \n}  \nqelse{  \n    Measure(q[1],c[1]);  \n}  \n```\n\n### QWHILE语句\n\nQWHIE的结构如下：\n\n```\nqwhile(condition)  \n    statement\n```\n\n与4.4.2中的for相比较，二者的差别在condition和statement中，QWHILE语句中的condition必须是是经典类型且返回值为bool类型的表达式,statement只能为返回值为经典类型的语句、量子逻辑门操作函数调用语句、返回值为量子类型（QProg,QCircuit）的函数调用、量子比特测量语句和QIF/QWHILE语句。\n\n举例如下：\n\n```\nqwhile(c[0] \u003c 3){ //c is declarated by type cbit  \n   H(qvec[c[0]]);  \n   let i = 1; //the value of declaration statement is assist-classical.EEROR!  \n   c[0] = c[i] + 1; //ERROR?  \n   c[0] = c[0] + 1;  \n} \n```\n\n## \u003ca name=\"5.6\"\u003e\u003c/a\u003e量子比特测量语句\n\n量子测量是指通过量子计算机的测控系统对量子系统进行干扰来获取需要的信息，测量比特使用的是蒙特卡洛方法的测量。\nQRunes中的量子比特测量语句的结构如下：\n\n```\nMeasure(qubitType,cbitType);\n```\n\n举例如下：\n\n```\nH(q);  \nMeasure(q,c);\n```\n\n# \u003ca name=\"6\"\u003e\u003c/a\u003e函数\n\n\n在QRunes中，函数可以被看作是由开发人员自己定义的为了完成某个功能任务的一组语句的集合，每个QRunes程序都会至多有一个入口函数，在QRunes中入口函数即main函数都是在第三方经典语言中来进行实现。\n\n## \u003ca name=\"6.1\"\u003e\u003c/a\u003e 函数的声明\n\n函数声明和变量的定义和声明一样，必须是声明之后才可以使用。函数的声明很函数的定义可以分离开来，同时一个函数只能定义一次，但是可以声明多次。\n\n函数声明的结构如下：\n\n```\nreturn_type? function_name(args);\n```\n\n举例如下：\n\n```\ncircuit createCircuit(qubit qu);\n```\n\n返回值，函数名和函数形参列表称为函数原型。函数的声明为定义函数的使用者和调用函数的使用者之间提供了一种天然的接口。\n\n## \u003ca name=\"6.2\"\u003e\u003c/a\u003e函数的定义\n\nQRunes中，函数是由返回值，函数名，函数参数和一组语句组成。其中函数名在同一个.qrunes文件中必须唯一；函数参数即函数的形式参数，它们由一对圆括号包围并在其中进行声明，形参之间的以逗号进行分割；一组语句即函数的函数体是函数的执行部分。每一个函数都有一个相关联的返回类型。\n\n函数定义的格式如下：\n\n```\n    return_type? function_name(args){  \n        function_body  \n    }\n```\n\n举例如下：\n\n```\n    Two_Qubit_DJ_Algorithm_Circuit(qubit q1, qubit q2, cbit c, vector\u003cbool\u003e oracle_function) {  \n        H(q1);  \n        Measure(q1, c);  \n    }\n```\n\n## \u003ca name=\"6.3\"\u003e\u003c/a\u003e函数的参数\n\n\n- QRunes中函数不能省略或者为空，函数的形参表由一系列的由逗号分隔符分离的参数类型和参数名组成，如果两个形参的类型相同，则其类型必须重复声明。\n- 在QRunes中所有的函数参数都必须命名之后才可以使用。\n\n## \u003ca name=\"6.4\"\u003e\u003c/a\u003e函数的返回值\n\nQRunes中函数的返回类型可以是内置类型、复合类型也可以是void类型。其中，\n\n- **内置类型**\n\n```\n qprog  \n circuit  \n variationalCircuit \n int \n double\n bool  \n cbit \n```\n\n- **复合类型**\n\n复合类型即由vector关键字构造的类型集合及map类型，其中的vector集合中的类型为经典类型。\n\n比如：\n\n```\n    vector\u003ccbit\u003e\n    map\n```\n\n- **void 类型**\n\n函数不返回任何值。\n\n- **函数回调类型**\n\ncallback_type是回调函数类型，由 返回类型\u003c参数\u003e 组成。\n\n比如：\n\n```\n    circuit\u003cvector\u003cqubit\u003e\u003e\n```\n\n根据函数的返回值可以将QRunes中的函数分为两个部分：量子函数和经典函数。\n其中的返回值为经典类型、经典类型构造的集合类型和void类型为经典函数，其余为量子函数。\n\n函数的定义举例如下：\n\n```\n    //quantum function  \n    qu_function(vector\u003cqubit\u003e qvec, vector\u003ccbit\u003e cvec){\n        for(let i = 0: 1: len(qvec)){\n            H(qvec[i]);\n            Measure(qvec[i], cvec[i]);\n        }\n        vector\u003ccbit\u003e cc = getCbitNotEqualZero(cvec);\n        for(let c in cc){\n            c = c + 1;\n        }\n    }\n    \n    //classical function  \n    vector\u003ccbit\u003e getCbitNotEqualZero(vector\u003ccbit\u003e cvec){  \n        vector\u003ccbit\u003e c2;\n        for(let c in cevc){\n            if(c == 1){\n                c = c + 1;\n                c2.insert(c);\n            }\n        }  \n        return c2;\n    }\n    \n    //return value is null\n    void rotateOperation(vector\u003cqubit\u003e qlist){\n        for(let qu in qlist){\n            H(qlist[i]);\n        }\n    }\n```\n\n## \u003ca name=\"6.5\"\u003e\u003c/a\u003e函数调用\n\n函数调用的结构：\n\n```\n    function_name(args...);\n```\n\n其中的实参可以是常量，变量，多个实参之间用逗号进行分割。\n\n函数调用的方式：\n\n- 函数调用作为表达式中的一项，常用于赋值表达式，也可称为函数调用表达式\n\n举例：\n\n```\n c = getCbit(cbit c);\n```\n\n- 函数作为单独的语句，及函数调用语句\n\n举例：\n\n```\n ker(qlist,clist);\n```\n\n- 函数也可以作为另一个函数的实参\n\n\n\n# \u003ca name=\"7\"\u003e\u003c/a\u003e 常用量子算法介绍及实现\n\n[常见量子算法](https://qrunes-tutorial.readthedocs.io/en/latest/chapters/chapter6.html)","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foriginq%2Fqrunes","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Foriginq%2Fqrunes","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foriginq%2Fqrunes/lists"}