关于&mut rand::thread_rng()生命周期及函数内存管理的技术问询

得先搞清楚rand::thread_rng()的本质：它返回的是一个ThreadRng实例，这个实例其实是线程本地存储（TLS）中全局随机数生成器的「访问句柄」——也就是说，实际的RNG核心存在于线程的TLS里，只要线程还在运行，它就会一直存活。

当你写&mut rand::thread_rng()时，你是临时创建了一个指向这个ThreadRng实例的可变引用。这个引用的生命周期只覆盖当前函数调用的整个过程：从你创建这个引用开始，到采样函数执行完毕、返回结果的那一刻为止。一旦采样函数执行结束，这个可变引用就会失效，但ThreadRng实例（以及它背后的全局RNG）依然会留在线程的TLS里，继续供后续的调用使用。

举个实际代码例子：

use rand::Rng;
use rand::seq::SliceRandom;

fn main() {
    let points = vec![vec![1,2], vec![3,4], vec![5,6]];
    let sampled = points.choose_multiple(&mut rand::thread_rng(), 2);
    // 这里&mut rand::thread_rng()的引用已经失效了，但ThreadRng还在线程TLS里
    let another_sample = points.choose(&mut rand::thread_rng()); // 依然可以正常调用
}

直接给结论：不会导致底层RNG被销毁，也不会有内存泄漏。

原因还是回到ThreadRng的设计：它本身并不是实际的随机数生成器，而是一个轻量级的句柄，用来访问线程TLS里的全局RNG实例。当你把ThreadRng移动到函数作用域内，函数结束时ThreadRng会被drop，但这个drop操作只是销毁这个句柄，并不会触及底层的全局RNG——那个RNG会一直留在TLS里，直到线程退出才会被系统自动清理。

至于无需单独声明的实现方式？当然有，这也是日常开发里最常用的写法：你完全可以直接在函数调用的参数位置生成ThreadRng或者它的引用，不用提前用let声明变量。

比如调用接受&mut impl Rng的采样函数：

// 直接传&mut rand::thread_rng()，不用提前声明rng变量
let sampled_points = points.choose_multiple(&mut rand::thread_rng(), k as usize);

如果函数接受的是impl Rng（而非引用），也可以直接传rand::thread_rng()：

fn some_sampling_fn<R: Rng>(rng: R, points: &[Vec<i64>], k: usize) -> Vec<&Vec<i64>> {
    points.choose_multiple(rng, k).collect()
}

// 调用时直接传rand::thread_rng()，无需提前绑定变量
let result = some_sampling_fn(rand::thread_rng(), &points, k as usize);

这种写法下，ThreadRng会被移动到函数里，函数结束时句柄被销毁，但底层RNG毫发无损，也没有任何内存泄漏——因为TLS里的资源会由Rust的线程机制自动处理，根本不需要你手动管理。

补充一句：这种设计和drop机制的关联在于，ThreadRng的Drop实现仅负责释放句柄，不会触碰底层资源，所以即使你多次创建ThreadRng实例，也不会有资源冲突或泄漏问题——所有实例都指向同一个全局RNG，且Rust内部的同步机制会保证线程安全的访问。

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