Rust结构体实例化报错缺失字段，如何实现部分初始化？

你遇到的报错是因为Rust要求结构体实例必须完全初始化——所有字段都必须被赋予有效值，不允许存在未初始化的字段。下面是几种可行的解决方法：

方法一：给所有字段提供有效值 #

如果b和join_handle字段在创建实例时就需要有实际值，直接在new方法中完成它们的初始化即可：

修改B.rs中的impl B部分：

impl B {
    fn new() -> B {
        B {
            a: String::from("Hi"),
            // 初始化AS结构体实例
            b: AS { a: String::from("AS默认值") },
            // 启动一个线程获取JoinHandle，可根据需求替换线程逻辑
            join_handle: thread::spawn(|| {
                println!("线程执行中");
            }),
        }
    }
}

方法二：用Option包裹可选字段 #

如果某些字段不需要在创建实例时立刻赋值，可以将它们声明为Option<T>类型，先赋值为None，后续再通过方法设置：

首先修改B结构体定义：

pub struct B {
    a: String,
    b: Option<AS>,
    join_handle: Option<thread::JoinHandle<()>>
}

然后实现new方法和字段设置方法：

impl B {
    fn new() -> B {
        B {
            a: String::from("Hi"),
            b: None,
            join_handle: None,
        }
    }

    // 设置b字段
    fn set_b(&mut self, new_b: AS) {
        self.b = Some(new_b);
    }

    // 启动线程并设置join_handle
    fn start_thread(&mut self, task: impl FnOnce() + Send + 'static) {
        self.join_handle = Some(thread::spawn(task));
    }
}

方法三：结合Default trait和结构体更新语法 #

如果大部分字段可以使用默认值，只需修改少数字段，可以给结构体实现Default trait，然后用更新语法简化初始化：

首先在A.rs中给AS实现Default：

pub struct AS {
    a: String
}

impl Default for AS {
    fn default() -> Self {
        AS { a: String::from("AS默认值") }
    }
}

然后在B.rs中给B实现Default并修改new方法：

impl Default for B {
    fn default() -> Self {
        B {
            a: String::from("默认a值"),
            b: Default::default(),
            // 用空线程生成默认的JoinHandle
            join_handle: thread::spawn(|| {}),
        }
    }
}

impl B {
    fn new() -> B {
        B {
            a: String::from("Hi"),
            // 复用Default中定义的其他字段值
            ..Default::default()
        }
    }
}

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