Abilities

Move 的类型系统非常灵活，每种类型都可以被四种限制符所修饰。这四种限制符我们称之为 abilities，它们定义了类型的值是否可以被复制、丢弃和存储。

这四种 abilities 限制符分别是: Copy, Drop, Store 和 Key.

它们的功能分别是：

• Copy - 被修饰的值可以被复制。
• Drop - 被修饰的值在作用域结束时可以被丢弃。
• Key - 被修饰的值可以作为键值对全局状态进行访问。
• Store - 被修饰的值可以被存储到全局状态。

本章我们先介绍 Copy 和 Drop ability；关于 Key 和 Store ability 我们将会在 Resources 一章介绍.

Abilities 语法

基本类型和内建类型的 abilities 是预先定义好的并且不可改变: integers, vector, addresses 和 boolean 类型的值先天具有 copy，drop 和 store ability。

然而，结构体的 ability 可以由开发者按照下面的语法进行添加：

struct NAME has ABILITY [, ABILITY] { [FIELDS] }

下面是一些例子:

module book::library {
    
    // each ability has matching keyword
    // multiple abilities are listed with comma
   public struct Book has store, copy, drop {
        year: u64
    }

    // single ability is also possible
   public struct Storage has key {
        books: vector<Book>
    }

    // this one has no abilities 
   public struct Empty {}
}

不带 Abilities 限制符的结构体

在进入 abilities 的具体用法之前, 我们不妨先来看一下，如果结构体不带任何 abilities 会发生什么？

module book::country {
   public struct Country {
        id: u8,
        population: u64
    }
    
    public fun new_country(id: u8, population: u64): Country {
        Country { id, population }
    }
}

module book::country_use {
    use book::Country;

    fun main() {
        Country::new_country(1, 1000000);
    }   
}

。

Drop

按照 abilities 语法我们为这个结构体增加 drop ability，这个结构体的所有实例将可以被丢弃。

module book::country {
   public struct Country has drop { // has <ability>
        id: u8,
        population: u64
    }
    // ...
}

现在，Country 可以被丢弃了，代码也可以成功执行了。

script {
    use {{sender}}::Country;

    fun main() {
        Country::new_country(1, 1000000); // value is dropped
    }   
}

注意 Destructuring 并不需要 Drop ability.

Copy

我们学习了如何创建一个结构体 Country 并在函数结束时丢弃它。但是如果我们想要复制一个结构体呢？缺省情况下结构体是按值传递的，制造一个结构体的副本需要借助关键字 copy (我们会在 下一章 更加深入的学习)：

script {
    use {{sender}}::Country;

    fun main() {
        let country = Country::new_country(1, 1000000);
        let _ = copy country;
    }   
}

   ┌── scripts/main.move:6:17 ───
   │
 6 │         let _ = copy country;
   │                 ^^^^^^^^^^^^ Invalid 'copy' of owned value without the 'copy' ability
   │

正如所料，缺少 copy ability 限制符的类型在进行复制时会报错：

module book::country {
   public struct Country has drop, copy { // see comma here!
        id: u8,
        population: u64
    }
    // ...
}

修改后的代码就可以成功执行了。

小结

• 基本类型缺省具有 store, copy 和 drop 限制。
• 缺省情况下结构体不带任何限制符。
• Copy 和 Drop 限制符定义了一个值是否可以被复制和丢弃。
• 一个结构体有可能带有所有4种限制符。

进一步阅读