概述
Go语言规范-常量/变量
- 常量
- 常量值的表示形式
- 常量的类型
- 常量的精度
- 变量
常量
常量有以下几种:
- 布林常量
- Rune 常量
- 整数常量
- 浮点数常量
- 复数常量
- 字符串常量
其中Rune、整数、浮点数以及复数常量统称 数值常量.
常量值的表示形式
常量值的表示可以是:
- rune、整数、浮点数、虚数或字符串字面
- 一个标记常量的标识符
- 一个常量表达式
- 一个结果是常量的类型转换
- 某些内建函数的结果值(如:可用于任何值的unsafe.Sizeof、可用于某些表达式的cap或len、可用于复数常量的real以及imag、以及可用于数值常量的complex)
布林的真实值由预定义常量 true 和false表示。
预定义的标识符iota标记了整型常量。
通常来说复数常量是以一个常量表达式 的形式存在的
由于数值常量表示任意精度的、确定的值,并且不会溢出,因此没有常量来标记IEEE-754 负零、无穷和非数值值。
常量的类型
常量可以是有类型或无类型的。字面常量、true、false、iota以及特定的只具有无数型常量操作数的常量表达式是无类型的。
一个常量可以通过 常量声明 或 类型转化 被显示地赋与类型,也可以在赋值或作为表达式的操作数时被隐式地赋与类型。如果常量值不能被表示成特定类型,是一个错误。
一个无类型的常量会根据上下文所需隐式转换,从而具有 默认类型。例如:在短变量声明i:=0中没有显式的类型。无类型常量的默认类型可以是bool、 rune、 int、float64、complex128或string中之一,取决于它是否是一个布林、rune、整数、浮点数、复数或字符串常量。
常量的精度
尽管在语言中规定了数值常量具有任意精度,但是编译器的内部表示可能只具有有限精度。即每个实现必须:
- 用至少256位来表示整型常量。
- 用至少256位的尾数以及至少16位的有符号二进制指数来表示浮点常量及复数常量。
- 如果不能精确表示一个整型常量时应该给出一个错误。
- 如果因为溢出而不能表示一个浮点或复数常量时应该给出一个错误
- 当因为精度限制而不能表示一个浮点或复数常量时,应该舍入到最近似的可表达的常量。
以上要求对字面常量和通过求值常量表达式得到的结果都适用。
变量
变量是一个持有 值 的存储空间位置。其合法值集由变量的 类型 决定。
变量声明(对于函数参数及返回值来说,是函数声明或函数字面的签名),为已命名的变量保留了存储空间。调用内建函数new或取一个组合字面的地址,会在运行时给变量分配存储空间。这样的匿名变量是通过 (可能是隐含的)指针间接引用的。
结构化变量array、slice、以及struct 类型具有可以独立寻址的元素和字段。每个这样的元素都可以当成是一个变量。
变量的静态类型 (或 立即类型)是在声明中给出的类型、或是调用new或组合字面时提供的类型、或是结构化变量中元素的类型。接口类型的变量还有单独的动态类型,即运行时赋给变量的值的类型(除非这个值 是预定义标识符nil,它没有类型)。在执行时动态类型是可以变化的,但是存储在接口变量中的值总是可以被赋给变量的静态类型。
var x interface{} // x 是 nil 并且具有静态类型 interface{}
var v* T // v 值为 nil,并且具有静态类型 *T
x = 42 // x 值为 42,并且具有动态类型 int
x = v // x 值为 (*T)(nil),并且具有动态类型 *T
变量的值 是通过引用表达式中的变量来取得的;它是最近一次赋给变量的值,如果一个变量没有被赋值过,它的值就是其类型所规定的零值。
最后
以上就是贤惠溪流为你收集整理的Go语言规范-常量/变量常量变量的全部内容,希望文章能够帮你解决Go语言规范-常量/变量常量变量所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错,欢迎将靠谱客网站推荐给程序员好友。
发表评论 取消回复