0

关于Substrate Collectables Workshop，<T>实际做什么和指的是fn deposit_event<T>() = default;什么？例如，当我的Event不包括时，我可以省略它AccountId吗？

4

1 回答 1

4

在 Substrate 的上下文中，这里有几件事需要回答。

泛型类型

每个 Substrate 模块都能够定义模块所需的自定义类型，所有这些都是实现某些特征所必需的。使用特征可以让我们确保类型具有某些属性，而不是强定义这些类型，但不限于类型可以是什么。这些泛型类型定义存在于 中trait Trait，必须在每个模块中定义。

这是模块中定义的自定义类型的示例，system几乎在所有其他模块中都使用了该类型：

pub trait Trait: 'static + Eq + Clone {
    /// The aggregated `Origin` type used by dispatchable calls.
    type Origin: ...

    /// Account index (aka nonce) type. This stores the number of previous transactions associated with a sender
    /// account.
    type Index: ...

    /// The block number type used by the runtime.
    type BlockNumber: ...

    /// The output of the `Hashing` function.
    type Hash: ...

    /// The hashing system (algorithm) being used in the runtime (e.g. Blake2).
    type Hashing: Hash<Output = Self::Hash>;

    /// Collection of (light-client-relevant) logs for a block to be included verbatim in the block header.
    type Digest: ...

    /// The user account identifier type for the runtime.
    type AccountId: ...

    /// Converting trait to take a source type and convert to `AccountId`.
    ///
    /// Used to define the type and conversion mechanism for referencing accounts in transactions. It's perfectly
    /// reasonable for this to be an identity conversion (with the source type being `AccountId`), but other modules
    /// (e.g. Indices module) may provide more functional/efficient alternatives.
    type Lookup: StaticLookup<Target = Self::AccountId>;

    /// The block header.
    type Header: ...

    /// The aggregated event type of the runtime.
    type Event: Parameter + Member + From<Event>;

    /// A piece of information that can be part of the digest (as a digest item).
    type Log: From<Log<Self>> + Into<DigestItemOf<Self>>;
}

在您的自定义模块中，您将定义如下内容：

/// The module's configuration trait.
pub trait Trait: system::Trait {
    /// The overarching event type.
    type Event: From<Event<Self>> + Into<<Self as system::Trait>::Event>;
}

请注意，我们已经定义了自己的Event类型，我们的模块现在可以使用它，而且我们还继承了system模块 ( system::Trait) 的特征，所以我们也可以使用所有这些类型！

使用泛型类型

现在我们已经在运行时模块中定义了一些自定义类型，我们可以开始在整个模块逻辑中使用它们。

您将始终在此代码段中看到类似于第二行的行：

decl_storage! {
    trait Store for Module<T: Trait> as Sudo {
        /// The `AccountId` of the sudo key.
        Key get(key) config(): T::AccountId;
    }
}

这条线有些是宏观魔术，但重要的是你看到我们定义了Module<T: Trait>. 这意味着我们已将我们的模块分配为别名下trait Trait的通用参数。ModuleT

因此，我们可以T像上面那样使用引用这些特殊类型：

T::AccountId

转一圈，我们可以访问这种类型，因为我们从system::Trait定义中继承了它！

存款事件宏生成

为了最终回答您的问题，该decl_module!函数会生成 的函数体，deposit_event以免您一遍又一遍地编写相同的代码。

我们检测预定义的函数名deposit_event，检查= default;，然后用一个工作deposit_event函数替换它。

但是，在生成这个函数时，宏不知道是应该使用输入事件是泛型的函数，还是输入事件不使用泛型。deposit_event<T>()因此，您需要通过说or来“给它一个提示” deposit_event()。

然后它将生成正确版本的函数，该版本将适用于您模块中的类型。如果您的模块事件使用任何通用类型，例如T::AccountIdor T::Balance，您还需要定义deposit_event.

于 2019-05-10T11:51:53.607 回答