Go规范中已定义/未定义类型的可赋值性规则相关疑问

Go语言规范中对可赋值性的规定如下：

当满足以下任一条件时，值x可赋值给类型为T的变量（即“x is assignable to T”）：

• x的类型V和T拥有完全相同的底层类型，且V或T中至少有一个不是defined type。
• ...

你的疑问本质是混淆了Go中两个完全独立的规则：可赋值性（assignability）和显式类型转换（type casting），二者的适用场景和校验规则完全不同：

• 针对「两个均为defined type的type_x和type_y可以互相转换」的问题：该场景使用的是显式类型转换语法，不会触发可赋值性校验。显式类型转换的规则更为宽松：只要两个类型的底层类型完全相同，无论二者是不是defined type，都允许执行转换，因此对应代码可以正常编译。
• 针对「底层类型相同的int和type_x无法直接赋值」的问题：该场景属于直接赋值，会触发可赋值性校验。Go的预声明类型int本身也是defined type，和自定义的type_x均为defined type，即使二者底层类型相同，也不满足可赋值性要求的「至少有一个不是defined type」的条件，因此直接赋值会编译失败，完全符合规范。

补充说明：可赋值性规则的该条限制，仅在两边都是defined type时才会触发。比如你定义type MyInt int时，执行var x MyInt = 123是合法的，因为常量123属于无类型整形，不是defined type，满足可赋值性要求。

内容的提问来源于stack exchange，提问作者Luka Krmpotić