const fn中基础数值泛型的值参数报错及相关疑问

我正尝试将部分C++代码迁移至Rust，遇到如下问题。以下是简化后的最小复现示例，目标是适配所有无符号整数类型，当前仅需实现PartialOrd trait：

#![allow(incomplete_features)]  
#![feature(generic_const_exprs)]
#![feature(const_trait_impl)]   


const fn foo<T>(n: T, k: T) -> T                                       
where                                                                   
    T: Sized,                                                           
    T: Copy,
    T: ~const core::marker::Destruct,
    T: ~const std::cmp::PartialOrd,                            
{                                                                       
    if n < k {                                                          
        n
    } else {
        k
    }
}                                                                       

编译时报错：

error[E0658]: cannot borrow here, since the borrowed element may contain interior mutability
 13 |     if n < k {                                                          
    |        ^

将参数n和k改为引用后可正常编译。我发现PartialOrd的方法是基于引用实现的，按理解2 < 4会通过引用调用le方法，但出于性能考虑对此存疑。现提出两个问题：

1. 不使用引用能否解决该编译错误？
2. 为何PartialOrd使用引用，而Ord的min、max方法使用值（cmp方法除外）？

问题1解答：不使用引用能否解决？ #

可以解决。问题出在const上下文中对值的隐式借用——普通非const代码里，n < k会自动转成&n < &k，但const函数中编译器无法安全完成这种隐式借用（担心内部可变性破坏const上下文的安全性）。

有两种无需改参数为引用的解决方式：

方案1：手动显式借用 #

直接在判断时用引用比较：

if &n < &k {
    n
} else {
    k
}

方案2：添加Borrow约束 #

在where子句中增加T: ~const core::borrow::Borrow<T>，让编译器能安全处理隐式借用逻辑：

const fn foo<T>(n: T, k: T) -> T                                       
where                                                                   
    T: Sized + Copy + ~const core::marker::Destruct,
    T: ~const std::cmp::PartialOrd,
    T: ~const core::borrow::Borrow<T>,                            
{                                                                       
    if n < k {                                                          
        n
    } else {
        k
    }
}                                                                       

问题2解答：PartialOrd用引用，Ord的min/max用值？ #

核心是语义与性能的平衡设计：

• PartialOrd的核心方法partial_cmp用引用，是因为比较操作只需要读取数据，不需要消耗值。对于非Copy类型（比如String），传引用能避免不必要的克隆；对于Copy类型（比如整数），引用的开销会被编译器完全优化掉，不会影响性能。
• Ord的min/max用值，是因为它们需要返回其中一个值的所有权。如果用引用，调用者还要额外处理所有权转移的问题，反而增加复杂度。对于Copy类型，传值就是简单复制（开销可以忽略）；对于非Copy类型，传值可以直接转移所有权，避免额外克隆。

简言之：比较只需要读，用引用更通用；min/max要返回所有权，传值更直接。

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