主页 / coding / 问题 / 77943221
Accepted
mildog8
Asked: 2024-02-06 02:32:55 +0800 CST

限制未使用的泛型会导致编译错误

  • 772

我不明白为什么限制未使用的泛型会导致编译错误。为什么会这样编译：

#[derive(PartialEq)]
struct B;

fn is_eq<T>(b: B, c: B) -> bool 
// where
//     B: PartialEq<T>,
{
    b == c
}

但取消注释 where 子句会导致此编译错误：

error[E0308]: mismatched types
 --> src/lib.rs:9:10
  |
4 | fn is_eq<T>(b: B, c: B) -> bool
  |          - this type parameter
...
8 |     b == c
  |          ^ expected type parameter `T`, found `B`
  |
  = note: expected type parameter `T`
                     found struct `B`

进行==显式编译，即PartialEq::<B>::eq(&b, &c)- 尽管编译器不应该清楚地使用此实现吗？奇怪的是，将输入参数更改为 &B 并使用==编译。很高兴知道为什么会出现错误以及这里发生了什么。

rust

1 个回答

  1. Best Answer

    这个bug从Rust 1.0开始就存在：重新排序where子句可以改变程序行为

    获取两者的另一种方法B == T是B == B指定两者：

    fn is_eq<T>(b: B, c: B) -> bool 
where
    B: PartialEq<T> + PartialEq<B>,
// also works: B: PartialEq<T> + PartialEq,

    当您使用 时&B，它通常会忽略您的 where 子句，因为您不再比较B值。相反，它通过毯子实现来获取参考，这显然足以找到PartialEq<B>。

    您可以通过更改 where 子句来使引用不被编译。

    fn is_eq<T>(b: B, c: B) -> bool
where
    for<'a> &'a B: PartialEq<&'a T>,
{
    (&b) == (&c)
}
    • 2

相关问题