如何安全高效地将Rust中的Vec<&str>转换为单个&str？

首先要明确：你的unsafe实现存在严重的内存安全风险，核心误解在于——Vec<&str>中的各个&str指向的内存完全没有连续布局的保证。每个&str都是独立的字符串切片，它们的底层字节可能分散在堆、栈或只读数据段的不同位置，根本不会自动连成一片。

为什么join("")是合理的选择 #

join("")方法的逻辑是：先计算所有字符串的总长度，分配一块连续的内存，再将所有字符串的字节拷贝进去，最终返回一个String。这是通用场景下最安全、最简洁的实现，因为它从根本上保证了结果字符串的内存连续性，完全符合Rust的内存安全规则。

你的unsafe代码的问题 #

1. 内存连续性无保证：如果各个&str的内存不连续，offset_from会返回无效偏移量，构造出的str会包含不属于原字符串的内存，触发未定义行为。
2. 生命周期问题：函数接收Vec<&str>，但返回的&str没有绑定到任何合法的生命周期，极易产生悬垂引用。
3. panic风险：try_into().unwrap()在偏移量超出usize范围时会直接panic，不符合unsafe代码的稳健性要求。

正确的实现方式 #

通用安全实现（推荐） #

直接使用join是最省心的方案，若需要&str，可以基于返回的String获取切片：

fn vec_to_string(input: Vec<&str>) -> String {
    input.join("")
}

// 使用示例
let combined_string = vec_to_string(vec!["a", "bc"]);
let combined_str: &str = &combined_string;

特殊场景下的无分配实现（仅当切片连续时有效） #

如果你的输入切片确实是同一个大字符串的连续无间隙子切片（比如从"abc"中切出["a", "bc"]），可以添加严格的验证逻辑来避免分配：

fn concat_contiguous_slices<'a>(input: &[&'a str]) -> Option<&'a str> {
    if input.is_empty() {
        return None;
    }

    let first = input.first()?;
    let last = input.last()?;
    let start = first.as_ptr();
    let end = last.as_ptr().wrapping_add(last.len());

    // 验证总长度等于所有切片长度之和，确保无间隙/重叠
    let total_len = end.wrapping_offset_from(start) as usize;
    let sum_len: usize = input.iter().map(|s| s.len()).sum();
    if total_len != sum_len {
        return None;
    }

    // 验证所有切片都在合法范围内
    for s in input {
        let s_start = s.as_ptr();
        let s_end = s_start.wrapping_add(s.len());
        if s_start < start || s_end > end {
            return None;
        }
    }

    unsafe {
        // 已验证内存连续且为合法UTF-8，因此安全
        Some(std::str::from_utf8_unchecked(std::slice::from_raw_parts(start, total_len)))
    }
}

这个版本会先验证输入切片的连续性，只有符合条件时才返回合并后的&str，否则返回None，避免了未定义行为。

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