接口函数后置条件解包可选NFT资源时遇uuid成员不存在错误

问题根源 #

你遇到的错误并非因为后置条件中禁止强制解包，而是解包后的@AnyResource{NonFungibleToken.NFT}类型无法直接访问接口成员。在Cadence中，@AnyResource{Interface}仅表示该资源带有指定接口约束，但它本质仍是AnyResource类型，必须显式转换为对应接口的引用类型，才能访问接口定义的字段或方法。

修正代码 #

将解包后的资源显式转换为&NonFungibleToken.NFT引用类型后，即可正常访问uuid字段：

pub resource interface Provider {
    pub fun withdrawWithUUID(uuid: UInt64): @AnyResource{NonFungibleToken.NFT}? {
        post {
            result == nil || (result! as &NonFungibleToken.NFT).uuid == uuid: "The uuid of the withdrawn token must be the same as the requested uuid"
        }
        return nil
    }
}

补充说明 #

• 强制解包result!在后置条件中是完全合法的，因为逻辑上我们已经通过result == nil的判断确保了解包的安全性。
• 显式类型转换as &NonFungibleToken.NFT是关键：它告诉Cadence编译器，解包后的资源符合NonFungibleToken.NFT接口的约束，允许访问该接口定义的uuid成员。

内容的提问来源于stack exchange，提问作者Joshua Hannan