RES:DAOrayaki：Aptos & Move实操讲解_Butterfly Protocol

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??{??}

一个简单的图书馆例子：

Intela X宣布与YGG建立合作伙伴关系:金色财经报道，Neowiz旗下web3区块链游戏平台Intela X宣布与web3游戏公会“Yield Guild Games(YGG)”建立合作伙伴关系，两家公司期望通过此次合作扩大Intela X在全球Web3市场的影响力。Intela X将与YGG的公会网络一起组建一个新的游戏玩家社区，并通过参与性活动促进更多人参与Intela X生态系统。[2023/8/14 16:24:43]

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的定义

Circle联创：正在密切关注香港的监管动态:金色财经报道，稳定币发行商Circle联合创始人兼首席执行官Jeremy Allaire在天津世界经济论坛间隙接受采访时表示，在香港新的加密规则生效后，该公司正在密切关注香港的监管动态。香港显然正在寻求将自己打造成非常重要的数字资产市场和稳定币中心，我们对此非常关注。作为全球第二大稳定币美元的发行国，亚洲是一个巨大的关注领域。?香港发生的事情可能最终可以反映这些市场在大中华区的发展情况，我们看到新兴市场对数字美元的巨大需求，而亚洲确实是其中的中心。

在此之前，Circle获得了新加坡主要支付机构的许可，允许其在新加坡提供数字支付代币服务以及国内和跨境汇款服务。[2023/6/27 22:02:48]

Resource是一种用?key?和?store?ability限制了的结构体:

module?M?{????struct?T?has?key,?store?{????????field:?u8????}}Resource的限制

在代码中，Resource类型有几个主要限制：

Resource存储在帐户下。因此，只有在分配帐户后才会存在，并且只能通过该帐户访问。

一个帐户同一时刻只能容纳一个某类型的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

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

标签：UNTCOURESTERA Hunters DreamCOURTFairy Forest NFTButterfly Protocol

瑞波币热门资讯