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)

}

Execute ^[2]

上記のコードでは、名前、年齢、国という定数のセットを宣言しています。 、実行出力:

John
50
Canada

定数は、名前が示すように固定されており、宣言後に他の値を再割り当てすることはできません。次のコードでは、値 89 を定数 a に再度代入しようとしていますが、a は定数であり、コンパイラは 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
}

Execution^[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