• 不一样的go语言-不同的语法之type


    前言

      在go语言中,type用于类型定义(type definition)与类型别名(type alias)。这两者的差别从名字上已经可以初见端倪。

      类型定义即定义新类型,是一个全新的类型,但可能与被定义类型存在一些关系,如类型转换,方法继承等。类型定义在各语言中有不同的体现,如Java是用class, interface等关键字作类型定义,在python中也是使用class关键字。只不过go为了简洁的原则,可以省些关键字,因而与类型别名重用了type关键字。

      类型别名则是对被定义类型的别称,与其是相同的类型,只不过取了另外一个名字而已。类型别名是本文讨论的重点。这里有几个问题,一是为何go要引入类型别名,其有什么好处?为什么Java或者其他语言没有类型别名?

      在go语言中,type有5种作用,罗列如下。但在本文中,只讲述类型定义与类型别名。

    1. 定义接口
    2. 定义结构体
    3. 类型定义
    4. 类型别名
    5. 类型查询

    类型定义

    package main
      
    import "fmt"
    
    func main() {
        h := House{height: 1.0,  2.0}
        fmt.Println(h.Height())
        wh := WhiteHouse{height: 1.0,  2.0}
        fmt.Println(wh.Area())
        w := House(wh) //类型转换
        fmt.Println(w.Width())
        f1 := Factory{height: 1.0,  2.0}
        f2 := Factory2{name: "test"}
        fw := House(f1)
        fmt.Println(fw)
        fw2 := House(f2) //运行时这里会报类型转换错误
        fmt.Println(fw2)
    }
    
    type House struct {
        height float32
        width float32
    }
    
    func (h *House) Height() float32 {
        return h.height
    }
    
    func (h *House) Width() float32 {
        return h.width
    }
    
    type WhiteHouse House //类型定义
    
    func (h *WhiteHouse) Area() float32 {
        return h.height * h.width
    }
    
    type Factory struct {
        height float32
        width float32
    }
    
    type Factory2 struct {
        name string
    }
    

      WhiteHouse与House是两个不同的类型,方法Area只属于WhiteHouse。 WhiteHouse可以转换为House类型。但对于类型Factory与Factory2,House与WhiteHouse都只能与Factory进行类型转换(尽管这种类型转换在实践中基本不会出现),而与Factory2进行类型转换则会报错。个中原因在于struct类型的内存布局是按顺序存储的,因为只要类型拥有的属性一致,则进行类型转换不会报运行时错误。既然是顺序存储,那么适当合理地安排不同类型属性的出现顺序,可以达到优化内存使用的目的。比如将几个可以计算出占用内存和为8、16、32、64的属性放在一起,当然内存对齐的位数因不同平台和编译器而异。

    类型定义通常还用在定义函数类型上,示例如下:

    type Handler func(name string)
    
    func process(h Handler) {
        h("test")
    }
    

    类型别名

    在go语言中,类型别名的定义示例如下:

    package main
    
    import "fmt"
    
    func main() {
        h := House{height: 1.0,  2.0}
        fz := Fangzi{height: 1.0,  2.0}
        fmt.Println(h.Area()) //House也有了Area方法
        fmt.Println(fz.Area())
    }
    
    type House struct {
        height float32
        width float32
    }
    
    func (h *House) Height() float32 {
        return h.height
    }
    
    func (h *House) Width() float32 {
        return h.width
    }
    
    type Fangzi = House //类型别名
    
    func (f *Fangzi) Area() float32 {
        return f.height * f.width
    }
    
    

      在语法上,类型别名与类型定义的差别仅仅是一个=号。但从上述示例可知,对Fangzi的改变,同样会体现在House上。Fangzi添加了Area方法,同时House也获得了计算Area的能力。这一点与类型定义是明显不同的。

      从这里可以看出,类型别名的一个好处在于可以为不喜欢的类型取一个漂亮的名字。比如,如果你更喜欢Human多于Person的话。

    type Person struct {
        name string
        age int
        sex string
    }
    
    type Human = Person
    

      除此之外呢?对于库开发者来说,新旧版本包的迁移应是比较常见的事,特别是大版本升级的时候。那么为了保证新旧之间的兼容,可能就会用到类型别名的特性。比如旧包中的com.eventer/lib/AI,大版本升级时,需要变成com.eventer/lib2/AI。如果直接去掉lib/AI,则会造成使用这个库的项目,在引用新包时需要修改所有引用了旧包AI类型的代码。因而更好的作法是在移除com.eventer/lib/AI原有代码之后,加上一个类型别名的定义,即可完美解决这个问题。

    package com.eventer/lib
    
    import "com.eventer/lib2"
    
    type AI = lib2.AI
    

      还有吗?如果下面的示例也能被称作一种用途的话,那么这一种用法就是"导出未被导出的类型"

    type house struct {
        name string
        height float32
        width float32
    }
    
    func (h *house) getName() string {
        return h.name
    }
    
    func (h *house) GetArea() string {
        return h.height * h.width
    }
    
    type House = house
    

      但我认为这还是跟前文所述的类型别名的标准用法一般无异,实在看不出有什么不同,除了单词与原类型相同而已。否则根本没必要这样写代码,直接把house声明为House不是更直截了当?除非是用于取别名。

      如果go有泛型,那么类型别名在简化代码,提高代码可读性方面,无疑将带来极大的好处。特别是对于java语言那种泛型的复杂度让人抓狂的语言,只可惜java没有语言层面的类型定义语法。虽然可以通过一些取巧的方式也能达到类似的效果,比如继承。比如下面的例子:

    public class LongArrayList extends ArrayList<Long> {
        
    }
    

      上述代码定义一个Long类型的动态数组,相当于为泛型的ArrayList定义了一个新类型,在代码中可以直接使用。这是采用代码技巧突破在java中不能在顶级(top level)定义类型别名的限制,但 通过定义一个类来完成这件事情,是不是太重量级了。再比如:

    class Test<I extends Integer> {
        <L extends Long> void x(I i, L l) {
            System.out.println(i.intValue() + ", " + l.longValue());
        }
    }
    

      这是在类级别或方法级别定义类型别名。上述例子是通过给Integer、Long定义更短的名字——I和L。

      反正这两种都只是语法形式上的变通,通常没人这样用。

      而在C语言中,有同样的功能typedef关键字,比如:

    typedef struct Name1 {
        elemtype ElemName;
    } Name2, Name3;
    
    

    其中Name1为结构体名,同时它还有两个"外号":Name2,Name3,因为c没有对象的概念,所以很明显这里的typedef并没有go的type关键字的内容多,但他们底层的原理应是相同的,都是通过在在编译时期替换完成。

    请关注公众号

    不一样的go语言

  • 相关阅读:
    古罗马子串加密
    读《大道至简》有感(四)
    类与对象(作业)
    读《大道至简》有感(三)
    JAVA 加减乘除
    JAVA第三周作业
    【JAVA】数字相加
    读《大道至简》有感(二)
    1.8站立会议之个人
    1.7站立会议之个人
  • 原文地址:https://www.cnblogs.com/laud/p/go_type.html
Copyright © 2020-2023  润新知