rust - 为什么 impl RangeBounds for Range<&T> 需要调整 T 的大小？

Question

https://doc.rust-lang.org/src/core/ops/range.rs.html#979-986

impl<T> RangeBounds<T> for Range<&T> {
    fn start_bound(&self) -> Bound<&T> {
        Included(self.start)
    }
    fn end_bound(&self) -> Bound<&T> {
        Excluded(self.end)
    }
}

如您所见， T未标记 ?Sized ，这使我无法通过 Range<&[u8]>进入参数需要 impl RangeBounds<[u8]> .
背后是否有一些设计考虑？如果这是有意的，那么这是传递 [u8] 范围的正确方法?

Answer 1

这是相当不幸的，但添加 T: ?Sized像 btreemap.range("from".."to") 这样的代码中的边界中断类型推断因为编译器无法在 T = str 之间进行选择和 T = &str , 两者都满足 range 上的界限.
PR #64327 上对此进行了一些讨论。 .据我所知，没有计划放宽这些 impl 的限制。 s 在 future 。
而不是 Range<T> , 你可以使用 Bound<T> 的元组小号；例如，而不是 takes_range("from".."to") ，您可以改写以下内容:

use std::ops::Bound;
takes_range((Bound::Included("from"), Bound::Excluded("to"))

这将起作用，因为 (Bound<&T>, Bound<&T>)确实实现了 RangeBounds<T>即使 T是 !Sized .