稳定版Rust中如何从固定大小数组取出最小值并丢弃其余元素？

你的这个unsafe实现确实存在严重的安全风险——如果T有自定义Drop逻辑，MaybeUninit::uninit().assume_init()会生成一个未初始化的T实例，当数组在函数结束时自动Drop时，这个未初始化的值会被执行Drop操作，直接触发未定义行为。另外依赖T没有无效位模式的假设也非常脆弱，完全不符合Rust的安全理念。

下面是一个完全安全、无需依赖夜间版的实现，既满足你的需求，又能正确处理所有Ord类型（包括带自定义Drop的类型）：

use std::mem::ManuallyDrop;
use std::ptr;

fn get_min<T: Ord>(arr: [T; SIZE]) -> T {
    // 定位数组中的最小值索引
    let min_idx = arr
        .iter()
        .enumerate()
        .min_by(|(_, x), (_, y)| x.cmp(y))
        .unwrap()
        .0;

    // 用ManuallyDrop包裹数组，禁用自动Drop逻辑
    let mut arr = ManuallyDrop::new(arr);

    // 安全读取最小值元素（不会触发原位置元素的Drop）
    let min_element = unsafe { ptr::read(&mut arr[min_idx]) };

    // 手动Drop数组中除最小值外的所有元素，避免内存泄漏
    unsafe {
        for (idx, elem) in arr.iter_mut().enumerate() {
            if idx != min_idx {
                ptr::drop_in_place(elem);
            }
        }
    }

    min_element
}

为什么这个实现是安全的？ #

• 避免未定义行为：用ManuallyDrop接管数组的生命周期，我们可以精确控制哪些元素被Drop。不会像原实现那样生成未初始化值并触发Drop。
• 正确处理所有权：ptr::read安全地复制最小值元素的字节，将所有权转移给调用者，原位置的元素不会被自动Drop（我们后续会跳过它的Drop操作）。
• 无内存泄漏：遍历数组时手动Drop所有非最小值元素，确保所有需要清理的资源都被正确释放。
• 兼容所有Ord类型：不需要T实现Clone或Default，不管T有没有自定义Drop逻辑都能安全运行。

可选优化：处理空数组场景 #

如果你的数组可能是空的（SIZE=0），可以把函数改为返回Option<T>，避免unwrap() panic：

fn get_min<T: Ord>(arr: [T; SIZE]) -> Option<T> {
    let Some((min_idx, _)) = arr.iter().enumerate().min_by(|(_, x), (_, y)| x.cmp(y)) else {
        return None;
    };

    let mut arr = ManuallyDrop::new(arr);
    let min_element = unsafe { ptr::read(&mut arr[min_idx]) };

    unsafe {
        for (idx, elem) in arr.iter_mut().enumerate() {
            if idx != min_idx {
                ptr::drop_in_place(elem);
            }
        }
    }

    Some(min_element)
}

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