Помилка перевірки типу при використанні користувацької структури як параметра типу в монеті Sui Move: :Coin?

Question

Питання:

Я стикаюся з помилкою перевірки типу в моєму коді Sui Move, яку я не розумію. Ось спрощена версія мого коду:

module my_module::mymodule {
    use sui::coin;
    use sui::wallets;

    struct MyCoin has drop {}

    public fun create_coin(): coin::Coin<MyCoin> {
        coin::mint(1000)
    }
}

Коли я намагаюся компілювати, я отримую таку помилку:

Invalid type parameter instantiation.
Expected type 'phantom type T' but found 'MyCoin'

Що я роблю неправильно? Чому я не можу використовувати MyCoinяк параметр типу coin::Coinі як виправити цю проблему перевірки типу?

HaGiang · Answer

You’re hitting this type checking error because coin::Coin expects T to be a phantom type — meaning it’s only used at the type level and never stored in actual data structures. In your original code, you defined MyCoin as a normal struct without any type parameters or phantom usage. That breaks the expectation of the coin module. The coin module in Sui is designed to be generic, where the coin type is just a marker — like a label to distinguish one coin from another. That’s why it expects the type to carry no actual data and only exist for typing purposes.

harry phan · Answer

You’re attempting to use coin::mint(1000) without properly registering your custom coin type MyCoin. In Sui Move, before you can mint a custom coin, you need to define and register it using the create_currency function. https://docs.sui.io/references/framework/sui/coin

MoonBags · Answer

You’re getting the error because sui::coin::Coin requires T to be a phantom type, and your MyCoin struct isn’t marked as such. To use your custom MyCoin as the type for coin::Coin, your struct must: module my_module::mymodule { use sui::coin; struct MyCoin has drop, store {} // add store because its often required phantom struct PhantomMyCoin has drop, store {} public fun create_coin(): coin::Coin { coin::mint(1000) } } `

0xduckmove · Answer

You’re trying to use your custom MyCoin as a type argument for coin::Coin, but Move throws: Invalid type parameter instantiation. Expected type phantom type T but found MyCoin What this means in plain terms is: coin::Coin is designed to only accept types that are declared as phantom. You tried to pass in a regular struct, and the compiler said: “Nope, I can’t safely guarantee how this is used in memory. So, unless your type is declared like this: phantom struct MyCoin has store, drop {} …it cannot be used with coin::Coin.

Допис

Діліться своїми знаннями.

Помилка перевірки типу при використанні користувацької структури як параметра типу в монеті Sui Move: :Coin?

Питання:

Відповіді

Ви знаєте відповідь?

Зароби свою частку з 1000 Sui