Trait作为泛型参数初始化结构体对象的编译错误解决方法

首先，咱们先搞清楚你报错的核心原因：你直接把Block这个trait当作类型参数传给Bar了，但Rust里trait本身不是具体类型——它只是定义了一组行为规范，不能直接用来实例化或者作为泛型参数的具体类型（除非用trait object，但这里Vec<T>的场景不支持）。Vec<T>要求T是固定大小的（Sized trait约束），而trait本身没有固定大小，所以编译器才会抛出“trait无法被对象化”的错误。

正确的做法：传入实现了Block trait的具体类型 #

你需要用实际实现了Block trait的具体类型来代替Block trait本身。比如在Substrate开发中，测试场景常用sp_runtime::testing::Block作为测试用的区块类型；如果你是在链上开发，就用你项目中定义的自定义Block类型。

修正后的代码示例：

use sp_runtime::traits::Block;
// 导入具体的Block实现（这里用Substrate测试用的Block）
use sp_runtime::testing::Block as TestBlock;

struct Bar<T: Block> {
    e1: Vec<T>,
}

impl<T: Block> Bar<T> {
    pub fn new() -> Self {
        Bar { e1: Vec::new() }
    }
}

fn main() {
    // 使用具体的TestBlock类型初始化Bar，而不是直接用Block trait
    let var_1 = Bar::<TestBlock>::new();
}

补充说明 #

如果你想让代码保持泛型灵活性，可以把初始化逻辑放到一个泛型函数里（main函数本身不能是泛型的），比如：

fn init_bar<T: Block>() -> Bar<T> {
    Bar::<T>::new()
}

fn main() {
    let var_1 = init_bar::<TestBlock>();
}

核心逻辑就是：泛型参数T需要的是实现了某trait的具体类型，而不是trait本身——trait是用来约束类型的，不是类型本身哦。

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