本文永久链接 – https://tonybai.com/2022/12/19/argentina-wins-qatar-world-cup

都说球迷“迷信”，事实上呢，我就是一个“迷信”的阿根廷球迷。我发现：只要我看阿根廷队正式比赛的直播，阿根廷就会输球(或至少是个平局)，即便是面对沙特这样的世界杯弱旅也会输掉。

本届卡塔尔世界杯的阿根廷比赛，我忍不住看了对阵沙特这一场:(。

这“病”始于2014年巴西世界杯的那场决赛，在那场比赛中，阿根廷加时赛0:1德国，与大力神杯擦肩而过。

而站在电视前120分钟看完比赛的我十分失望，十分沮丧！打那之后，凡是阿根廷生死攸关的正式比赛，我基本都是不看直播的。就这样，阿根廷居然拿下了去年的美洲杯。

本届卡塔尔世界杯首战失利后，我也选择了不再直播收看阿根廷的后续比赛，就这样在进决赛前的5场比赛中，阿根廷居然全部过关，并且越踢越好！我无法解释这一切，为了支持阿根廷，今天这场决赛，我只能继续选择睡大觉！

这一觉不长，但睡得很香甜！凌晨3点左右，自然苏醒。是时候刷twitter看看决赛的比赛结果了！

打开twitter后，我就被右侧trending中的“Messi FC”和“GREATEST OF ALL TIME”刺目了！有了这两个词条，阿根廷赢下比赛基本没跑了！心中窃喜，但依旧平静。继续打开twitter上FIFA WorldCup直播主页，梅西高举大力神杯的本文封面图就映入眼帘！我知道这一切都不是梦！阿根廷在36年后，又在一个新的英雄的带领下赢得了世界杯，阿根廷蓝白队服上将再多出一颗金光闪闪的小星星。

这一夜，阿根廷不再哭泣！这一夜，阿根廷，不，是全世界，将拥有一位新的球王！他就是梅西！

自从1986年上一代球王马拉多纳几乎以一己之力带领阿根廷队夺得大力神杯后，阿根廷队的世界杯夺冠模式似乎就被加上了额外的要求：carry。但现代足球的发展越来越欧化，越来越讲究整体性，2010的西班牙、2014的德国、2018的法国，这些球队都是阵容搭配合理均匀，锋线中场后防没短板的队伍，他们的夺冠也不是哪个超级巨星一人carry的结果。由此可见，要带领阿根廷夺冠会有多难，会背负上多大的精神压力！

从本届卡塔尔世界杯的阿根廷阵容来看，只有少数像梅西这样的“大爷”级球员效力于欧洲豪门球队，并且打主力的就少之又少了。年轻一代中，像小蜘蛛阿尔瓦雷斯虽然效力曼城，但也不是主力！总体来说，阿根廷的球员配置在众多传统强队中属于二档。因此，阿根廷只能依赖梅西，也只能是梅西。

梅西能做到么？这也是世界杯开赛前全世界阿根廷球迷心中的共同问题！

第一场面对沙特，阿根廷在梅西先进一球的情况下，被沙特连扳两球，首战失利！赛后梅西对全世界阿根廷球迷说：请相信我们！

梅西说到做到！第二场与墨西哥的生死战，在煎熬了64分钟后，梅西站了出来，在禁区外接到迪玛利亚传球，稍做调整后左脚打出“贴地斩”，皮球蹿入死角，阿根廷1:0取得领先！相信此时此刻，无论是阿根廷球迷，还是场上的球员，身上的压力瞬间得以缓解！最终阿根廷2:0拿下墨西哥，从死亡线上活了过来！

第三场同样是生死战，只有胜才能确保出线，只有胜才能避开强大的法国队！梅西虽然罚丢了自己创造的点球，但愤怒的梅西还是带着阿根廷2:0击败波兰，顺利以小组头名晋级16强。

阿根廷淘汰赛的首个对手是澳洲袋鼠军团澳大利亚队，之前澳大利亚在小组赛中挤掉欧洲劲旅丹麦队挺进16强，实力不容小觑。并且梅西在之前的四届世界杯中还没有淘汰赛进球，这让阿迷心里都有些紧张！事实证明，这一切都是多余的，脸就是用来打的！比赛进入35分钟，阿根廷队通过小范围的配合让梅西有了机会，面对澳大利亚队4名防守队员的围追堵截，梅西冷静推射，成功射门，让阿根廷队取得领先。之后，阿尔瓦雷斯的进球几乎锁定胜局，虽然最后澳大利亚靠远射取得一个意外的进球，但依然无法改写被淘汰的命运！

第五场比赛，也是8进4的淘汰赛，阿根廷的对手是宿敌橙衣军团荷兰队。2014年阿根廷正是靠点球击败荷兰晋级世界杯决赛的，这次在8进4相遇，不免是一场火星撞地球的比赛。不过这场比赛阿根廷前70多分钟反倒是顺风顺水，第35分钟梅西送出本届世界杯最佳助攻之一，帮助右后卫莫利纳进球，阿根廷1比0领先。第73分钟，阿根廷获得点球，梅西主罚命中，阿根廷2比0领先。但就在大家以为90分钟结束战斗的时候，荷兰新换上场的大个子韦霍斯特连入两球，将阿根廷拖入加时，最终两队通过点球决胜负，大马丁站了出来，两扑点球帮助阿根廷有惊无险的晋级四强。

从第六场比赛开始，阿根廷对就进入了复仇之旅。先是半决赛对阵克罗地亚。在2018年世界杯，克罗地亚小组赛3:0赢下阿根廷，也直接导致阿根廷小组出现后就直面强大的法国队。本届世界杯，克罗地亚凭借着其超强的韧性通过点球淘汰了强大的巴西。阿迷们都以为这场比赛将打的十分胶着和艰苦，但实际过程却是阿根廷顺风顺水，第32分钟，阿根廷获得点球机会，面对克罗地亚的神级门将，梅西主罚点球打右上角命中，1:0领先。之后，阿尔瓦雷斯的跌跌撞撞的长途奔袭为阿根廷又入一球。本场比赛最精彩部分莫过于梅西第69分钟上演的个人盘带秀，沿右路边线处带球突入禁区，助攻阿尔瓦雷斯轻松推射破门，这一助攻也被称为本届世界杯的最佳助攻！

今晨的决赛对手正式上届世界杯淘汰阿根廷的法国队。此时此刻我还没有看比赛回放，但在常规时间和加时，梅老板两次帮助阿根廷取得领先，虽然姆巴佩的进球让两队进入点球大战，但阿根廷在梅老板的带领下还是笑到了最后，捧起了大力神杯！老板也荣膺决赛最佳和世界杯金球奖，梅西也成为了世界杯金球奖设立以来，首位两夺世界杯金球(2014/2022)的球员。

梅西做到了！像马拉多纳那样带着非顶级球员，拿下世界杯。七场比赛，5次比赛最佳！7粒进球！这不是carry还什么是carry! 还有人做了梅西与当年马拉多纳的评分对比：

我们看到，即便梅西没有上演单骑闯关的绝妙进球，梅西的评分总体上与马拉多纳不分伯仲，并且平均状态要更稳定。

从2021的美洲杯，到2022的世界杯，即便是阿根廷的骨灰级球迷也不敢想象啊，这绝对是上帝写的剧本，马拉多纳显灵！

这届世界杯给我最大的感觉就是老板真的更成熟，更沉稳，心态更平静了。即便是半决赛，老板依旧云淡风轻，闲庭信步。队友能做的，就让队友去做，而且鼓励队友多做。没有了2014年那种让人透不过气的承压感，也不再选择单干。心态良好的梅老板才是最可怕的。

本届世界杯赛前，国际的主流结论就是梅西就是第三代球王，即便阿根廷不捧杯也是如此。而今晨阿根廷圆梦世界杯更像是梅西这个第三代球王的正式加冕礼。

最后，我用半决赛战胜克罗地亚之后，阿根廷国家电视台的一名记者找到梅西说出的下面这段话作为结尾：

“我想告诉你，无论结果如何，有一些东西，是没有任何人能从你这拿走的，你和阿根廷之间真正形成了共鸣，这种共鸣会感动每一个阿根廷人。”

“没有任何一个孩子不想得到你的球衣，不管这球衣是真是假，还是自己做出来的，你在每个人的生活中都留下了自己的烙印，对我而言，这比赢得世界杯更加重要。”

“没有人能把这一切从你身上拿走，这是我个人对你表达的感谢，感谢你给太多人带来了幸福。”

是时候回看今晨的世界杯决赛了！

附ChatGPT写的一首赞美梅西的中文歌曲：

“梅西，你是我心中的足球之王，
在球场上，你是无人能比的巨星，
你的领舞脚步，那么轻盈，
你的盘带和射门，那么精准，
你是阿根廷的骄傲，
也是全世界球迷的偶像。
你的技术，令人惊叹，
你的激情，令人难忘，
梅西，我们为你歌唱，
感谢你给我们带来的快乐，
让我们一起为你喝彩，
阿根廷的足球之王，
永远伟大，永远不朽！”

Gopher Daily(Gopher每日新闻)归档仓库 – https://github.com/bigwhite/gopherdaily

我的联系方式：

• 微博(暂不可用)：https://weibo.com/bigwhite20xx
• 微博2：https://weibo.com/u/6484441286
• 博客：tonybai.com
• github: https://github.com/bigwhite

商务合作方式：撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。

本文永久链接 – https://tonybai.com/2022/12/18/go-type-system

Go是一门强类型的静态编程语言。使用Go编程，我们的每一行代码几乎都离不开类型。因此，深入学习Go，我们首先要对Go的类型系统(type system)有一个全面和深入的认知。Go类型系统可以给予我们一个全局整体的视角，以帮助我们更好地学习和理解Go语言中那些具体的与类型相关的内容。

一. 什么是类型系统

作为拥有一定Go编程经验的Gopher来说，大家对Go语言中的类型是有一定了解的，比如：Go内置了原生整型类型、浮点类型、复数类型、字符串类型、函数类型，提供了数组、切片、map、struct、channel等复合类型以及代表行为抽象的接口类型。通过Go提供的type关键字，我们还可以自定义类型等等。

那么大家是否想过这样的问题：为什么会有类型？类型可以带来哪些好处呢？回顾编程语言的发展史(见下图)，我们发现：类型是高级语言有别于机器语言与低级语言的一种重要的抽象。

从机器的视角来看，无论什么类型数据都是0101的二进制数据，但程序员直接用机器语言编码难度非常大且效率极其低下；汇编语言将层次提升到了面向多字节数据的编码，汇编指令的操作数都是固定长度字节的，比如：movb操作的是一个字节，movl操作的是四个字节。汇编指令并不关心真实存储的是什么数据，只是在各个地址之间搬移特定长度的数据。显然汇编的抽象层次依旧不高，直接用汇编写程序依然有很大难度以及较为低效。

高级语言之所以高级，就是因为它建立了类型这一重要抽象，类型抽象为开发者屏蔽了机器层面数据的复杂表示。类型下面的复杂的字节和bit操作由高级语言的编译器和运行时协助完成，开发人员只需面向类型进行编码即可，也就是说类型成为了开发者与编译器之间的“操作界面”。

面向类型编程，开发者就要了解类型的能力、其所代表的抽象的含义以及遵循类型的使用规则/约束。类型决定了你可以在该类型实例中存储的值的范围；类型决定了你可以对该类型进行的操作；类型决定了该类型的变量需要的存储空间；类型决定了与其他类型间建立连接的方法：组合、“继承”还是接口实现等。

那么类型的这些能力、规则与约束是谁赋予的呢？没错，正是编程语言的类型系统！

类型系统是高级语言的核心，它存在于语言规范中，向开发者明确了类型的能力、使用规则与约束；它存在于编译器中，保证开发者对类型的正确合规使用；它也存在于语言运行时里，为类型提供如多态这样的动态能力。

可以说，高级编程语言用类型系统赋能类型并管理类型。不过，不同语言的类型系统的设计与实现是有较大差别的，那么Go语言的类型系统又有哪些与众不同之处呢？我们接下来就来重点看看Go的类型系统。

二. Go的类型系统

下面我们从类型定义、类型推导、类型检查、类型连接等多个方面说明一下Go类型系统具备的能力与不足。

1. 类型定义

大家知道Go支持几乎所有类型，下面是Go spec中的类型分类的列表截图：

同时，Go还支持使用type关键字定义的自定义类型以及类型别名(type alias)：

type CustomType int // 底层类型为原生类型int的自定义类型CustomType

type S struct {
    a int
    b string
} // 基于struct的自定义类型S

type IntAlias = int // int的类型别名IntAlias

注：自定义类型与其底层类型(underlying type)是两个完全不同的类型，而类型别名并未引入新类型，与原类型等价。

不过有两种在其他语言中常见的类型，Go类型系统没有给予支持，一种是union联合类型，在这种类型中，其所有字段共享同一个内存空间：

// C代码

// 定义一个名为num的union类型
// 其三个成员m, ch, f共享同一个内存空间
// C编译器会以最大的字段的size为num类型变量分配内存空间
union num {
    int m;
    char ch;
    double f;
};
union num a, b, c; // 声明三个union类型变量

另外一种是enum枚举类型，不过enum枚举类型可一定程度上用const(可选加iota)来模拟：

// C语法
enum Weekday {
        SUNDAY,
        MONDAY,
        TUESDAY,
        WEDNESDAY,
        THURSDAY,
        FRIDAY,
        SATURDAY
};

// Go模拟实现Weekday
type Weekday int

const (
        Sunday Weekday = iota
        Monday
        Tuesday
        Wednesday
        Thursday
        Friday
        Saturday
)

Go从1.18版本开始支持泛型，这让Go类型系统具备定义带有类型参数(type parameters)的类型以及函数的能力。

2. 类型推导

Go类型系统支持自动类型推导能力，编译器可以推断出变量或函数的类型，而不需要我们明确指定：

var s = "hello" // s是string类型
a := 128        // a是int类型
f := 4.3567     // f是float64类型

除了支持普通类型推导，Go还支持泛型的自动类型实参推导，下面是一个来自go spec的例子：

func scale[Number ~int64|~float64|~complex128](v []Number, s Number) []Number

var vector []float64
scaledVector := scale(vector, 42)

例子中，通过scale调用时传入的实参类型，编译器可以自动推导出scale的类型参数Number的实参为float64。更多关于Go泛型的语法细节，可以参考《Go语言第一课》专栏的泛型篇。

3. 类型检查

Go是一门强类型静态编程语言，意味着每个变量在使用之前都必须声明其类型。有了类型后，我们就可以按照Go类型系统规定的针对这个类型有效操作对其进行操作。

Go编译器以及运行时会分别在编译期间和运行期间对变量类型作检查，目的是确保操作只用于正确的类型，并且类型系统的规则被程序所遵守，保证类型安全等。

Go是强类型语言，并且没有隐式类型转换，所有类型转换都要以明确意图的显式类型转换来实施，Go编译器会在编译期间对类型转换进行检查，只有底层类型兼容的两个类型才可以实施显式转型：

type T1 int
type T2 struct{}

var i int = 5
var t T1
var s T2
t = i     // 错误，不是同一类型
t = T1(i) // ok，底层类型兼容
s = T2(t) // 错误，底层类型不兼容

除了编译期间的静态检查之外，Go类型系统还支持运行时动态类型检查，比如：检查传给接口变量的类型实例是否实现了该接口；在运行时对数组、切片类型的下标边界进行检查，确保下标不越界，保证内存安全等。

不过Go也提供了绕过类型系统检查的手段，比如unsafe.Pointer以及反射等。

4. 类型连接

Go并非经典OO语言，它的类型虽然可以拥有自己的方法(method)，但Go却没有提供经典OO中的复杂的继承层次结构，没有父类，没有子类，更没有供类型初始化的构造函数。在Go的类型系统中，类型之间建立连接的方式只有组合，通过类型嵌入(type embedding)，我们可以实现各类组合，可以嵌入非接口类型，亦可以嵌入接口来定义新组合后的类型。

通过类型组合，我们可以将各种类型连接在一起，共同对外提供聚合后的行为，包括多态能力。Go中标准的多态能力由interface类型实现，方法在运行时被分派，这取决于传给接口类型变量的具体类型。比如下面例子中AnimalQuackInForest中的Quack会依据传入的具体类型实例而分派，先后分派给Duck.Quack、Dog.Quack和Bird.Quack：

type QuackableAnimal interface {
    Quack()
}

type Duck struct{}

func (Duck) Quack() {
    println("duck quack!")
}

type Dog struct{}

func (Dog) Quack() {
    println("dog quack!")
}

type Bird struct{}

func (Bird) Quack() {
    println("bird quack!")
}                         

func AnimalQuackInForest(a QuackableAnimal) {
    a.Quack()
}                         

func main() {
    animals := []QuackableAnimal{new(Duck), new(Dog), new(Bird)}
    for _, animal := range animals {
        AnimalQuackInForest(animal)
    }
}

注：类型与接口之间的实现关系是隐式的，类型无需使用类implements关键字显式告知要实现的interface类型。

Go中的函数是一等公民，函数类型也可展现出一定的运行时多态能力，函数类型实例的最终执行结果取决于运行时传入的函数对象值。

三. 小结

Go提供了强大而又有趣的类型系统，不过Go没有提供enum、union类型，也不支持运算符重载(operator overloading)、函数重载、结构化错误处理以及可选/默认函数参数等。这与Go的设计者做出的保持Go简单的决策不无关系。同时类型系统在保证Go这门的语言的安全性方面也是功不可没。

如果你认真对待Go编程，你应该投入时间，了解它的类型系统和它的特殊性，这将是非常值得你花时间的。

四. 参考资料

• Type Systems in Software Explained With Examples – https://thevaluable.dev/type-system-software-explained-example/
• The Go type system for newcomers – https://rakyll.org/typesystem/
• Deep Dive Into the Go Type System – https://code.tutsplus.com/tutorials/deep-dive-into-the-go-type-system–cms-29065
• Understanding Golang Type System – https://thenewstack.io/understanding-golang-type-system/
• A Closer Look at Golang From an Architect’s Perspective – https://thenewstack.io/a-closer-look-at-golang-from-an-architects-perspective/
• https://go101.org/article/type-system-overview.html
• https://baziotis.cs.illinois.edu/compilers/the-weird-type-system-of-golang.html
• https://blog.ankuranand.com/2018/11/29/a-closer-look-at-go-golang-type-system/
• 《Type Systems for Programming Languages》 – https://ropas.snu.ac.kr/~kwang/520/pierce_book.pdf
• 《Programming with Types》 – https://book.douban.com/subject/35325133/
• Type Systems in Programming Languages – https://www.tektutorialshub.com/programming/type-systems-in-programming-languages/
• 《Category Theory for Programmers》 – https://book.douban.com/subject/30357114/
• Type system(维基百科) – https://en.wikipedia.org/wiki/Type_system
• 类型系统的比较 – https://en.wikipedia.org/wiki/Comparison_of_type_systems

“Gopher部落”知识星球旨在打造一个精品Go学习和进阶社群！高品质首发Go技术文章，“三天”首发阅读权，每年两期Go语言发展现状分析，每天提前1小时阅读到新鲜的Gopher日报，网课、技术专栏、图书内容前瞻，六小时内必答保证等满足你关于Go语言生态的所有需求！2022年，Gopher部落全面改版，将持续分享Go语言与Go应用领域的知识、技巧与实践，并增加诸多互动形式。欢迎大家加入！

著名云主机服务厂商DigitalOcean发布最新的主机计划，入门级Droplet配置升级为：1 core CPU、1G内存、25G高速SSD，价格5$/月。有使用DigitalOcean需求的朋友，可以打开这个链接地址：https://m.do.co/c/bff6eed92687 开启你的DO主机之路。

Gopher Daily(Gopher每日新闻)归档仓库 – https://github.com/bigwhite/gopherdaily

我的联系方式：

• 微博(暂不可用)：https://weibo.com/bigwhite20xx
• 微博2：https://weibo.com/u/6484441286
• 博客：tonybai.com
• github: https://github.com/bigwhite

商务合作方式：撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。