两种类型要么是 identical(完全一致的),要么是different(不同的)。
1.两种 named type, 如果 传承自同样的 TypeSpec(声明),那么就是 identical(自己跟自己相同,除此之外任何两种 named type 都不同) ,否则就是 different。
2.对于 unnamed type ,判定 identical 具体规则如下:
-- array type:其中元素类型和数组长度都相同。
-- slice type:具有相同的元素类型。
-- struct type:具有相同的 field(强调顺序相同);field name 相同;field type 相同;field tag 相同。关于匿名 field name ,总是被认为是相同的(前提是 type 相同)。最后,来自不同 package 的小写的 field names 总是不相同的(即便拼写相同)。
-- pointer type:具有相同的 base type(指向同样类型的指针)。
-- function type:参数数量相同;返回值数量相同;参数类型相同;返回值类型相同;两个函数要么全部是 variadic,要么都不是 variadic。参数和返回值的 name 不用相同。
-- interface type:具有相同的 method set(函数名相同,函数类型相同);来自不同 package 的小写的 method name 总是不相同的。
-- map type:具有同样的 key type 和 value type。
-- channel type:具有相同的 value type 和 同样的 direction。
有疑问加站长微信联系(非本文作者)