我不太明白Rust中的逆变。
专:
然而，同样的逻辑不适用于实参。考虑在为了满足:
fn handle_animal(Animal);
fn handle_animal(Cat);第一个函数可以接受狗，但第二个函数绝对可以不能。协方差在这里不起作用。但是如果我们把它翻过来，它确实有用!如果我们需要一个可以处理Cats的函数，a一个可以处理任何动物的函数肯定会工作得很好。或把它和真正的Rust联系起来:如果我们需要一个可以处理任何至少活在
'long的东西，对它来说都是完全可以的能够处理任何至少存活'short的东西。
(来自:https://doc.rust-lang.org/nomicon/subtyping.html)
这是我无法理解的部分:
或者将它与真正的Rust联系起来:如果我们需要一个可以的函数处理任何至少存在
'long的东西，这完全没问题让它能够处理任何至少存在'short的东西。
如果你把'short '传递到需要'long '的地方，那就意味着'short '传递的时间不够长，这不是不行吗?
我知道，当涉及到寿命，如果'long: 'short，那么'long是"短"的子类型(因为'long是'short和更多)，即使考虑到这一点，我仍然在努力与上述…
有人能帮我弄明白吗?同样，当涉及到方差时，为什么我们说"over"，就像:&mut T是不变的overT'?
如果你把
'short传递到需要'long的地方，那就意味着传递的'short不会活得足够长吗?
是相反的。我们在需要'short的地方传递了一个'long，这是有效的。
分解引用:
如果我们需要一个函数可以处理至少存活
'long的任何东西
我们需要一个可以接受'long的函数，这意味着我们必须有'long(甚至更长)我们要传递给它。
它完全可以处理任何至少存在'短'的
因此，我们有一个'long作为参数传递，并提供了一个接受'short的函数。没关系。函数需要它至少存在于'short中，因为它至少存在于'long中。
回答另一个问题:
同样，当涉及到方差时，为什么我们说'over'，就像:' T在T'上不变'?
如果有多个参数，那么不同的参数可能有不同的方差。
例如，&'a mut T有两个参数:'a和T。它在'a上是协变的，在T上是不变的。