关于Facebook推出Libra项目，百度超级链XUPER有些要说的

Move通过一个地址到账户的map来表示global state。如下：

包含3个账户的global state的示意图

在一个账户里面，可以包含多个module或者resouces，但是不能同名，虽然不能同名，但是可以在一个账户里面，同时持有2个地址下面相同类型名的实例。例如：

resource TwoCoins { c1: 0x0.Currency.Coin, c2: 0x0.Currency.Coin })

例如声明一个名叫Coin资源如下：

module Currency {
resource Coin { value: u64 }
// ...
}

默认情况下，Coin是private的，外部需要通过module暴露的其他接口（实际操作的语义最终也只能是move）才能被访问，并且权限完全由module的创建者控制。

deposit的实现如下：

public deposit(payee: address, to_deposit: Coin) {
let to_deposit_value: u64 = Unpack<Coin>(move(to_deposit));
let coin_ref: &mut Coin = BorrowGlobal<Coin>(move(payee));
let coin_value_ref: &mut u64 = &mut move(coin_ref).value;
let coin_value: u64 = *move(coin_value_ref);
*move(coin_value_ref) = move(coin_value) + move(to_deposit_value);
}

详细解释为：

1. move(to_deposit)将销毁sender的to_deposit这个资源，并且将其存储在一个局部变量to_deposit_value上；
2. 在接受人的空间下面创建一个引用coin_ref，然后创建一个存储coin_ref的value的可变引用coin_value_ref，
3. 取出coin_value_ref的value，将其跟to_deposit_value相加，将结果存回到coin_value_ref。

其中注意的是，Unpack<T>是Move内嵌的用户销毁类型为T的变量，然后返回T的具体字段的值的procedure。BorrowGlobal返回一个Coin的资源的引用。

然后在看下withdraw_from_sender的实现：

public withdraw_from_sender(amount: u64): Coin {
let transaction_sender_address: address = GetTxnSenderAddress();
let coin_ref: &mut Coin = BorrowGlobal<Coin>(move(transaction_sender_address));
let coin_value_ref: &mut u64 = &mut move(coin_ref).value;
let coin_value: u64 = *move(coin_value_ref);
RejectUnless(copy(coin_value) >= copy(amount));
*move(coin_value_ref) = move(coin_value) - copy(amount);
let new_coin: Coin = Pack<Coin>(move(amount));
return move(new_coin);
}

几乎是deposit的逆过程，流程如下：

1. 获得转账发起方的地址，然后获得其Coin资源的实际的value， code_value；
2. 从coin_value减去amount个币；
3. 然后条用Pack创建一个新的Coin资源并且传回去。

综上可以看到，BorrowGlobal可以验证account是否有权限获得一个资源的引用（意味着马上要进行修改），然后通过Unpack实际的资源的value然后销毁资源，或者Pack来新建新的资源。然后上面各种语法&mut之类的，建议大家看看rust就好懂了。

—-

编译者/作者：不详

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。