Rust实现泛型链表时泛型T无法执行数值比较的问题如何解决？

你当前的类型报错根源是：你单独定义的compare函数硬编码了入参类型为i32，但你的Node、List结构体都用了泛型T，调用compare时传入的是泛型T类型的值，两者类型不匹配触发编译错误。

要支持泛型类型的大小比较，你需要给泛型T添加Rust标准库的可比较trait约束，有序插入场景推荐使用Ord trait（保证类型支持全序比较），无需单独编写类型固定的比较函数。

需要修改的核心点： #

• 给Node和List的泛型实现添加Ord约束
• 替换自定义的compare调用为Rust原生的比较运算符
• 修正原有插入逻辑的bug：原有逻辑插入新节点后仍会递归调用插入方法，会导致重复插入相同元素

pub struct List<T> {
    head: Link<T>
}

type Link<T> = Option<Box<Node<T>>>;

struct Node<T> {
    value: T,
    next: Link<T>
}

// 给泛型T添加Ord约束，保证支持大小比较
impl<T: Ord> Node <T> 
{
    fn new(value: T, next: Link<T>) -> Self {
        Node {value, next}
    }
    
    fn check_and_put(&mut self, value: T) 
    {
        if self.next.is_none() {
            self.next = Some(Box::new(Node::new(value, None))); 
        } else {
            // 直接用>运算符比较，和你原有compare逻辑一致
            if value > self.value {
                self.next = Some(Box::new(Node::new(value, self.next.take())));
                // 插入完成直接返回，避免重复递归插入
                return;
            }
            self.next.as_mut().unwrap().check_and_put(value);
        }
    }
}

// 同样给List的泛型实现添加Ord约束
impl<T: Ord> List<T> {
    fn new() -> Self {
        List {head: None}
    }
    
    fn add_element(&mut self, value: T) {
        if self.head.is_some() {
            self.head.as_mut().unwrap().check_and_put(value);
        } else {
            self.head = Some(Box::new(Node::new(value, None)));
        }
    }
}

fn main() {
    let mut list = List::new();
    list.add_element(1);
    list.add_element(2);
    list.add_element(1);
}

修改后的代码支持所有实现了Ord trait的类型作为链表元素，比如字符串、有序自定义结构体等。如果需要支持浮点数这类不满足全序的类型，可以把约束换成PartialOrd即可。

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