面试题：Rust泛型类型变量默认初始化策略及类型约束

Question

编写一个泛型函数`create_and_init<T>`，该函数创建一个类型为`T`的变量，利用Rust的默认初始化策略进行初始化（如果`T`支持的话），并返回该变量。对`T`添加必要的类型约束以确保编译通过。详细说明在泛型场景下，Rust变量默认初始化策略的应用方式以及类型约束对它的影响。

Answer 1

fn create_and_init<T: Default>() -> T {
    T::default()
}

Rust变量默认初始化策略在泛型场景下的应用方式

在Rust中，对于支持Default trait的类型，可以通过调用T::default()来进行默认初始化。在泛型函数create_and_init中，当类型T实现了Default trait，就可以使用T::default()来创建一个T类型的变量并初始化为默认值。例如，如果T是i32，i32实现了Default，其默认值为0，T::default()就会返回0；如果T是Vec<T>，其默认值是一个空的Vec。

类型约束对默认初始化策略的影响

在这个泛型函数中，通过T: Default这个类型约束，确保了只有实现了Default trait的类型才能作为T的具体类型传入该函数。如果没有这个类型约束，编译器不知道T是否支持默认初始化，调用T::default()就会导致编译错误。所以这个类型约束是保证在泛型场景下能够正确应用默认初始化策略的关键，它限制了泛型类型参数的范围，使得代码能够安全且正确地使用默认初始化。