标签: rust coercion
我阅读了以下in the Nomicon:
以下类型之间可以使用强制转换: 传递性:T_1到T_3,其中T_1强制到T_2,T_2强制到T_3。
以下类型之间可以使用强制转换:
传递性:T_1到T_3,其中T_1强制到T_2,T_2强制到T_3。
T_1
T_3
T_2
我找不到能证明这一点的例子。我想不出两种类型之间没有隐式强制,但是第三种类型在两者之间没有隐式强制。
这是我第一次遇到这个伟大的概念,因此很高兴看到一个真实的例子。