当前位置: 首页 > news >正文

智能合约语言(eDSL)—— proc_macro实现合约init函数

        我们通过属性宏来实现合约的init函数,call函数其实和init是类似的;

        GitHub - XuHugo/xwasm

        构建属性宏,要在cargo.toml里面设置一些参数,这是必须的。一般来说,过程宏必须是一个库,或者作为工程的子库,不能单独作为一个源文件存在。

[dependencies]
syn = { version = "1.0.63", features = [ "full", "extra-traits" ] }
quote = "=1.0.0"
proc-macro2 = "1.0"[lib]
proc-macro = true

而编写过程宏,在stable版本里,我们需要借助三个crate:

  • syn,这个是用来解析语法树(AST)的。各种语法构成
  • quote,解析语法树,生成rust代码,从而实现你想要的新功能。
  • proc_macro(std) 和 proc_macro2(3rd-party)
实现init的属性宏

        函数的签名如下,这个格式除了函数名字,其他的都不要修改;

#[proc_macro_attribute]
pub fn init(attr: TokenStream, item: TokenStream) -> TokenStream {

        需要加一个关键字proc_macro_attribute;由两个参数,一个attr,一个item;对应到合约里就是如下图;

        下一步解析attr,找到contract对应的合约名称放到contract变量中;

let attrs = parse_macro_input!(attr as AttributeArgs);
let contract = get_attribute(attrs.clone(), "contract").unwrap().unwrap();

        然后处理payable,之前没有讲解这个标记的作用,其实就是标记,合约函数是否可以接口币;

let mut setup_function_args = proc_macro2::TokenStream::new();let mut function_args = vec![];let amount_ident = format_ident!("amount");if contains_attribute2(attrs.clone(), "payable") {function_args.push(quote!(#amount_ident));} else {setup_function_args.extend(quote! {if #amount_ident != 0 {return -1;}});};

        就是通过contains_attribute2判断是否包含,payable,如果有,就会将用户传入的代币的数量记录,否则就判断,用户传入代币数量不为零,就返回-1;

        然后就是结合合约名字,给函数重新命令,我们设定,init函数的名字为,init_合约名称,如果单单用这个做标识会有冲突,先不管这个;

let ast = parse_macro_input!(item as Item);let init_function_name = format_ident!("init_{}", contract.value());let init_name = format!("init_{}", contract.value());

        现在开始处理item了,首先判断是否是函数;不是就返回错误了;

let function_name = if let syn::Item::Fn(itemfn) = ast.clone() {itemfn.sig.ident} else {return syn::Error::new(Span::call_site(), format!("#[init] must be function.")).into_compile_error().into();};

        最后重新组合init函数,

let output = quote! {#ast#[export_name = #init_name]pub extern "C" fn #init_function_name(amount:u64)->i32{use xq_std::{ContractContext,serde_json};let initctx =  ContractContext;#setup_function_argsmatch #function_name(initctx, #(#function_args),*){Ok(o)=>{let r = serde_json::to_string(&o).unwrap();ContractContext.return_data(r.clone());return 1}Err(e)=>{let err = e.to_string();ContractContext.error(err.clone());return 0}}}};

        pub extern "C" fn 需要注意,虽然我们用rust写合约,但是写完之后,是编译成wasm格式的,相当于一个库文件了,最终谁会调用并不明确,所以需要使用这FFI的形式。

        这部分其实还是最终调用了我们item部分的函数,只是再调用之前添加一些检测和前置工作,例如payable的检测;调用之后呢,也添加了一些工作,例如,将返回值转化为json的字符串。有点类似与python的修饰符。

        call函数的实现其实和这个是一样,有细微的差别,大家可以自己去对比一下。

相关文章:

智能合约语言(eDSL)—— proc_macro实现合约init函数

我们通过属性宏来实现合约的init函数,call函数其实和init是类似的; GitHub - XuHugo/xwasm 构建属性宏,要在cargo.toml里面设置一些参数,这是必须的。一般来说,过程宏必须是一个库,或者作为工程的子库&…...

如何使用 ArcGIS Pro 制作三维地形图

伴随硬件性能的提高和软件算法的优化,三维地图的应用场景会越来越多,这里为大家介绍一下在ArcGIS Pro怎么制作三维地形图,希望能对你有所帮助。 数据来源 教程所使用的数据是从水经微图中下载的DEM和影像数据,除了DEM和影像数据…...

服务器配置禁止IP直接访问,只允许域名访问

联网信息系统需设置只允许通过域名访问,禁止使用IP地址直接访问,建议同时采用云防护技术隐藏系统真实IP地址且只允许云防护节点IP访问服务器,提升网络安全防护能力。 一、Nginx 修改配置文件nginx.conf,在server段里插入正则表达式…...

#14vue3生成表单并跳转到外部地址的方式

1、背景 后端返回的json数据中包含一个json数组,此数组中是目标跳转地址所需要的form表单的数据。 2、跳转前的页面 const goto () > {finish.value true;request.post(/xxx/yyy,{zzz: zzz.value}).then(res > {const url res.data.submitUrlconst params…...

航测管家:智能化革新航测作业流程

在信息时代的浪潮中,倾斜摄影作为一种高效的航测技术,对于城市规划、土地管理、环境监测等领域的重要性日益凸显。然而,航测作业中的数据管理和设备操作复杂性一直是行业面临的挑战。深圳赛尔智控推出的赛尔航测管家,凭借其智能化…...

XXE-XML实体注入漏洞

目录 1.xml基础 1.1什么是xml 1.2xml文档结构 1.3 什么是DTD 1.4 什么是实体 1.5 什么是外部实体 2.xxe漏洞 2.1xxe漏洞基本介绍 2.2xxe漏洞的危害 经典漏洞案例分析 3.xxe漏洞挖掘和利用 3.1. 识别潜在的XML入口 3.2. 检查XML处理逻辑 3.3. 构造试探Payload 常…...

数据结构从入门到精通——栈

栈 前言一、栈1.1栈的概念及结构1.2栈的实现1.3栈的面试题 二、栈的具体实现代码栈的初始化栈的销毁入栈出栈返回栈顶元素返回栈中的元素个数检测是否为空Stack.hStack.ctest.c 前言 栈,作为一种后进先出(LIFO)的数据结构,在计算…...

webhook详解

提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 文章目录 webhook简介 在当今高度连接的网络世界中,没有什么可以孤立地发挥最佳作用。完成一项任务(几乎)总是需要多个实体的参与。电子商务应用程序需要与支付系统通信,支付…...

用 ChatGPT 帮自己修英文简历 — UI/UX 设计师篇

用 ChatGPT 帮自己修英文简历 — UI/UX 设计师篇 之所以能写这篇文章,主要是我本身是 AI 工具的重度使用者,在工作上目前大量依赖 GitHub Copilot 与 ChatGPT 等工具,所以算是有一些心得可以分享。我自己觉得要能发挥这类工具最大的效用&…...

2402. 2-SAT 问题(tarjan,2-SAT模板题)

活动 - AcWing 给定 n 个还未赋值的布尔变量 x1∼xn。 现在有 m 个条件,每个条件的形式为 “xi 为 0/1 或 xj 为 0/1 至少有一项成立”,例如 “x1 为 1 或 x3 为 0”、“x8 为 0 或 x4 为 0” 等。 现在,请你对这 n 个布尔变量进行赋值&am…...

基于java+springboot+vue实现的宠物健康咨询系统(文末源码+Lw)23-206

摘 要 本宠物健康咨询系统分为管理员还有用户两个权限,管理员可以管理用户的基本信息内容,可以管理公告信息以及宠物健康知识信息,能够与用户进行相互交流等操作,用户可以查看宠物健康知识信息,可以查看公告以及查看…...

品牌如何玩转饥饿营销?媒介盒子分享

饥饿营销是许多品牌都会用的策略,从“限定发售”、“先到先得”、“季节限定”、“专属VIP”等都属于饥饿营销的范畴,为什么饥饿营销屡试不爽,原因就在于人们面对同等的收益和损失时,损失会令他们更加难以接受。今天媒介盒子就来和…...

Vue3:ref和reactive实现响应式数据

一、情景说明 在Vue2中,我们已经知道数据的响应式,是什么含义 就是,在data块中,定义的变量,在页面中引用后 任何地方修改了该变量,页面中引用的变量会立即显示最新数值。 这块,我们学习了 插值…...

二维码门楼牌管理系统应用场景:商业与零售业发展的助推器

文章目录 前言一、二维码门楼牌管理系统的基本功能二、商业和零售业中的应用场景三、二维码门楼牌管理系统的优势分析四、结论 前言 在数字化时代的浪潮中,二维码门楼牌管理系统凭借其独特的优势,正在逐步成为商业和零售业发展的新宠。它不仅能够为商家…...

【Linux进阶之路】网络 —— “?“ (下)

文章目录 前言一、概念铺垫1.TCP2.全双工 二、网络版本计算器1. 原理简要2. 实现框架&&代码2.1 封装socket2.2 客户端与服务端2.3 封装与解包2.4 请求与响应2.5 对数据进行处理2.6 主程序逻辑 3.Json的简单使用 总结尾序 前言 在上文我们学习使用套接字的相关接口进行了…...

【AIGC】Stable Diffusion的建模思想、训练预测方式快速

在这篇博客中,将会用机器学习入门级描述,来介绍Stable Diffusion的关键原理。目前,网络上的使用教程非常多,本篇中不会介绍如何部署、使用或者微调SD模型。也会尽量精简语言,无公式推导,旨在理解思想。让有…...

JVM(类加载机制)

类加载就是 .class 文件, 从文件(硬盘) 被加载到内存(元数据区)中的过程 类加载的过程 加载: 找 .class 文件的过程, 打开文件, 读文件, 把文件读到内存中 验证: 检查 .class 文件的格式是否正确 .class 是一个二进制文件, 其格式有严格的说明 准备: 给类对象分配内存空间 (先在…...

C++ 实战项目之 Boost 搜索引擎

项目地址:https://gitee.com/Vertas/boost-searcher-project 1. 项目背景 日常生活中我们使用过很多搜索引擎,比如百度,搜狗,360搜索等。我们今天是要实现一个像百度这样的搜索引擎嘛?那是不可能的,因为像…...

部署LVS+Keepalived高可用群集(抢占模式,非抢占模式,延迟模式)

目录 一、LVSKeepalived高可用群集 1、实验环境 2、 主和备keepalived的配置 2.1 yum安装ipvsadm和keepalived工具 2.2 添加ip_vs模块并开启ipvsadm 2.3 修改keepalived的配置文件 2.4 调整proc响应参数,关闭linux内核的重定向参数响应 2.5 将主服务器的kee…...

性别和年龄的视频实时监测项目

注意:本文引用自专业人工智能社区Venus AI 更多AI知识请参考原站 ([www.aideeplearning.cn]) 性别和年龄检测 Python 项目 首先介绍性别和年龄检测的高级Python项目中使用的专业术语 什么是计算机视觉? 计算机视觉是使计算机能…...

从“变化”到“幅值”:增量式Σ-Δ ADC如何重塑高精度测量

1. 增量式Σ-Δ ADC与传统Σ-Δ ADC的本质区别 我第一次接触增量式Σ-Δ ADC是在设计一款高精度电子秤的时候。当时遇到一个棘手的问题:传统ADC在测量微小重量变化时,读数总是飘忽不定。后来改用增量式方案,问题迎刃而解。这让我意识到&#…...

从超时到成功:深度解析并解决Hugging Face模型下载中的HTTPSConnectionPool与LocalEntryNotFoundError

1. 当模型下载变成一场噩梦:HTTPSConnectionPool与LocalEntryNotFoundError的真相 最近在处理PDF文档时,我遇到了一个让人抓狂的问题。当时我正在使用unstructured库的partition_pdf功能,系统突然抛出一连串红色错误提示:先是HTTP…...

实战指南:Parse12306 自动化获取全国高速列车数据的3大核心技术解析

实战指南:Parse12306 自动化获取全国高速列车数据的3大核心技术解析 【免费下载链接】Parse12306 分析12306 获取全国列车数据 项目地址: https://gitcode.com/gh_mirrors/pa/Parse12306 Parse12306作为一款高效的开源工具,为开发者和数据分析师提…...

【第3章>第11节】基于yolov2模型的人员打电话行为识别系统matlab仿真实现

本课程学习成功预览 目录 1.使用软件和版本 2.基于YOLOv2深度学习网络的人员打电话行为识别概述 3.yolov2模型的训练程序和测试程序matlab实现 4.基于YOLOv2深度学习网络的人员打电话行为识别仿真测试 5.程序讲解操作 欢迎订阅FPGA/MATLAB/Simulink系列教程 《★教程1:mat…...

Android Studio依赖下载总报SSL错?可能是你的阿里云Maven仓库配置‘捣鬼’

Android Studio依赖下载SSL报错全解析:从阿里云镜像到证书信任链的深度修复指南 每次点击"Sync Project with Gradle Files"时看到那个刺眼的红色错误提示,相信不少Android开发者都会血压升高。特别是当错误信息里出现"unable to find va…...

RS-485 以太网 CAN总线 应用场景差异

结论RS‑485:低成本、远距离、低速、半双工、简单工控,小设备点对点 / 小组网CAN 总线:多主、抗干扰、高可靠、实时性强,汽车、工业现场总线首选以太网:高速、大带宽、通用互联,大数据、远程、IT/OT 融合、…...

zabbixwatch 安装部署

目录 环境要求 一、新系统搭建 1. 安装 Docker 环境 2. 下载项目文件 3. 启动服务 5. 配置数据源 二、系统卸载 完全卸载(删除所有数据) 仅停止服务(保留数据) 该插件可与zabbix进行数据连通,形成对应的数据大…...

Docker容器在产线崩溃的7种隐性原因:从cgroup泄漏到时钟漂移,一文定位真凶

第一章:Docker容器在产线崩溃的7种隐性原因:从cgroup泄漏到时钟漂移,一文定位真凶生产环境中,Docker容器看似“一键启停”,实则深藏七类不易察觉的崩溃诱因。它们不触发明显错误日志,却在高负载、长周期运行…...

C#怎么实现图片缩略图生成 C#如何批量生成图片的缩略图指定尺寸保持比例不变形【图像】

最可靠缩略图生成法是手动用Graphics.DrawImage:先等比计算尺寸并居中,再创建Bitmap画布,设置高质量插值后绘制;加载时用File.ReadAllBytesMemoryStream避免文件锁;保存时显式指定JPEG编码器及质量参数;所有…...

W5500网络芯片避坑指南:从硬件布线到心跳包,这些细节不注意就白干了

W5500网络芯片深度排雷手册:硬件设计到协议栈调优的全链路解决方案 凌晨三点的实验室里,咖啡机已经自动断电三次。王工盯着示波器上时断时续的差分信号,第27次尝试ping通那个倔强的W5500模块。这个场景对嵌入式网络开发者来说再熟悉不过——当…...