golang标准中有关可赋值性的规定

Go 语言中的可赋值性规定了变量赋值的合法性。当值 x 可分配给类型 t 变量时，条件之一是 x 和 t 具有相同的基础类型，但其中至少一个不是已定义类型。已定义类型是通过类型定义创建的，它为给定类型创建一个新类型。因此，如果类型定义用于创建新类型，则即使基础类型相同，赋值也可能失败。

在阅读 go 规范的“可分配性”部分时，我尝试执行几个示例来更好地理解该主题，但现在我无法弄清楚我的代码中做错了什么。

根据规范， 当值 x 可分配给 t 类型的变量时，其中一种情况如下：

x 的类型 v 和 t 具有相同的基础类型，并且 v 或 t 中至少有一个不是定义的类型。

定义的类型规范指出

类型定义创建一个新的、不同的类型，其具有与给定类型相同的基础类型和操作，并将标识符绑定到它。

但是当我尝试运行以下代码时，构建失败：

func main() {
    type defined int32
    var d defined
    var i int32
    d = i
}

输出为：

cannot use i (type int32) as type defined in assignment

同时，使用复合文字的类似示例效果很好：

func main() {
    type MyMap map[string]int
    var x MyMap 
    var y map[string]int
    x = y
}

演示

解决方案

同样来自规范：

https://golang.org/ref/spec#Numeric_types

为了避免可移植性问题，所有数字类型都是已定义的类型，因此是不同的

由于 type Defined int32 定义了新类型，因此 d 和 i 不具有相同的类型；因此，第一个子句 x 的类型与 assignability spec 中的 T 相同，不适用。第二个子句“x 的类型 V 和 T 具有相同的基础类型，并且 V 或 T 中至少有一个不是定义类型” 不适用，因为 i 和 d 的类型都是定义类型。由于可分配性规范中的其余条款不适用于这种情况，因此分配失败。将 type Defined int32 更改为 type Defined = int32 （为类型别名）可修复错误。

x = y，因为可分配性规范中的 T 是接口类型并且 x 实现 T 子句适用。

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。