全局范围内无限循环：Golang为什么允许，而函数内循环不允许？

小伙伴们对Golang编程感兴趣吗？是否正在学习相关知识点？如果是，那么本文《全局范围内无限循环：Golang为什么允许，而函数内循环不允许？》，就很适合你，本篇文章讲解的知识点主要包括。在之后的文章中也会多多分享相关知识点，希望对大家的知识积累有所帮助！

当我使用 gormigrate 编写数据库迁移时，我需要在函数作用域中定义两个结构之间的多对多关系。但在 golang 1.19 或 1.18 中，以下内容将无法编译

package main

import "fmt"

func main() {
    type student struct {
        courses []*course
        // [error] ./prog.go:7:14: undefined: course
    }
    type course struct {
        students []*student
    }
    fmt.printf("this won't compile")
}

但是将定义移到函数之外就可以了

package main

import "fmt"

type Student struct {
    Courses []*Course
}
type Course struct {
    Students []*Student
}

func main() {
    fmt.Printf("This works")
}

可以自己尝试一下 https://go.dev/play/p/gi53hhlutbk

为什么会出现这样的情况呢？我怎样才能让它在函数范围内工作？

c++中是否有类似typedef的语法，所以我们可以先声明一个结构体，然后再定义它？

谢谢！

正确答案

循环类型引用可以在包 block 中进行，但不能在函数内部进行。规范中关于 Declarations and Scopes 的部分说：

1. 表示在顶层（任何函数外部）声明的常量、类型、变量或函数（但不是方法）的标识符的范围是包块。

⋮

1. 函数内部声明的类型标识符的范围从 TypeSpec 中的标识符开始，到最内层包含块的末尾结束。

循环引用在包级别工作，因为在包级别声明的类型的作用域为整个包块。

函数中声明的类型的范围从声明开始，而不是从包含块的开头开始。类型不能引用稍后在函数中声明的类型，因为这些类型不在作用域内。 因此，函数中声明的类型不允许循环类型引用。

没有一种方法可以先声明类型的名称，然后再定义该类型。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《全局范围内无限循环：Golang为什么允许，而函数内循环不允许？》文章吧，也可关注golang学习网公众号了解相关技术文章。