24/02/28 18:22:38.09 nghz9NTX.net
>>165
Deref T→Uが実装されている時に
(つまり*TがUとなる時に)
&T→&UのDeref coercionが自動適用される
U＝*T
↓ &Tから出発すると
U＝**(&T)
↓ 両辺の参照をとると
&U＝&**(&T)
つまり
Deref coercionとは&**の自動適用のこと
24/02/28 18:22:38.09 nghz9NTX.net
>>165
Deref T→Uが実装されている時に
(つまり*TがUとなる時に)
&T→&UのDeref coercionが自動適用される
U＝*T
↓ &Tから出発すると
U＝**(&T)
↓ 両辺の参照をとると
&U＝&**(&T)
つまり
Deref coercionとは&**の自動適用のこと