如何创建一个返回泛型类型的修改实例的泛型函数？答案

【问题标题】：How can I create a generic function that returns a modified instance of the generic type?如何创建一个返回泛型类型的修改实例的泛型函数？
【发布时间】：2021-04-01 11:40:34
【问题描述】：

我有许多泛型函数需要返回泛型的新实例。但是，泛型中的字段是未知的，但我需要获取/设置字段值来创建实例（简单的默认值不起作用）。对于原始字段，我可以更新我的结构，但对于 Vector 或 HashMap 类型的字段，我会收到错误：

the size for values of type `[usize]` cannot be known at compilation time

这是我的问题的一个最小工作示例：

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=6db1dd0b5982eca526725f4e5b423263

trait MyTrait {
    fn id(&self) -> &usize;
    fn id_mut(&mut self) -> &mut usize;

    fn data(&self) -> &[usize];
    fn data_mut(&mut self) -> &mut [usize];
}

#[derive(Debug)]
struct MyStruct {
    id: usize,
    data: Vec<usize>,
}

impl MyTrait for MyStruct {
    fn id(&self) -> &usize {
        &self.id
    }
    fn id_mut(&mut self) -> &mut usize {
        &mut self.id
    }
    fn data(&self) -> &[usize] {
        &self.data
    }
    fn data_mut(&mut self) -> &mut [usize] {
        &mut self.data
    }
}

impl Default for MyStruct {
    fn default() -> MyStruct {
        MyStruct {
            id: 0,
            data: vec![],
        }
    }
}

fn my_func<T: MyTrait + Default>() -> T {
    let mut d = T::default();
    // this correctly updates the struct field "id" to 26
    *d.id_mut() = 26;
    // this however, does not work. i get an error:
    // the size for values of type `[usize]` cannot be known at compilation time
    *d.data_mut() = vec![1, 2, 3].as_slice();
    d
}

fn main() {
    let _my_instance = my_func::<MyStruct>();
}

如何创建一个返回泛型类型实例的泛型函数？

【问题讨论】：

标签： rust

【解决方案1】：

对于MyStruct 的Default 实例，data 是一个空的Vec，但您将其公开为可变切片。这毫无意义，因为您无法更改可变切片的长度；你只能改变现有的元素。

您需要将data 公开为&mut Vec<usize>，以便您可以插入元素。不可变的 getter 可以保持不变。

trait MyTrait {
    fn id(&self) -> &usize;
    fn id_mut(&mut self) -> &mut usize;

    fn data(&self) -> &[usize];
    fn data_mut(&mut self) -> &mut Vec<usize>;
}

并更改更新它的代码：

fn my_func<T: MyTrait + Default>() -> T {
    let mut d = T::default();
    *d.id_mut() = 26;
    *d.data_mut() = vec![1, 2, 3];
    d
}

【讨论】：