too-many-lists/production-unsafe-deque/variance-and-phantomData

[giscus[bot]]

too-many-lists/production-unsafe-deque/variance-and-phantomData

https://course.rs/too-many-lists/production-unsafe-deque/variance-and-phantomData.html

[ytianxia6]

这一节是翻译的吧？感觉读起来怪怪的

[Alkaidd]

即使是知道协变，逆变，抗变这几个概念的，我觉得这章都看的一头雾水...

[YanHeDoki]

这章看完了,但是没看

[LogicalMonster]

感觉这里原作者讲的有点问题，简短的说一下个人理解：
Rust中的类型一种是像i32一样具有元素的集合类型，比如
let a: i32 = 0;
一种是像生命周期'a一样没有传统意义上的元素。
类型之间具有某种大小关系或者说(顺)序关系，这种大小关系就是子类型，用符号<:表示。如：
T <: U
'static <: 'long <: 'short
对于这种序关系，存在一些映射能够以类型为元素，将类型映射为类型。注意，这种映射区别与传统以数字为元素的映射，如区别与 f(x: i32) := 2 * x 这种映射。
这种映射是以类型为元素的。
若这种映射F满足，只要T <: U，就有F(T) <: F(U)。我们就称这种映射是协变的，也就是保持子类型这种关系。
若这种映射F满足，只要T <: U，就有F(U) <: F(T)。我们就称这种映射是逆变的，也就是反转子类型这种关系。
若这种映射F不满足上述两种情况。我们就称这种映射是不变的，也就是F(T) <: F(U)不能始终成立或者F(U) <: F(T)不能始终成立。
可以看到这个协变、逆变、不变是映射相对于其单个变量而言的。

重点是：
实际上，对于类型'a和T，不变引用&'a T是一种二元映射。
若记
F('a, T) := &'a T
则F关于变量'a是协变的，关于变量T也是协变的。

实际上，对于类型'a和T，可变引用&'a mut T是一种二元映射。
若记
G('a, T) := &'a mut T
则G关于变量'a是协变的，关于变量T而是不变的。

也就是说，严格来说，文中说&mut T是不变的，这句话是不对的，或者说不严格的，应当理解为&'a mut T关于T是不变的。这一部分感觉算是Rust类型论方面的理论。

顺带一提PhantomData似乎也是关于T协变的，理由是下面的代码可以编译通过：

use std::marker::PhantomData;

fn phantom_data<'short, 'long: 'short>(long: PhantomData<&'long i32>) -> PhantomData<&'short i32> {
    long
}

关于型变，The Rustonomicon中总结了如下表格：

	'a	T	U
&'a T	协变	协变
&'a mut T	协变	不变
Box<T>		协变
Vec<T>		协变
UnsafeCell<T>		不变
Cell<T>		不变
fn(T) -> U		逆变	协变
*const T		协变
*mut T		不变

具体可见：https://doc.rust-lang.org/nightly/nomicon/subtyping.html