常量
有 布林常量, 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中之一，取决于它是否是一个boolean、rune、integer、floating-point、complex或string 常量。
实现的限制：尽管数值常量具有任意精度，但是编译器的内部表示可能只具有有限精度。即每个实现必须：
- 用至少256位来表示整型常量。
- 用至少256位的尾数以及至少16位的有符号二进制指数来表示浮点常量及复数常量。
- 如果不能精确表示一个整型常量时应该给出一个错误。
- 如果因为溢出而不能表示一个浮点或复数常量时应该给出一个错误
- 当因为精度限制而不能表示一个浮点或复数常量时，应该舍入到最近似的可表达的常量。
以上要求对字面常量和通过求值常量表达式得到的结果都适用。
变量
变量是一个持有值的存储空间位置。其合法值集由变量的类型决定。
变量声明（对于函数参数及返回值来说，是函数声明或函数字面的签名），为已命名的变量保留了存储空间。调用内建函数new或取一个组合字面的地址，会在运行时给变量分配存储空间。这样的匿名变量是通过 (可能是隐含的)指针间接引用的。
结构化变量array、slice、以及struct 类型具有可以独立寻址的元素和字段。每个这样的元素都可以当成是一个变量。
变量的静态类型 (或 立即类型)是在声明中给出的类型、或是调用new或组合字面时提供的类型、或是结构化变量中元素的类型。接口类型的变量还有单独的动态类型，即运行时赋给变量的值的类型(除非这个值 是预定义标识符nil，它没有类型)。在执行时动态类型是可以变化的，但是存储在接口变量中的值总是可以被赋给变量的静态类型。
var x interface{} // x is nil and has static type interface{} var v
*T // v has value nil, static type *T x = 42 // x has value 42 and dynamic type int x = v // x has value
(*T)(nil) and dynamic type *T
变量的值 是通过引用表达式中的变量来取得的；它是最近一次赋给变量的值，如果一个变量没有被赋值过，它的值就是其类型所规定的零值。