此为历史版本和 IPFS 入口查阅区，回到作品页

IPFS 指纹这是什么

[Aptos學習筆記#2]Move基本使用 - 函數規則

為自己Coding

2023 年 2 月 20 日

這篇主要是紀錄Move對於函數的一些基本規則

攝影師：Nicolas Postiglioni: https://www.pexels.com/zh-tw/photo/421129/

Move中的函數

函數

函數以fun當關鍵字來開頭 ex. fun my_function_name(arg1: u8, arg2: u64, arg3: bool): u64 {}

腳本中的函數(Function in Script)

腳本(Script)中只能有一個被視為main的函數
main作為交易被執行，是受到很多限制的，可以有參數，但是沒有返回值
main應該被用來操作發布模塊中的其他功能
例子: 用以檢查地址是否存在的腳本

script {
    use 0x1::Account;

    fun main(addr: address) {
        assert(Account::exists(addr), 1);
    }
}

模塊中的函數(Function in Module)

模塊是一組發佈的函數與結構體，可以處理一項或多項任務
函數的所有潛能只有在模塊中能夠展現，相較之下在腳本中使用函數功能是非常限制的
例子: 在模塊中寫一個會回傳1的函數

module Math {
    fun one(): u8 {
        1
    }
}

說明: 定義一個Math模塊，裡面有一個函數one，函數會回傳u8類型的1，由於1是返回值，所以後面沒有加分號(;)

函數的參數

參數的規則

參數需要指定類型，且使用逗號隔開每個參數
函數的返回值類型在括號與冒號後面 ex. fun one(): <返回值類型> {}
例子: 將兩數相乘的函數寫進模塊中，並在腳本中使用該函數

模塊(Module): 撰寫兩數相乘函數

module Math {
    
    public fun multiply(a: u64, b: u64): u64 {
        a * b
    }

    fun one(): u8 {
        1
    }
}

腳本(Script): 導入兩數相乘函數到main函數中使用

script {
    use 0x1::Math; //這邊使用 0x1，但可以是你指定的地址
    use 0x1::Debug;

    fun main(x: u64, y: u64): u64 {
    
    let result = Math::multiply(x, y);

    Debug::print<u64>(&result);
    }

}

Return 返回值

return使函數結束並傳回結果
例子: 根據不同條件狀況，返回不同結果

module Condition {
    
    public fun condition_return(x: u8): bool {
        if (x > 5) {
            return true
        };

        if (x == 5) {
            true
        } else {
            false
        }
    }
}

多個返回值

使用()來返回多個值
例子: 撰寫一個比較兩數誰大的函數，並返回哪個數大與是否相等的布林值

Module: 撰寫兩數比較的函數

module Math {

    public fun compare(x: u8, y: u8): (u8, bool) {
        if (x > y) {
            (x, false)
        } else if (x < y) {
            (b, false)
        } else {
            (a, true)
        }
    }
}

Script: 使用兩數比較的函數

script {
    use 0x1::Debug;
    use 0x1::Math;

    fun main(x: u8, y: u8) {
        let (max, is_equal) = Math::compare(35, 100);
        
        assert(is_equal, 1) // assert(condition, code)

        Debug::print<u8>(&max)
    }
}

補充 assert用法: assert(condition, code)，就是if前面那個condition條件成立，拋出後面那個code ex. assert(condition ≤ 10, 0) 參考連結: https://www.theblockbeats.info/news/31991

函數可見性

我們在撰寫模塊(Module)時，希望有些函數是可以被其他人使用的，有些則希望是隱藏起來的，這時候函數可見性的修飾符號就發揮作用了
預設的情況下，模塊(Module)中的函數都是被定義為私有(private)的，無法在腳本(Script)中使用
使用public關鍵字來定義可以被腳本使用的公開函數
例子: 在Module中定義一個public函數，並從Script中使用它

Module

module Math {
    
    public fun multiply(a: u64, b: u64): u64 {
        a * b
    }

    fun one(): u8 {
        1
    }
}

Script

script {
    use 0x1::Math;

    fun main() {
        Math::multiply(10, 50);
    }
}

備註: multiply有被定義成public函數，所以可以被使用，而one函數沒有，所以不能被使用

如何訪問私有函數

私有函數如果都沒辦法被使用的話，那就沒有任何意義了
可以在public函數中去調用private函數來執行一些任務