Rust静态结构体的成员默认初始化方案咨询

问题背景 #

正在评估用Rust替代C/C开发嵌入式固件，需要平滑迁移，暂时无法完全采用地道的Rust范式。在C中，结构体默认值和静态分配非常简洁：

struct foo {
  int bar = 3;
  float baz = 10.0;
  char* msg = "hello there";
};

foo my_foo; // 直接获得带默认值的静态实例

但尝试用Rust的Default trait实现时，遇到了静态分配的限制：

struct MyStruct {
  a: i32,
  b: f32,
  c: bool,
}

impl Default for MyStruct {
  fn default() -> MyStruct {
      MyStruct {
          a: 3,
          b: 4.0,
          c: true,
      }
  }
}

// 报错：无法在静态变量中调用非const函数Default::default()
static FOO: MyStruct = MyStruct { a:1, ..Default::default() };

错误信息：

error[E0015]: cannot call non-const fn `<MyStruct as Default>::default` in statics
  --> src/main.rs:92:42
   |
92 | static FOO: MyStruct = MyStruct { a:1, ..Default::default() };
   |                                          ^^^^^^^^^^^^^^^^^^
   |
   = note: calls in statics are limited to constant functions, tuple structs and tuple variants

解决方案 #

1. 常量默认实例 + 结构体更新语法（最贴合C++习惯）

直接定义一个常量的默认结构体实例，用结构体更新语法覆盖需要修改的字段，完全符合静态分配的常量表达式要求，代码量和C++相当：

struct MyStruct {
    a: i32,
    b: f32,
    c: bool,
}

// 定义常量默认实例
const MY_STRUCT_DEFAULT: MyStruct = MyStruct {
    a: 3,
    b: 4.0,
    c: true,
};

// 静态分配时复用默认值，仅修改需要的字段
static FOO: MyStruct = MyStruct { a: 1, ..MY_STRUCT_DEFAULT };

2. 用#[derive(Default)]+#[default]简化默认值定义（非静态场景）

如果不需要静态分配，只是想减少手动实现Default的代码，可以用Rust 1.60+支持的#[default]属性配合derive(Default)：

#[derive(Default)]
struct MyStruct {
    #[default(3)]
    a: i32,
    #[default(4.0)]
    b: f32,
    #[default(true)]
    c: bool,
}

// 非静态场景直接使用
let foo = MyStruct { a: 1, ..Default::default() };

3. 常量+derive的折中方案（兼顾静态分配和代码简洁）

如果既要静态分配又想简化代码，确保Default实现为const函数即可。当结构体所有字段的类型都支持const默认值时，#[derive(Default)]会生成const版本的default()：

#[derive(Default, Clone, Copy)]
struct MyStruct {
    #[default(3)]
    a: i32,
    #[default(4.0)]
    b: f32,
    #[default(true)]
    c: bool,
}

// 此时Default::default()是const函数，可以用于静态分配
const MY_STRUCT_DEFAULT: MyStruct = MyStruct::default();
static FOO: MyStruct = MyStruct { a: 1, ..MY_STRUCT_DEFAULT };

关键说明 #

静态变量要求初始化表达式必须是常量表达式，普通手动实现的Default::default()不是const函数（除非手动标记为const fn），所以无法在静态上下文调用。上述方案通过常量实例或const版Default解决了这个限制，同时尽量贴合C++的使用习惯，减少迁移过程中的额外代码量。

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