“给定类型 int 的非类型化常量索引”是什么意思？

哈喽！大家好，很高兴又见面了，我是golang学习网的一名作者，今天由我给大家带来一篇《“给定类型 int 的非类型化常量索引”是什么意思？》，本文主要会讲到等等知识点，希望大家一起学习进步，也欢迎大家关注、点赞、收藏、转发! 下面就一起来看看吧！

Go规范给出了索引表达式a[x]的规则：

如果 a 不是地图： 索引 x 必须是整数类型或无类型常量 常量索引必须是非负的并且可以用 int 类型的值表示 无类型常量索引的指定类型为 int 如果 0 <= x < len(a)，则索引 x 在范围内，否则超出范围

第三条规则（无类型常量索引的给定类型为 int ）到底是什么意思？有效的表达式 a[1.0] 是否与该规则相矛盾？

正确答案

运行时使用的每个值都必须有一个类型。如果您使用非类型化常量，它将被转换为类型化值，如下例所示：

fmt.printf("%t %v", 1, 1)

1 是一个无类型常量，但当传递给 fmt.printf() 时，必须将其转换为类型化值。在上面的示例中，将使用其默认类型，即 int，因此上面的示例打印 int 1。

• 非类型化常量索引的给定类型为 int

这意味着，如果您对非类型化索引（它没有类型）使用常量值，则当该常量转换为类型化值时，将使用 int。

例如：

s := []int{1, 2, 3}
fmt.println(s[1])

这里使用无类型常量 1 作为索引，因此它将被转换/用作 int。

反例：

fmt.println(s[int32(1)])

此处 s 使用键入值 int32(1) 进行索引。这是有效的，因为 int32 是整数类型。

该规则只是说，如果您使用无类型常量，那么它将被赋予 int 类型，而不是 int32 类型。

这在使用 integer literals 时可能看起来很明显，但在使用其他类型的文字（例如 rune literals）时则不然。

以下内容也有效：

fmt.Println(s['\x00'])

上面的示例使用符文文字 '\x00' 作为索引，它也是一个无类型常量，但它具有不同的默认类型。符文文字的默认类型为 rune，它是 int32 的别名。引用的索引规则指出，在这种情况下，索引的类型将为 int，而不是 int32。

事实并非如此。 1.0 和 1 是相同的数字（数学上），因此无类型常量 1.0 可以被赋予类型 int。

但是，如果您尝试指定 a[1.5]，则会收到错误消息，因为 1.5 不是整数。

playground

到这里，我们也就讲完了《“给定类型 int 的非类型化常量索引”是什么意思？》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！