如何在你的 Solana Anchor 程序中使用账户约束

概述

Anchor 是一个加速在 Solana 上构建安全 Rust 程序的框架。它提供了一套工具，让你能够快速轻松地编写、测试和部署程序。Accounts 结构体是 Solana 编程中 Anchor 框架的一部分，它允许你定义程序与之交互的账户。在创建 Accounts 结构体时，开发者可以选择在账户上定义某些约束，以强制执行某些条件（例如，指定账户所有权）。本指南将探讨如何定义这些约束，以帮助提高程序的安全性和代码的可读性。

所需条件

• 使用 Anchor 进行 Solana 编程的基本经验（完成我们的 Counter Program Guide）
• 对 Solana 基础知识 的基本了解

Anchor Account 结构体概述

在深入探讨约束之前，让我们先来看一个简单的 Anchor Account 结构体示例（来源：anchor-lang.com）：

use anchor_lang::prelude::*;

declare_id!("Fg6PaFpoGXkYsidMpWTK6W2BeZ7FEfcYkg476zPFsLnS");

#[program]
mod hello_anchor {
    use super::*;
    pub fn set_data(ctx: Context<SetData>, data: u64) -> Result<()> {
        ctx.accounts.my_account.data = data;
        Ok(())
    }
}

#[account]
#[derive(Default)]
pub struct MyAccount {
    data: u64
}

#[derive(Accounts)]
pub struct SetData<'info> {
    #[account(mut)]
    pub my_account: Account<'info, MyAccount>
}

Account 是 AccountInfo 的包装器，用于验证程序所有权并将底层数据反序列化为 Rust 类型。

在示例代码中，#[derive(Accounts)] 是一个过程宏，它自动生成 SetData 结构体的定义，表示 set_data 函数所需的输入账户。Rust 中的 #[derive] 属性是一种语言特性，允许你基于结构体或枚举的定义自动生成代码。在这种情况下，#[derive(Accounts)] 宏由 anchor-lang crate 提供，它根据字段的属性为 SetData 结构体生成代码。

SetData 结构体定义了 set_data 函数所需的账户。在本例中，它有一个名为 my_account 的字段，这是一个 Account 结构体，表示下面定义的 MyAccount 类型的一个实例。my_account 字段上的 #[account(mut)] 属性表示它是一个可变账户，意味着函数将修改其状态。

约束

在构建 Solana 程序时，安全性对程序的可行性至关重要。Anchor 的 Accounts 结构体提供了一个方便的内置功能，以简化常见的安全检查。约束允许你验证传入的账户（或其底层数据）是否符合某些预定义的要求。要添加约束，请使用以下格式：

#[account(<constraints>)]
pub account: AccountType

如果你在 Anchor 中进行过任何构建，你可能已经在不知不觉中使用过约束。例如，mut 约束用于确保指定的账户必须是可变的：

#[account(mut)]
pub my_account: Account<'info, MyAccount>

在上面的示例中，如果用户尝试将不可变账户作为 my_account 传递，程序将抛出错误。

让我们来看一些可以添加到 Accounts 结构体中的其他常见约束示例。

SPL Token 约束

除了上述约束外，Anchor SPL 库还包含几个特定于 SPL Token 程序的约束：

处理约束错误

Anchor 约束使得抛出自定义错误变得容易。如果约束被违反，你可以通过在约束后添加 @ 来调用错误，如下所示：

#[account(mut @ MyError::AccountNotMutable)]
pub my_account: Account<'info, MyData>

上面的示例将抛出你的 AccountNotMutable 错误，如果用户在没有将其标记为可变的情况下传递了 my_account。 @ 错误处理程序适用于 mut、signer、has_one、address、owner 和 constraint。

在约束中使用指令数据

有时你需要从账户指令中获取数据以传递到约束中（例如，你可能希望传递 bump 以增强安全性，或基于用户输入派生 PDA，例如餐厅评论的 restaurant_name）。要访问指令的参数，你必须使用 #[instruction(..)] 属性。以下是如何使用它的示例：

#[derive(Accounts)]
#[instruction(entered_bump: u8, restaurant: String)]
pub struct InitializeReview<'info> {
    #[account(\
        init,\
        payer = payer,\
        space = 100\
        seeds = [restaurant.as_bytes().as_ref(), signer.key().as_ref()],\
        bump = entered_bump\
    )]
    pub pda_data_account: Account<'info, RestaurantReview>,
    #[account(mut)]
    pub signer: Signer<'info>,
    pub system_program: Program<'info, System>,
}

总结

掌握约束可能会有些棘手，所以如果一开始没有理解，不要灰心。像任何事情一样，这需要一点练习。随时可以收藏此页面，并在程序中定义新的账户上下文时回来参考。约束和适当的错误处理可以使你的代码更安全和更易读！

如果你遇到困难，有问题，或者只是想聊聊你在构建什么，请在 Discord 或 Twitter 上给我们留言！

我们 ❤️ 反馈！

如果你对本指南有任何反馈，请告诉我们。我们很乐意听取你的意见。

• 原文链接： quicknode.com/guides/sol...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～