go 函数的类型检查验证函数调用与声明的类型是否匹配。类型声明定义函数的参数和返回值类型。类型检查器检查实际参数类型与声明的参数类型是否匹配，并产生不匹配时的编译错误。例如，sumarray 函数计算数组元素的总和，其类型检查验证数组类型为整型切片，元素类型为整数。

Go 函数的类型检查

在 Go 语言中，函数的类型是由其参数和返回值类型定义的。类型检查器会验证函数的调用是否与定义的类型匹配。

类型声明

立即学习“go语言免费学习笔记（深入）”；

函数类型可以在函数定义中声明。例如：

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

在这个例子中，Sum 函数接收两个整型参数并返回一个整型值。

类型检查

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

当函数被调用时，类型检查器会检查实际参数类型是否与声明的参数类型匹配。如果类型不匹配，则会产生编译错误。

func main() {
    var a float32 = 1.23
    var b float64 = 4.56
    
    _ = Sum(a, b) // 错误：类型不匹配
}

上面的代码将产生编译错误，因为 Sum 函数的第一个参数应该是一个整数，而 a 是一个浮点数。

实战案例

让我们通过一个实战案例来演示 Go 函数的类型检查：

问题：编写一个函数，计算给定数组中所有元素的总和。

解决方案：

func SumArray(numbers []int) int {
    sum := 0
    for _, num := range numbers {
        sum += num
    }
    return sum
}

func main() {
    numbers := []int{1, 2, 3, 4, 5}
    result := SumArray(numbers)
    fmt.Println(result) // 输出：15
}

在这个案例中，SumArray 函数接收一个整型数组并返回一个整型值。当调用 SumArray(numbers) 时，类型检查器会验证 numbers 变量的类型是否为切片，并且元素类型为整数。如果类型不匹配，编译器会产生错误。