Go语言之嵌入类型详解

一、什么是嵌入类型

先看如下代码:

type user struct {
    name string
    email string
}

type admin struct {
    user // Embedded Type
    level string
}

可以看到admin结构中的一个成员是user,那么admin中就嵌入了user类型。

  • admin也叫做外部类型
  • user也叫做内部类型

二、外部类型和内部类型之间的关系和机制

func (u *user) notify() {
    fmt.Printf("Sending user email to %s<%s>\n",
        u.name,
        u.email)
}

如上代码,实现了一个方法notify(),接收者是 *user。

func main() {
    // Create an admin user.
    ad := admin{
        user: user{
            name: "john smith",
            email: "john@yahoo.com",
        },
        level: "super",
    }
    // We can access the inner type's method directly.
    ad.user.notify()
    // The inner type's method is promoted.
    ad.notify()
}

main函数中定义了一个变量ad,并且进行了赋值

运行:

Sending user email to john smith<john@yahoo.com>
Sending user email to john smith<john@yahoo.com>

①没有编译错误

②notify()可以被ad.user调用是可以理解的,但是ad.notify()也能执行是为什么。

这里涉及到了一个嵌入类型背后的机制,内部类型提升 (感觉有点像C#、Java里面的继承,user是父类,admin是子类,admin的实例对象直接调用了父类的notify方法。)

进一步研究:我们再定义一个接口、以及一个接受该接口的函数。

接口,只有一个方法notify

type notifier interface {
    notify()
}

函数,接受一个实现notifier接口的类型实例,内部就是调用notify方法

func sendNotification(n notifier) {
    n.notify()
}

main方法如下

func main() {
    // Create an admin user.
    ad := admin{
        user: user{
            name: "john smith",
            email: "john@yahoo.com",
        },
        level: "super",
    }

    var user = ad.user
    sendNotification(&user)

    sendNotification(&ad)
}

运行结果:

Sending user email to john smith<john@yahoo.com>
Sending user email to john smith<john@yahoo.com>

①可以看到这里传入 &user和&ad都是可以的,说明类型提升导致admin也是实现了notifier接口了。

②为什么穿&user和&ad,而不是直接传user和ad,这就涉及到了之前总结过的【方法集】的概念了。复习一下:

从上面两个表,可以知道由于方法的接收者是 *user ,所以说只有*user实现了该接口的方法,这就是为什么输入&user、&ad了

再进一步研究:我们在C#当中,如果使用了virtual作为修饰符在父类中写了一个方法,那么在子类中通过override可以重写这个方法,最终的结果就是调用的非父类的该方法,而是子类的,Go语言同样可以。

例如

// 通过admin 类型值的指针
// 调用的方法
func (a *admin) notify() {
   fmt.Printf("Sending admin email to %s<%s>\n",
       a.name,
       a.email)
}

在刚刚的代码中,追加一个*admin作为接受者的方法。

运行结果如下:

Sending user email to john smith<john@yahoo.com>
Sending admin email to john smith<john@yahoo.com>

可以发现此时这两此运行的结果就不一样了,第二次sendNotification(&ad)调用的notify方法就是admin这个类型的了。

这表明,如果外部类型实现了notify 方法,内部类型的实现就不会被提升。不过内部类型的值一直存在,因此还可以通过直接访问内部类型的值,来调用没有被提升的内部类型实现的方法。

三、总结

综上:嵌入类型为Go语言类型提供了一种很好的扩展能力,通过内部类型的提升,使得外部类型拥有了内部类型的方法,也可以通过外部类型实现同样的方法来替代内部类型的。总体来说很像C#语言中的继承。

到此这篇关于Go语言之嵌入类型的文章就介绍到这了。希望对大家的学习有所帮助,也希望大家多多支持我们。

(0)

相关推荐

  • go语言中的面向对象

    Go语言没有继承.构造函数和析构函数等概念,但是它是面向对象的. .net中类型系统分为值类型和引用类型,两种转换需要进行装箱和拆箱,都是继承自Object类型 Go语言大多数类型都是值类型,需要的话可以给任何类型增加功能 1.为类型添加方法 C++等语言的面向对象都相当于C语言的一个语法糖 下面看看Go语言如何实现面向对象的 可以看出,面向对象只是换了一种语法形式来表达.C++语言的面向对象之所以让有些人迷惑的 一大原因就在于其隐藏的this指针.而Java和C#其实都是遵循着C++语言的惯例

  • Go 错误处理实践总结示例

    目录 前言 Go 错误处理机制 Go 内置 errors Error 与 Exception Go 错误处理最佳实践 panic error 总结 前言 最近在对极客时间毛剑老师的 Go 进阶训练营进行重温和学习汇总,这是一门比较偏向于工程化以及原理层面的的课程,涵盖的知识点非常多,因此决定开一个系列来进行记录,也便于自己总结查阅. Go 错误处理机制 Go 内置 errors Go 语言中的 error 就是普通的一个接口,表示值 // http://golang.org/pkg/builti

  • Go语言中的变量和常量

    一.变量相关 1.变量声明 C# : int a; Go : var a int; 需要在前面加一个var关键字,后面定义类型 可以使用 var( a int; b string;)减少var 2.变量初始化 var a int = 10 // 正确的使用方式1 var a = 10 // 正确的使用方式2,编译器可以自动推导出v2的类型 a := 10 // 正确的使用方式3,编译器可以自动推导出v3的类型 在:=左侧的变量不应该是已经被声明过的 3.变量赋值 注意:Go语言的新特性 “Sim

  • Go语言中的方法、接口和嵌入类型详解

    概述 在 Go 语言中,如果一个结构体和一个嵌入字段同时实现了相同的接口会发生什么呢?我们猜一下,可能有两个问题: 1.编译器会因为我们同时有两个接口实现而报错吗? 2.如果编译器接受这样的定义,那么当接口调用时编译器要怎么确定该使用哪个实现? 在写了一些测试代码并认真深入的读了一下标准之后,我发现了一些有意思的东西,而且觉得很有必要分享出来,那么让我们先从 Go 语言中的方法开始说起. 方法 Go 语言中同时有函数和方法.一个方法就是一个包含了接受者的函数,接受者可以是命名类型或者结构体类型的

  • Go语言中的函数详解

    1.函数的声明定义 //func关键字 //getStudent函数名 //(id int, classId int) 参数列表 //(name string,age int) 返回值列表 func getStudent(id int, classId int)(name string,age int) { //函数体 if id==1&&classId==1{ name = "BigOrange" age = 26 } //返回值 return name, age /

  • Go语言之init函数

    init函数会在main函数执行之前进行执行.init用在设置包.初始化变量或者其他要在程序运行前优先完成的引导工作. 举例:在进行数据库注册驱动的时候. 这里有init函数 package postgres package postgres import ( "database/sql" "database/sql/driver" "errors" ) // PostgresDriver provides our implementation

  • Go语言指针用法详解

    结合这个例子分析一下 结果: 结合以往C语言的基础,画了一张图来解释为什么会有上面这些值的出现.先查看下Go中的这两个运算符是啥吧. ①对于所有带a的结果 var a int = 1 定义了一个变量a值为1,如下图所示: &a就是这个存放a变量值的地址 *&a 就是指向&a的一个指针,*&a = a = 1 ②所有带b结果 var b *int = &a 类似C语言的 int *b = &a 定一个指向整形变量的指针b,b指向了a的地址 所以: b = &a

  • Go语言流程控制语句

    1.条件语句 几个注意点和C#不一样的. if a < 5 { return 0 } else { return 1 } ① 条件语句不需要使用括号将条件包含起来 a<5 ,C#必须有() ②无论语句体内有几条语句,花括号{}都是必须存在的:C#如果只有一条语句可以省略{} ③左花括号{必须与if或者else处于同一行 C#的{}是换行的 ④在有返回值的函数中,不允许将“最终的”return语句包含在if...else...结构中, 否则会编译失败(这句话错误的 1.1版Go语言和之后的新版已

  • Go语言之嵌入类型详解

    一.什么是嵌入类型 先看如下代码: type user struct { name string email string } type admin struct { user // Embedded Type level string } 可以看到admin结构中的一个成员是user,那么admin中就嵌入了user类型. admin也叫做外部类型 user也叫做内部类型 二.外部类型和内部类型之间的关系和机制 func (u *user) notify() { fmt.Printf("Sen

  • C语言中自定义类型详解

    目录 结构大小 offsetof 结构体对齐规则 存在原因 总结 结构大小 我们先随便给出一个结构体,为了计算他的大小,我给出完整的打印方案: typedef struct num { char c; int n; char cc; }num; int main() { printf("%d\n", sizeof(num)); return 0; } 好了,按道理来说我计算一个结构体大小就看他的各个成员需要消耗多大的空间, num 结构体中三个成员分别是 char ,int ,char

  • Python动态语言与鸭子类型详解

    今天来说说编程语言中的动态类型语言与鸭子类型. 动态语言 维基百科对动态语言的定义: 动态编程语言是一类在运行时可以改变其结构的语言:例如新的函数.对象.甚至代码可以被引进,已有的函数可以被删除或是其他结构上的变化.动态语言目前非常具有活力如PHP.Ruby.Python 都属于动态语言,而C.C++.Java等语言则不属于动态语言. 这个解释很抽象,其实动态语言是相对静态语言而言的,静态语言的特点是在程序执行前,代码编译时从代码中就可以知道一切,比如变量的类型,方法的返回值类型: String

  • Python的语言类型(详解)

    Python 是强类型的动态脚本语言 . 强类型:不允许不同类型相加 动态:不使用显示数据类型声明,且确定一个变量的类型是在第一次给它赋值的时候 脚本语言:一般也是解释型语言,运行代码只需要一个解释器,不需要编译 强类型语言和弱类型语言 1.强类型语言:使之强制数据类型定义的语言.没有强制类型转化前,不允许两种不同类型的变量相互操作.强类型定义语言是类型安全的语言,如Java.C# 和 python,比如Java中"int i = 0.0;"是无法通过编译的: 2.弱类型语言:数据类型

  • 易语言的输入字类型详解

    在程序中书写输入字时,可以使用一个半角符号来引导该输入字,以指定其类型.各输入字的类型引导符号为: 首拼及全拼输入字: 分号(";") 如: ;qz(1.23) 或 ;quzheng(1.23) 双拼输入字: 冒号(":") 如: :quvg(1.23) 英文输入字: 单引号(" '") 如: 'int(1.23) 系统具有一个当前默认输入法状态,如果某输入字前没有加上类型引导符号,则默认是属于该输入法的输入字.系统安装完毕后,当前默认输入法为&

  • 基于JS脚本语言的基础语法详解

    JS脚本语言的基础语法:输出语法  alert("警告!");  confirm("确定吗?");   prompt("请输入密码");为弱类型语言: 开始时要嵌入JS代码:<script type="text/javascript"></script>: 关于写程序是需注意的基本语法: 1.所有的字符全都是英文半角的: 2.大部分情况下每条语句结束后要加分号: 3.每一块代码结束后加换行:4.程序前呼

  • Golang拾遗之实现一个不可复制类型详解

    目录 如何复制一个对象 为什么要禁止复制 运行时检测实现禁止复制 初步尝试 更好的实现 性能 优点和缺点 静态检测实现禁止复制 利用Locker接口不可复制实现静态检测 优点和缺点 更进一步 利用package和interface进行封装 优点和缺点 总结 如何复制一个对象 不考虑IDE提供的代码分析和go vet之类的静态分析工具,golang里几乎所有的类型都能被复制. // 基本标量类型和指针 var i int = 1 iCopy := i str := "string" st

  • Javascript类型系统之String字符串类型详解

    javascript没有表示单个字符的字符型,只有字符串String类型,字符型相当于仅包含一个字符的字符串 字符串String是javascript基本数据类型,同时javascript也支持String对象,它是一个原始值的包装对象.在需要时,javascript会自动在原始形式和对象形式之间转换.本文将介绍字符串String原始类型及String包装对象 定义 字符串String类型是由引号括起来的一组由16位Unicode字符组成的字符序列 字符串类型常被用于表示文本数据,此时字符串中的

  • C语言柔性数组实例详解

    本文实例分析了C语言柔性数组的概念及用法,对于进一步学习C程序设计有一定的借鉴价值.分享给大家供大家参考.具体如下: 一般来说,结构中最后一个元素允许是未知大小的数组,这个数组就是柔性数组.但结构中的柔性数组前面必须至少一个其他成员,柔性数组成员允许结构中包含一个大小可变的数组,sizeof返回的这种结构大小不包括柔性数组的内存.包含柔数组成员的结构用malloc函数进行内存的动态分配,且分配的内存应该大于结构的大小以适应柔性数组的预期大小.柔性数组到底如何使用? 不完整类型 C和C++对于不完

随机推荐