面试题：Go编译中类型检查在整个编译流程的位置及重要性

Question

在Go编译流程里，类型检查处于哪个阶段？它对于保证Go程序的正确性起到了哪些关键作用？请举例说明类型检查可能会发现的错误类型。

Answer 1

类型检查所处阶段

在Go编译流程中，类型检查处于语义分析阶段。词法和语法分析完成后，编译器开始进行语义分析，其中类型检查是语义分析的重要部分，在此阶段编译器会基于语法树检查程序的语义是否正确，包括类型是否匹配等。

类型检查对保证Go程序正确性的关键作用

1. 确保类型匹配：保证不同操作数的类型与操作符要求的类型一致，防止因类型不匹配导致运行时错误。例如在算术运算中，确保参与运算的操作数类型符合要求。
2. 函数调用正确性：检查函数调用时传入的参数类型和数量是否与函数定义一致，以及函数返回值的使用是否正确。这有助于避免因错误的函数调用导致程序异常。
3. 接口实现检查：确保类型实现了其声称要实现的接口的所有方法，保证接口使用的一致性和可靠性。

类型检查可能发现的错误类型举例

1. 类型不匹配错误：

package main

func main() {
    var num int = 10
    var str string = "hello"
    result := num + str // 类型检查会发现此处错误，int和string不能直接相加
}

2. 函数参数不匹配错误：

package main

func add(a, b int) int {
    return a + b
}

func main() {
    var num1 int = 10
    var str string = "20"
    result := add(num1, str) // 类型检查会发现此处错误，add函数期望两个int类型参数
}

3. 接口实现缺失错误：

package main

type Printer interface {
    Print()
}

type MyStruct struct{}

func (m MyStruct) Println() { // 这里方法名错误，应该是Print
    println("Println method")
}

func main() {
    var p Printer = MyStruct{} // 类型检查会发现MyStruct未实现Printer接口的Print方法
}