如何编写可同时操作Vec与LinkedList的Rust泛型函数？

一、泛型get_largest函数的Rust风格实现 #

你的代码中两个提取最大元素的函数逻辑完全重复，Rust中可以通过迭代器抽象和trait约束实现泛型版本，同时修复原代码中“空集合返回0”的逻辑漏洞（比如集合全为负数时结果错误）。

实现代码 #

use std::collections::LinkedList;
use std::cmp::Ord;

/// 从任意可迭代集合中提取最大元素，返回Option处理空集合情况
fn get_largest<T>(coll: &impl IntoIterator<Item = &T>) -> Option<&T>
where
    T: Ord,
{
    coll.into_iter().max()
}

// 保留你自定义的linked_list!宏
macro_rules! linked_list {
    ($($e:expr),*) => {{
        let mut list = LinkedList::new();
        $(list.push_back($e);)*
        list
    }};
}

pub fn main() {
    let myvec: Vec<i32> = vec![9, 4, 2, 13, 81, 92];
    if let Some(largest) = get_largest(&myvec) {
        println!("The largest item in vector is {}", largest);
    } else {
        println!("Vector is empty");
    }

    let mylist: LinkedList<i32> = linked_list![10, 15, 2, 3, 7, 100];
    if let Some(largest) = get_largest(&mylist) {
        println!("The largest item in list is {}", largest);
    } else {
        println!("LinkedList is empty");
    }
}

实现说明 #

1. Trait约束：通过impl IntoIterator<Item = &T>约束参数，只要类型能转换成迭代器且迭代项是&T，就可以传入（Vec和LinkedList都满足这个条件）；T: Ord保证元素可以比较大小。
2. 复用标准库：直接调用迭代器的max()方法，该方法已经处理了空集合（返回None）和元素比较的逻辑，避免重复造轮子。
3. 安全处理边界：返回Option<&T>替代固定默认值，强制调用者处理空集合的情况，符合Rust的安全设计理念。

如果需要返回值的所有权而非引用，可以调整约束为T: Ord + Clone，并修改函数：

fn get_largest_owned<T>(coll: &impl IntoIterator<Item = &T>) -> Option<T>
where
    T: Ord + Clone,
{
    coll.into_iter().max().cloned()
}

二、为什么标准库没有linked_list!宏？ #

主要原因有三点：

1. 使用优先级：Vec是Rust中最常用的集合类型，属于核心基础组件，而LinkedList的性能在绝大多数场景下不如Vec（比如随机访问、缓存友好性），使用频率极低，标准库优先为高频类型提供语法糖。
2. 替代方案充足：可以通过LinkedList::from_iter快速创建链表，比如LinkedList::from_iter([10, 15, 2, 3, 7, 100])，效果和自定义宏一致，无需额外提供宏。
3. 标准库精简原则：标准库倾向于保持精简，非必要的语法糖会交给社区第三方库实现（比如crates.io上的linked_list_macro crate）。

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