本文深入探讨了 Go 语言中自定义字符串类型与内置 `string` 类型之间的差异，以及如何在函数调用中进行类型转换。通过具体示例，解释了 Go 语言严格的类型系统，并阐明了常量与变量在类型转换方面的不同行为，帮助开发者理解和避免类型相关的错误。
Go 语言是一种静态类型的编程语言，这意味着每个变量在编译时都必须具有明确的类型。这种严格的类型系统有助于在编译阶段捕获潜在的类型错误，从而提高代码的健壮性和可靠性。然而，有时这种严格性也会给开发者带来一些困惑，尤其是在处理自定义类型和内置类型之间的转换时。
考虑以下场景：我们定义了一个名为 StringType 的自定义类型，其底层类型是 string。现在，我们想编写一个函数，该函数接受两个 StringType 类型的参数，并在内部使用 strings.Contains 函数进行字符串匹配。
package main
import (
"fmt"
"strings"
)
type StringType string
const (
FirstString = "first"
SecondString = "second"
)
func main() {
fmt.Println(strings.Contains(FirstString, SecondString)) // line 16
myFunc(FirstString, SecondString) // line 32
}
func myFunc(a StringType, b StringType) bool {
return strings.Contains(a, b) // line 21
//return false
}在上述代码中，第 16 行 fmt.Println(strings.Contains(FirstString, SecondString)) 可以正常编译和运行，而第 21 行 return strings.Contains(a, b) 会导致编译错误。这是因为 strings.Contains 函数的参数类型是 string，而 a 和 b 的类型是 StringType。虽然 StringType 的底层类型是 string，但在 Go 语言中，它们被视为不同的类型。
那么，为什么第 16 行可以正常工作呢？这是因为 FirstString 和 SecondString 是未类型化的常量。Go 语言规范指出，未类型化的常量可以转换为任何与其兼容的类型。因此，在第 16 行，编译器会自动将 FirstString 和 SecondString 转换为 string 类型，从而使 strings.Contains 函数能够正常工作。
为了解决第 21 行的编译错误，我们需要显式地进行类型转换。可以使用 string(a) 和 string(b) 将 StringType 类型的变量转换为 string 类型：
func myFunc(a StringType, b StringType) bool {
return strings.Contains(string(a), string(b))
//return false
}此外，如果想在 main 函数中调用 myFunc 函数，也需要进行类型转换：
func main() {
fmt.Println(strings.Contains(FirstString, SecondString)) // line 16
myFunc(StringType(FirstString), StringType(SecondString)) // line 32
}总结：
- Go 语言是一种静态类型的编程语言，具有严格的类型系统。
- 自定义类型和内置类型即使底层类型相同，也被视为不同的类型。
- 未类型化的常量可以自动转换为与其兼容的类型。
- 在函数调用中，如果参数类型不匹配，需要显式地进行类型转换。
理解 Go 语言的类型系统对于编写健壮和可靠的代码至关重要。通过显式地进行类型转换，我们可以避免潜在的类型错误，并确保代码的正确性。
