我无法理解 Rust 中的逆变。
具体来说：
但是，相同的逻辑不适用于参数。考虑尝试满足：
fn handle_animal(Animal);和
fn handle_animal(Cat);第一个函数可以接受 Dogs，但第二个函数绝对不能。协方差在这里不起作用。但是如果我们翻转它，它实际上确实有效！如果我们需要一个可以处理 Cats 的函数，一个可以处理任何 Animal 的函数肯定会工作得很好。或者将它与真正的 Rust 联系起来：如果我们需要一个函数来处理至少存在 的任何东西
'long，那么它能够处理至少存在 的任何东西就完全没问题了'short。
（来自：https : //doc.rust-lang.org/nomicon/subtyping.html）
这是我无法理解的部分：
或者将它与真正的 Rust 联系起来：如果我们需要一个函数来处理至少存在 的任何东西
'long，那么它能够处理至少存在 的任何东西就完全没问题了'short。
如果你在需要它的地方传递 'short ' long ，这不是不起作用，这意味着传递的 'short 不会活得足够长吗？
我知道，当涉及到寿命，如果'long: 'short，然后'long是“短亚型（如'long为'short多），即使考虑到这一点，我还在上述挣扎..
有人可以帮我理解一下吗？
另外，当谈到方差时，为什么我们说“结束”，例如：&mut T不变结束 T'？