Go 语言基础-常量

什么是常量？

Go 语言里面使用常量表示固定不变的值，例如：

95
"I love Go"
67.89

声明常量

关键字 const 用来声明一个常量，一起来看下 Go 语言该如何声明常量：

package main

import (
    "fmt"
)

func main() {
    const a = 50
    fmt.Println(a)
}

执行^[1]

上面的代码声明了常量 a，并赋值为 50。

声明一组变量

Go 语言提供了在单个语句块中声明一组常量的语法，来看下示例：

package main

import (
    "fmt"
)

func main() {
    const (
        name = "John"
        age = 50
        country = "Canada"
    )
    fmt.Println(name)
    fmt.Println(age)
    fmt.Println(country)

}

执行^[2]

上面的代码，我们声明了一组常量：name、age 和 country，执行输出：

John
50
Canada

常量，顾名思义，是固定不变的，声明之后是不能再重新赋给其他值的。下面的代码中，我们尝试给常量 a 再次赋值为 89，这是不允许的，因为 a 是常量，编译会报错 cannot assign to a。

package main

func main() {
    const a = 55 //allowed
    a = 89 //reassignment not allowed
}

执行^[3]

常量的值必须在编译时就能够确定，因此，函数调用返回的值不能分配给常量，因为函数调用发生在运行时。

package main

import (
    "math"
)

func main() {
    var a = math.Sqrt(4)   //allowed
    const b = math.Sqrt(4) //not allowed
}

执行^[4]

上面的代码中，a 是一个变量，所以可以通过函数 math.Sqrt(4) 的返回值初始化。

b 是常量，它的值在编译时就需要确定，而函数 math.Sqrt(4) 的返回值在运行时确定，所以编译会报错：

./prog.go:9:8: const initializer math.Sqrt(4) is not a constant

字符串常量、类型确定常量和无类型常量

Go 语言里面，使用双引号括起来来的任何值表示字符串常量，例如："Hello World", "Sam" 等。

字符串常量属于什么类型呢？答案是类型不确定。

const hello = "Hello World"

上面的代码，没有为常量 hello 指定类型。

Go 是强类型语言，所有变量的类型都是明确的。

下面的代码，将无类型的常量 n 赋值给变量 name 的机制是怎样的呢？

package main

import (
    "fmt"
)

func main() {
    const n = "Sam"
    var name = n
    fmt.Printf("type %T value %v", name, name)

}

执行^[5]

未定义类型的常量被使用时，会根据上下文来获得相关类型。

例如上面代码的第 9 行，编译器会自动推断常量 n 的类型为 string。

那有没有创建指定类型的常量呢？

当然是有的，比如下面这样：

const typedhello string = "Hello World"

typedhello 是 string 类型的常量。

Go 是强类型语言，不同类型之间相互赋值时不允许的。我们看下这个例子：

package main

func main() {
        var defaultName = "Sam" //allowed
        type myString string
        var customName myString = "Sam" //allowed
        customName = defaultName //not allowed

}

执行^[6]

上面的代码，我们创建了变量 defaultName 并赋值为常量 Sam，因为 Sam 的默认类型为 string，所以变量 defaultName 的类型也是 string。

接着下一行代码，使用关键字 type 创建了新的类型 myString，底层类型是 string。

接着我们创建了 myString 类型的变量 customName，并将常量 Sam 赋值给它。因为 Sam 未指定类型，所以可以用它给任意字符串变量赋值。

现在变量 defaultName 的类型是 string，变量 customName 的类型是 myString，尽管两者的底层类型相同，但还是不允许相互赋值，所以最后一行代码会编译报错：

./prog.go:7:20: cannot use defaultName (type string) as type myString in assignment

布尔常量

布尔常量与字符串常量类似，不过布尔常量只有两个值：true 和 false。字符串常量的使用规则同样适用于布尔常量，就不在这重复说明，来看个例子：

package main

func main() {
    const trueConst = true
    type myBool bool
    var defaultBool = trueConst //allowed
    var customBool myBool = trueConst //allowed
    defaultBool = customBool //not allowed
}

执行^[7]

大家可以自行分析上面的代码。

数值常量

数值常量包括整型、浮点和复数，数值常量有一些特别的地方，一起看下：

package main

import (
    "fmt"
)

func main() {
    const a = 5
    var intVar int = a
    var int32Var int32 = a
    var float64Var float64 = a
    var complex64Var complex64 = a
    fmt.Println("intVar",intVar, "\nint32Var", int32Var, "\nfloat64Var", float64Var, "\ncomplex64Var",complex64Var)
}

执行^[8]

看上面的代码，a 是无类型的常量，值为 5。可能你很想知道 a 的类型到底是什么？为什么它能赋值给不同的类型的变量？

这取决于我们如何使用 a，下面这个例子可以帮助我们理解：

package main

import (
    "fmt"
)

func main() {
    var i = 5
    var f = 5.6
    var c = 5 + 6i
    fmt.Printf("i's type is %T, f's type is %T, c's type is %T", i, f, c)

}

执行^[9]

上面的代码，每个变量的类型取决于各自赋值的常量，5 是整型，5.6 是浮点数，5 + 6i 是复数，所以输出：

i's type is int, f's type is float64, c's type is complex128

理解了这点之后，我们再来看下之前的代码：

package main

import (
    "fmt"
)

func main() {
    const a = 5
    var intVar int = a
    var int32Var int32 = a
    var float64Var float64 = a
    var complex64Var complex64 = a
    fmt.Println("intVar",intVar, "\nint32Var", int32Var, "\nfloat64Var", float64Var, "\ncomplex64Var",complex64Var)
}

上面的代码中，常量 a 的值是 5，所以 a 表示的数值是比较通用的，它可以表示整型、浮点数甚至是不带虚数的复数，因此它可以分配给任何兼容的类型。常量的类型可以认为是根据上下文动态生成的。比如，var intVar int = a 场景中 a 是 int，var complex64Var complex64 = a 语句中 a 是 复数类型，等等。

数值表达式

可以在表达式中自由组合混用数值类型，并且只有在将它们分配给变量或需要确定类型的地方才需要类型。

package main

import (
    "fmt"
)

func main() {
    var a = 5.9 / 8
    fmt.Printf("a's type is %T and value is %v", a, a)
}

执行^[10]

上面的代码中，在语法上，5.9 表示 float、8 表示 int，尽管如此，5.9/8 依然是允许的，因为它们都是数值常量。相除的结果是 0.7375，float 类型，因此变量 a 的类型是浮点数。

程序输出：

a's type is float64 and value is 0.7375

以上是Go 语言基础-常量的详细内容。更多信息请关注PHP中文网其他相关文章！