码迷,mamicode.com
首页 > 其他好文 > 详细

golang 类型-----没有markdown真是闹腾@51cto

时间:2017-01-18 14:19:51      阅读:323      评论:0      收藏:0      [点我收藏+]

标签:关键字   常量   变量   命名   非命名   

1. 变量
2. 命名
3. 常量
4. 基本类型
5. 引用类型
6. 类型转换
7. 自定义类型

变量

Go语言有两种方式定义变量:

var 关键字
:= 短变量声明符
  • var关键字

var x int   //自动初始化为0
var y = false   //自动推断为bool类型

和C语言不同,类型被放在变量名之后,并且在运行时,为了避免出现不可预测行为,内存分配器会初始化变量为二进制零值。 如果显示初始化变量的值,可以省略变量类型,由编译器推断。

Go语言一次可以定义多个变量,并可以对其初始化成不同的类型,比如

var x,y int             //相同类型多个变量
var a, s = 10010, "hello go"    //不同类型多个变量

按照Go语言的编码规范,建议以组的方式整理多行变量定义,比如:

var (
    x,y int
    a,s = 10010, "hello go"
    )
  • 短变量声明符

在介绍词法的章节中已经看到过这种用法,比如:

    x := 10010
    a , s := 10010, "hello go"

这种方式很简单,但日常开发中新手经常犯下的一个错误,比如:

var x = 10010
func main(){    
    println(&x, x)
    ...
    x := "hello go" //对全局变量重新定义并初始化
    println(&x, x)
}

可想而知最终酿成的后果;为了正确使用这种简单的短变量声明方式,请遵循如下限制:

  1. 定义变量的同时,显示初始化
  2. 不能提供数据类型
  3. 只能在函数体内部使用
  4. 函数体内不能使用短变量重复声明
  5. 不能使用短变量声明这种方式来设置字段值
  6. 不能使用nil初始化一个未指定类型的变量

思考下面的代码片段,输出结果是什么?


func test(){
    x := 1
    fmt.Println(x)
    {   
        fmt.Println(x)
        x = 3 
        x := 2
        fmt.Println(x)
        x = 5
    }
    fmt.Println(x)
}

如何检查你的代码中是否存在这样的声明?

# go tool vet -shadow yourfile.go

Go编译器会将未使用的局部变量当作错误,比如:

func main() {
    x := 1
    var a int       //a declared and not used
    fmt.Println(x)
}

那么思考一下下面的代码,会不会报错?

func main() {
    x := 1
    const a = 10010   // ???
    fmt.Println(x)
}

所以要记住函数体中存在未使用的常量,不会引发编译器报错;

常量

常量表示运行时恒定不变的值,由const关键字声明,常量值必须是在编译期可确定的字符、字符串、数字或布尔值。 声明常量的同时可以指定其常量类型,或者由Go编译器通过初始化值推断,如果显示指定其常量类型,那么就必须保证常量左右值类型一致。 必要时要做类型转换。并且右值不能超出常量类型的取值范围,否则会造成溢出错误。比如:

const(
    x , y = 100, -10010
    b byte = byte(x)    //类型不一致需要做类型转换
    c uint8 = uint8(y) //溢出
    )

思考:修改一下上面的代码,只进行声明而没有对其初始化和指定类型,结果会怎样?

const(
    x = 100
    y
    s string = "hello go"                                                                                                                                                                                      
    c
)
fmt.Printf("%T , %v\n",y,y)
fmt.Printf("%T , %v\n",c,c)

结论证明: 在常量组中如果不指定常量的类型和初始化值,则与上一行非空常量的右值相同

常量值可以是Go编译器能计算出结果的表达式,如unsafe.Sizeof, len,cap,iota等。

枚举

Go语言没有明确上的定义枚举enum类型,不过可以通过iota关键字来实现一组递增常量的定义,比如:

const (
    _ = iota
    KB = 1 << (10 * iota)   // 1<<(10 * 1)
    MB                      // 1<<(10 * 2)
    GB                      // 1<<(10 * 3)
    )

多常量定义中也可以使用iota,它们各自单独计算,确保常量组中每行常量的列数量相等即可,比如:

const(
    a ,b = iota,iota *10    //0 , 0 * 10
    c ,d                    //1 , 1 * 10
    )

如果中断iota自增,需要显示恢复,且后续的常量值将按行序递增,比如:

const(
    a = iota
    b           //b = ???
    c = 100
    d           //d = ???
    e = iota    //c = ???
    f           //f = ???)

自增常量可以指定常量类型,甚至可以自定义类型,比如:

const(
    f float = iota //指定常量类型)type color byteconst(
    black color = iota  //自定义类型
    red
    blue
)
  • 常量VS变量

常量是“只读”属性
变量在运行期分配内存,而常量是在编译期间直接展开,作为指令数据使用
数字常量不会分配存储空间,不能像变量那样可以进行内存寻址

比如:

const x = 10 const y byte = x    // 相当于const y byte = 100const a int = 10    //显示指定常量类型,编译器做强类型检查const b byte = a  // cannot use a (type int) as type byte in const initializer

基本类型

技术分享


引用类型

特指slice,map和channel这三种预定义类型,他们具有比数字、数组等更复杂的存储结构; 引用类型的创建必须是用make函数来创建,因为除了分配内存之外,还有一系列属性需要初始化,比如指针, 长度,甚至包括哈希分布,数据队列等。 而内置函数new只是按照指定类型长度分配零值内存,返回指针。比如:

p := new(map[string]int) //new函数返回指针
m := *p
m["go"] = 1     //panic: assignment to entry in nil map(运行时)

自定义类型

使用关键字type可以定义用户自定义类型,包括基于基本数据类型创建,或者结构体和函数等类型,比如:

type flags byteconst (
    exec flags = 1 << iota
    write 
    read
)

与var、const类似,多个type定义也可以合并成组,比如:

type (
        user struct{
            name string
            age int
        }
        f func(user)
    )                       //自定义一组类型
    u := user{"Tom",20}    var say f = func(s user){
        fmt.Println(s.name, s.age)
    }
    say(u)

自定义类型与基础类型相比,它们具有相同的数据结构,但它们不存在任何关系,除操作符外,自定义类型不会继承基础类型的其它信息,它们属于完全不同的两种类型, 即它们之间不能做隐式转换,不能视为别名甚至不能用于比较表达式。比如:

    type(
        data int
    )    var d data = 10
    var x int = d       //cannot use d (type data) as type int in assignment
    println(x == d) //invalid operation: x == d (mismatched types int and data)

未命名类型

与有明确标志符的bool, int, string等类型相比,数组、切片、字典、通道等类型与具体元素类型或长度等属性有关,所以称作 未命名类型(unnamed type)。当然可以用type为其提供具体名称,将其改变为命名类型(named type)。

具有相同声明的未命名类型视作同一类型,比如:

1. 具有相同基类型的指针
2. 具有相同元素类型和长度的数组(array)
3. 具有相同元素类型的切片(slice)
4. 具有相同键值类型的字典(map)
5. 具有相同数据类型及操作方向的通道(channel)
6. 具有相同字段序列(字段名、字段类型、标签以及字段顺序)的结构体(struct)
7. 具有相同签名(参数类型,参数顺序和返回值列表,不包括参数名)的函数(func)
8. 具有相同方法集(方法名、方法签名、不包括顺序)的接口(interface)

结构体的tag经常被初忽视,它也属于结构体类型组成的一部分,而不仅仅是元数据描述。

类型转换

类型转换在日常开发中是不可避免的问题,Go语言属于强类型语言,除常量、别名以及未命名类型之外,其它不同类型之间的转换都需要显示类型转换;好处是我们至少能知道语句及表达式的确切含义,比如:

a := 10         //int
b := byte(a)    //byte
c := a + int(b) //确保类型一致性
d := b + byte(a)//确保类型一致性

如果类型转换的目标是指针、单向通道、没有返回值的函数类型,那么为了避免语法歧义带来的类型转换错误,必须使用括号,比如:


x := 100
p := *int(&x) //cannot convert &x (type *int) to type int
                //invalid indirect of int(&x) (type int)
pc := <-chan int(c) //invalid operation: pc <- 3 (send to non-chan type int)

正确做法如下:

p := (*int)(&x) //(*int)(&x)
(<-chan int)(c) //单向通道
(func()) (f)     //无返回值的函数
(func()int) (f) //有返回值的函数,但是也可以不用括号:func()int(f),但是为了影响程序可读性,建议加上括号

本文出自 “博学于文,约之于礼” 博客,转载请与作者联系!

golang 类型-----没有markdown真是闹腾@51cto

标签:关键字   常量   变量   命名   非命名   

原文地址:http://guanyu.blog.51cto.com/8372396/1892816

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!