如何在Rust中以惯用方式从函数返回&[u32]切片？

你遇到的核心矛盾在于：Rust中函数返回的引用必须指向函数外部拥有所有权的内存，而你尝试的两种方法都在函数内部创建了新内存（HashSet或Vec），这些内存会在函数结束时被销毁，返回它们的引用会导致悬空引用，被借用检查器直接阻止。

另外需要明确：&[u32]是指向连续内存块的切片，如果两个输入切片的交集元素在原切片中不是连续的，你根本无法用一个&[u32]来表示这些元素——因为切片的本质就是连续内存的视图。

方案1：返回拥有所有权的Vec<u32>（最推荐） #

放弃返回引用，直接返回包含交集元素的Vec，这是Rust中处理此类场景的惯用方式。调用方可以随时通过as_slice()将Vec转为切片使用。

use std::collections::HashSet;

pub fn intersection(left: &[u32], right: &[u32]) -> Vec<u32> {
    let left_set: HashSet<u32> = left.iter().cloned().collect();
    let mut result: Vec<u32> = right
        .iter()
        .filter(|&&num| left_set.contains(&num))
        .cloned()
        .collect();
    
    // 去重（处理right中存在重复元素的情况）
    result.dedup();
    // 可选：对结果排序
    result.sort();
    
    result
}

方案2：返回输入切片中元素的引用集合Vec<&u32> #

如果你不想复制元素，可以返回指向输入切片中交集元素的引用。这样返回的引用生命周期和输入切片一致，不会触发借用检查错误：

use std::collections::HashSet;

pub fn intersection<'a>(left: &'a [u32], right: &'a [u32]) -> Vec<&'a u32> {
    let left_set: HashSet<&u32> = left.iter().collect();
    let mut result: Vec<&'a u32> = right
        .iter()
        .filter(|num| left_set.contains(num))
        .collect();
    
    result.dedup();
    result.sort();
    
    result
}

方案3：仅当输入切片已排序时，返回原切片的连续子切片（特殊场景） #

如果你的输入切片已经是排序且无重复的，可以用双指针法找到交集的连续区域，但这种情况非常受限——只有当交集元素在原切片中是连续的，才能返回&[u32]，否则依然无法实现：

pub fn intersection_sorted<'a>(left: &'a [u32], right: &'a [u32]) -> &'a [u32] {
    let mut i = 0;
    let mut j = 0;
    
    // 找到第一个共同元素的起始位置
    while i < left.len() && j < right.len() {
        if left[i] < right[j] {
            i += 1;
        } else if left[i] > right[j] {
            j += 1;
        } else {
            let start = i;
            // 找到最后一个共同元素的位置
            while i < left.len() && j < right.len() && left[i] == right[j] {
                i += 1;
                j += 1;
            }
            return &left[start..i];
        }
    }
    
    // 无交集时返回空切片
    &[]
}

• 除非交集元素在输入切片中是连续的内存块，否则无法返回&[u32]——因为切片必须指向连续内存。
• Rust的借用检查器不允许返回局部变量的引用，这是为了避免悬空引用，保证内存安全。
• 绝大多数场景下，返回Vec<u32>是最合理的选择，既简单又符合Rust的内存安全规则。

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