Go语言中Concrete type与非Concrete type的区别及选型疑问

核心概念区分 #

• 具体类型（Concrete Type）：指可直接实例化的类型，比如struct、int、string、自定义type Dog struct{}等，这类类型有明确的内存布局和固定行为实现。
• 非具体类型（Non-Concrete Type）：指无法直接实例化的类型，Go中唯一的非具体类型就是接口（interface），它只定义行为规范，不包含具体实现，也没有固定内存布局。

问题1：Animal1接口的speak()方法无返回类型是否会使其成为非具体类型？ #

不会。所有接口类型本身就是非具体类型，和接口内方法是否有返回值、参数无关。你提供的Animal1和Animal2都是接口，因此都属于非具体类型——它们只能用来声明变量，不能直接通过new(Animal1)或Animal1{}创建实例，必须由实现了该接口方法的具体类型实例来赋值。

示例代码：

type Dog struct{}

func (d Dog) speak() {}

func main() {
    var a Animal1
    a = Dog{} // 合法，Dog实现了Animal1的方法
}

问题2：应如何决定何时使用具体类型或非具体类型？ #

可根据以下场景选择：

• 使用具体类型的场景：
  • 需要明确状态和固定行为逻辑时：比如定义业务实体（User、Order结构体），这类类型的属性和行为确定，无需替换实现。
  • 性能敏感场景：具体类型的方法调用是直接的，没有接口动态分派的开销。
• 使用非具体类型（接口）的场景：
  • 需要实现多态逻辑时：比如处理多种不同类型但具备相同行为的对象（Animal1可接收Dog、Cat等所有实现speak()的类型），统一处理这类对象的行为。
  • 需要解耦依赖时：编写工具函数或服务时，依赖接口而非具体类型，后续替换实现无需修改调用方代码。例如日志函数依赖Logger接口而非具体的FileLogger，后续可轻松换成ConsoleLogger。
  • 定义通用组件时：比如标准库的io.Reader、io.Writer，通过接口实现对不同输入输出源的统一处理。

内容的提问来源于stack exchange，提问作者O.BigVee