Go 变量怎么声明和使用?

文章导读
上一个 测验 下一个 Go 中的变量 变量是为程序可以操作的存储区域所赋予的名称。Go 中的每个变量都有特定的类型,该类型决定了变量内存的大小和布局、可存储在该内存中的值范围,以及可应用于该变量的操作集。
📋 目录
  1. A Go 中的变量
  2. B 变量命名规则
  3. C 基本变量类型
  4. D Go 中的变量定义
  5. E Go 中的静态类型声明
  6. F Go 中的动态类型声明 / 类型推断
  7. G Go 中的混合变量声明
  8. H Go 中的 lvalue 和 rvalue
A A

Go - 变量



上一个
测验
下一个

Go 中的变量

变量是为程序可以操作的存储区域所赋予的名称。Go 中的每个变量都有特定的类型,该类型决定了变量内存的大小和布局、可存储在该内存中的值范围,以及可应用于该变量的操作集。

变量命名规则

以下是在 Go 语言中定义变量名的规则:

  • 变量名可以由字母、数字和下划线字符组成。
  • 必须以字母或下划线开头。
  • 因为 Go 是区分大小写的,大小写字母是不同的。

基本变量类型

基于前一章介绍的基本数据类型,以下是在 Go 中常用的基本变量类型:

序号 类型 & 描述
1

byte

通常是一个八位字节(one byte)。这是一个 byte 类型。

2

int

机器最自然的整数大小。

3

float32

单精度浮点值。

Go 编程语言还允许定义各种其他类型的变量,如 Enumeration、Pointer、Array、Structure 和 Union,我们将在后续章节中讨论。本章我们仅关注基本变量类型。

Go 中的变量定义

变量定义告诉编译器为变量创建存储的位置和大小。变量定义指定了一个数据类型,并包含一个或多个该类型变量的列表,如下所示 −

语法

var variable_list optional_data_type;

这里,optional_data_type 是有效的 Go 数据类型,包括 byte、int、float32、complex64、boolean 或任何用户定义的对象等,而 variable_list 可以由一个或多个用逗号分隔的标识符名称组成。

示例

以下是一些有效的声明 −

var  i, j, k int;
var  c, ch byte;
var  f, salary float32;
d =  42;

语句 var i, j, k; 声明并定义了变量 i、j 和 k;这指示编译器创建名为 i、j 和 k 的 int 类型变量。

变量可以在声明时初始化(赋初始值)。编译器会根据传递的值自动判断变量类型。初始化器由等号后跟一个常量表达式组成,如下所示 −

示例

variable_name = value;

示例

d = 3, f = 5;    // d 和 f 的声明。这里 d 和 f 是 int 

对于没有初始化的定义:具有静态存储持续时间的变量会隐式初始化为 nil(所有字节的值为 0);所有其他变量的初始值为其数据类型的零值。

Go 中的静态类型声明

静态类型变量声明向编译器保证存在一个给定类型和名称的变量,从而编译器可以继续进一步编译,而无需变量的完整细节。变量声明仅在编译时有意义,编译器在程序链接时需要实际的变量声明。

示例

尝试以下示例,其中变量已声明类型,并在 main 函数中初始化 −

package main

import "fmt"

func main() {
   var x float64
   x = 20.0
   fmt.Println(x)
   fmt.Printf("x is of type %T\n", x)
}

上述代码编译并执行后,会产生以下结果 −

20
x is of type float64

Go 中的动态类型声明 / 类型推断

动态类型变量声明要求编译器根据传递给它的值来推断变量的类型。编译器并不要求变量必须具有静态类型。

示例

尝试以下示例,其中变量未声明任何类型。请注意,在类型推断的情况下,我们使用 := 操作符初始化变量 y,而 x 使用 = 操作符初始化。

package main

import "fmt"

func main() {
   var x float64 = 20.0

   y := 42 
   fmt.Println(x)
   fmt.Println(y)
   fmt.Printf("x is of type %T\n", x)
   fmt.Printf("y is of type %T\n", y)	
}

上述代码编译并执行后,将产生以下结果 −

20
42
x is of type float64
y is of type int

Go 中的混合变量声明

可以使用类型推断一次性声明不同类型的变量。

示例

package main

import "fmt"

func main() {
   var a, b, c = 3, 4, "foo"  
	
   fmt.Println(a)
   fmt.Println(b)
   fmt.Println(c)
   fmt.Printf("a is of type %T\n", a)
   fmt.Printf("b is of type %T\n", b)
   fmt.Printf("c is of type %T\n", c)
}

上述代码编译并执行后,将产生以下结果 −

3
4
foo
a is of type int
b is of type int
c is of type string

Go 中的 lvalue 和 rvalue

Go 中有两种表达式 −

  • lvalue − 引用内存位置的表达式称为 "lvalue" 表达式。lvalue 可以出现在赋值的左侧或右侧。

  • rvalue − rvalue 指存储在内存中某个地址的数据值。rvalue 是一个不能被赋值的表达式,这意味着 rvalue 可以出现在赋值的右侧,但不能出现在左侧。

变量是 lvalue,因此可以出现在赋值的左侧。数字字面量是 rvalue,因此不能被赋值,也不能出现在左侧。

以下语句是有效的 −

x = 20.0

以下语句无效。它会产生编译时错误 −

10 = 20