DAOrayakiDAO研究奖金池:
资助地址:?DAOrayaki
Struct&Abilities
struct?Counter?has?key,?store?{????value:u64,}
使用struct定义了一个叫做Counter的结构体,同时被key,store两种限制符修饰。
Move的类型系统灵活,每种类型都可以定义四种能力。
它们定义了类型的值是否可以被复制、丢弃和存储。
这四种abilities限制符分别是:Copy,Drop,Store和Key。
它们的功能分别是:
Copy?-值可以被复制。
Drop?-在作用域结束时值可以被丢弃。
Key?-值可以作为键值被「全局存储操作」进行访问。
Store?-值可以被?存储?到全局状态。
这里用key、store修饰,则表示它不能被复制,也不能被丢弃或重新使用,但是它却可以被安全地存储和转移。
Abilities的语法
基本类型和内建类型的abilities是预先定义好的并且不可改变:integers,vector,addresses和boolean类型的值先天具有copy、drop和storeability。
然而,结构体的ability可以按照下面的语法进行添加:
struct?NAME?has?ABILITY??{??}
一个简单的图书馆例子:
module?Library?{????//?each?ability?has?matching?keyword????//?multiple?abilities?are?listed?with?comma????struct?Book?has?store,?copy,?drop?{????????year:?u64????}????//?single?ability?is?also?possible????struct?Storage?has?key?{????????books:?vector????}????//?this?one?has?no?abilities????struct?Empty?{}}
什么是Resource
Move白皮书中详细描述了Resource这个概念。最初,它是作为一种名为resource的结构体类型被实现,自从引入ability以后,它被实现成拥有?Key和?Store两种ability的结构体。Resource可以安全的表示数字资产,它不能被复制,也不能被丢弃或重新使用,但是它却可以被安全地存储和转移。
Resource的定义
Resource是一种用?key?和?store?ability限制了的结构体:
module?M?{????struct?T?has?key,?store?{????????field:?u8????}}Resource的限制
在代码中,Resource类型有几个主要限制:
Resource存储在帐户下。因此,只有在分配帐户后才会存在,并且只能通过该帐户访问。
孟加拉银行:禁止任何加密货币活动:9月16日消息,近日,孟加拉银行发布了一项通知,禁止任何为获得虚拟资产或虚拟货币而在该国进行的交易。监管机构还禁止任何有利于从事与虚拟资产或虚拟货币的交换、转移、交易有关的业务、活动和经营的便利措施。(islamicfinancenews)[2022/9/16 7:00:50]
一个帐户同一时刻只能容纳一个某类型的Resource。
Resource不能被复制;与它对应的是一种特殊的kind:resource,它与copyable不同,这一点在泛型章节中已经介绍。
Resource必需被使用,这意味着必须将新创建的Resource?move到某个帐户下,从帐户移出的Resource必须被解构或存储在另一个帐户下。
刚才的案例
struct?Counter?has?key,?store?{????value:u64,}
所以这里就有一个和solidity的区别了,在eth上如果需要发行一个新资产,比如usdc。那这个资产是记录在合约里的某个map中。而move就不同了,资产是作为resource存在用户地址下的。
定义函数
public?fun?init(account:?&signer){????move_to(account,?Counter{value:0});}public?fun?incr(account:?&signer)?acquires?Counter?{????let?counter?=?borrow_global_mut(signer::address_of(account));????counter
Don Kingsborough加入加密平台Earnity顾问委员会:金色财经报道,加密平台和市场Earnity今天宣布,金融科技和零售企业家Don Kingsborough已加入该公司的顾问委员会。Kingsborough的金融科技和零售经验,将支持Earnity的创新、投资,以及与机构合作伙伴合作的扩展。
Kingsborough之前也是世界上最大的零售协会——全国零售联合会的董事会成员,他还曾在PayPal担任高级管理职位。(prnewswire)[2022/8/5 12:04:29]
public?entry?fun?init_counter(account:?signer){????Self::init(&account。public?entry?fun?incr_counter(account:?signer)??acquires?Counter?{????Self::incr(&account。
定义格式则是:
public?fun?函数名(参数:参数类型){?}
move函数默认是私有函数,只能在定义它们的模块中访问。关键字public将更改函数的默认可见性并使其公开,即可以从外部访问。
init方法参数是一个&signer,意味着该方法必须是一个账户合法签名过后才可以调用,move_to则是move的一个原语,作用是发布、添加Counter资源到signer的地址下。Move的账户模型,code和data是存储在一个账户地址下的。
下面是列举的常用原语
move_to<T>(&signer,T):发布、添加类型为T的?Resource?到signer的地址下。
move_from<T>(addr:address):T-从地址下删除类型为T的?Resource?并返回这个资源。
borrow_global<T>(addr:address):&T-返回地址下类型为T的?Resource?的不可变引用。
borrow_global_mut<T>(addr:address):&mutT-返回地址下类型为T的?Resource?的可变引用。
exists<T>(address):bool:判断地址下是否有类型为T的?Resource。
incr方法参数也是一个&signer,意味着该方法必须是一个账户合法签名过后才可以调用,
关键字?acquires,放在函数返回值之后,用来显式定义此函数获取的所有Resource。
Signer::address_of(account)从签名者中拿到address
borrow_global_mut上面有介绍到,可变借用到address下的resourceCounter,然后将Counter结构体下的value进行1操作。
这下面的两个方法则是script方法,它与上面两个函数有什么区别呢?
publicfun:方法可以在任何模块中被调用。
public(script)fun/publicentryfun:scriptfunction是模块中的入口方法,表示该方法可以通过控制台发起一个交易来调用,就像本地执行脚本一样
下个版本的Move会用publicentryfun替代public(script)fun
Self则是代表自身module。
使用AptosCli编译、部署、调用合约
#?创建新的测试环境aptos?init?--profile?devtest?--rest-url??--faucet-url?#?编译move合约aptos?move?compile?--package-dir?my-counter#?部署合约#?例如:aptos?move?publish?--package-dir?my-counter?--named-addresses?basecoin=0x8e00bd9827faf171996ef37f006dd622bb5c3e43ec52298a8f37fd38cd59664?--profile?devtestaptos?move?publish?--package-dir?my-counter?--named-addresses?basecoin=?--profile?devtest#?调用合约#?例如:#?aptos?move?run?--function-id?0x8e00bd9827faf171996ef37f006dd622bb5c3e43ec52298a8f37fd38cd59664::MyCounter::init_counter?--profile?devtest#?aptos?move?run?--function-id?0x8e00bd9827faf171996ef37f006dd622bb5c3e43ec52298a8f37fd38cd59664::MyCounter::incr_counter?--profile?devtestaptos?move?run?--function-id?::::?--profile?devtest#?列出指定账户的modules/resources信息aptos?account?list?--query?modules?--account?0xa1285adb4b8abedf5faf7a46d260c5844f1f64d59dd9b8869db1543cf5bbadf4?--profile?devtestaptos?account?list?--query?resources?--account?0x4200c2b801870f20a709abba80b6edb90a45ecd9b8acce9842b93d597602edcf?--profile?devtest
AptosSDK调用Move合约
编译好合约之后,我们可以通过sdk调用我们的合约。
我们可以选择通过sdk部署合约,也可以通过sdk调用move合约。
通过sdk部署合约
当我们编译完成之后,会在move合约文件夹下生成?build/?文件夹
我们需要把?my-counter/build/Examples/bytecode_modules/MyCounter
通过SDK发送交易
这里,我们以my-counter合约中的init_counter?和?incr_counter?为例。
构造两个方法用于调用这两个方法,从而实现客户端调用?init?和?incr?的功能。
async?function?initCounter(contractAddress:?string,?accountFrom:?AptosAccount):?Promise?{??const?scriptFunctionPayload?=?new?TxnBuilderTypes
async?function?incrCounter(contractAddress:?string,?accountFrom:?AptosAccount):?Promise?{??const?scriptFunctionPayload?=?new?TxnBuilderTypes
通过?SDK?获取账户里的资源信息。
resource是存放在所属的账户地址下的,我们可以根据account地址,查询相关的resource信息。
getCounter()方法其实就是获取?my-counter?下的**Counter**资源。
async?function?getCounter(contractAddress:?string,?accountAddress:?MaybeHexString):?Promise?{??try?{????const?resource?=?await?client
执行效果
执行成功,在这里通过SDK,给一个随机生成的账户init了Counter资源,然后incr了三次,所以最后Counter的Value为?3。
image-20220831200516865
my-counter相关代码:https://github.com/99Kies/Aptos-Move-Dapp
参考资料
UsingCLItoRunaLocalTestnet|AptosDocs:?https://aptos.dev/nodes/local-testnet/using-cli-to-run-a-local-testnet
源码:?https://github.com/aptos-labs/aptos-core/blob/main/aptos-move/framework/move-stdlib/sources/signer.move
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。