If type T2
is based on type T1
, other than sharing the same data fields, is there any relationship between T1
and T2
?
package main import "fmt" type T1 struct { s string } func (v *T1) F1() string { return v.s } type T2 T1 func (v *T2) F2() string { return v.s } func main() { var t1 = T1{ "xyz" } var t2 = T2{ "pdq" } s0 := t2.F1() // error - expected ok s1 := ((*T1)(&t2)).F1() // ok - expected s2 := ((*T2)(&t1)).F2() // ok - not expected fmt.Println( s0, s1, s2 ) }
My understanding here is lacking
was hoping that
T2
would inheritT1
's methods, but such is not the case.was expecting
T2
could be coerced intoT1
, since it was derived fromT1
was surprised that
T1
could be coerced intoT2
, but so it is.it seems that the relationship between
T1
andT2
is completely symmetrical - I cannot find anything that breaks the symmetry despite the fact one is actually derived from the other - or is this an illusion?
T2
is NOT derived fromT1
. It only uses the same memory representation and is exactly the same astype T2 struct { s string }
. The compiler keeps no link betweenT1
andT2
.