Go 语言中结构体嵌入的真相：理解组合而非继承-Golang-PHP中文网

Go 语言中结构体嵌入的真相：理解组合而非继承

花韻仙語

发布： 2025-10-23 12:58:20

原创

292人浏览过

Go 语言中结构体嵌入的真相：理解组合而非继承

本文深入探讨go语言中结构体嵌入的机制，澄清了其与传统面向对象语言（如java）中继承概念的区别。go的结构体嵌入本质上是一种组合（composition）的语法糖，而非继承（inheritance），这解释了为何不能将包含嵌入结构体的类型直接赋值给嵌入结构体类型的指针，但可以通过实现接口来达到多态的目的。

Go语言中结构体嵌入的本质：组合而非继承

在Go语言中，结构体嵌入（Struct Embedding）是一种强大的机制，它允许一个结构体“包含”另一个结构体的字段和方法，而无需显式地命名该字段。然而，这种机制常常被初学者误解为传统面向对象语言（如Java或C++）中的“继承”。这种误解导致了诸如“无法将子结构体赋值给父结构体指针”等问题。

考虑以下Go代码示例：

package main

import "fmt"

type Polygon struct {
    sides int
    area int
}

type Rectangle struct {
    Polygon // 嵌入Polygon结构体
    foo int
}

type Shaper interface {
    getSides() int
}

func (r Rectangle) getSides() int {
    return 0
}

func main() {   
    var shape Shaper = new(Rectangle)  // 编译通过
    var poly *Polygon = new(Rectangle) // 编译失败
    fmt.Println(shape) // 仅为避免未使用变量错误
    // fmt.Println(poly) // 无法编译，此处注释
}

登录后复制

这段代码尝试将new(Rectangle)（类型为*Rectangle）赋值给*Polygon类型的变量poly时，Go编译器会报错：cannot use new(Rectangle) (type *Rectangle) as type *Polygon in assignment。然而，将new(Rectangle)赋值给Shaper接口类型的变量shape却能成功。这正是因为Go的结构体嵌入是组合，而非继承。

深入理解Go的组合机制

Go语言的设计哲学强调组合（Composition）优于继承（Inheritance）。结构体嵌入是实现组合的一种简洁方式。当一个结构体嵌入另一个结构体时，它并没有创建传统意义上的“is-a”关系（即“是一个”），而是创建了“has-a”关系（即“有一个”）。

为了更好地理解这一点，我们可以将其与Java中的概念进行对比：

Go的结构体嵌入（组合）更接近于Java中的显式组合：
```
class Polygon {
    int sides, area;
}

class Rectangle {
    Polygon p; // Rectangle "has a" Polygon
    int foo;
}
```
登录后复制
在Go的Rectangle结构体中嵌入Polygon，实际上等同于Rectangle内部有一个匿名字段，其类型是Polygon。Rectangle实例通过这种方式“拥有”Polygon的所有字段和方法，并可以直接访问它们（如rect.sides），这只是编译器提供的语法糖。
Go的结构体嵌入并非Java中的继承：
```
class Polygon {
    int sides, area;
}

class Rectangle extends Polygon { // Rectangle "is a" Polygon
    int foo;
}
```
登录后复制
在Java的继承体系中，Rectangle被视为Polygon的一种特殊类型，因此可以将Rectangle实例赋值给Polygon引用。Go语言中没有extends这样的关键字，也没有类和继承的概念。因此，*Rectangle和*Polygon是两种完全独立的类型，即使Rectangle嵌入了Polygon，它们之间也没有类型上的层级关系，不能直接相互赋值。

百度文心百中
百度大模型语义搜索体验中心

22

查看详情

Go接口的实现与类型多态

尽管Go不支持传统继承，但它通过接口（Interfaces）实现了强大的多态性。接口定义了一组方法签名，任何实现了这些方法的类型都被认为实现了该接口。

在上面的示例中：

type Shaper interface {
    getSides() int
}

func (r Rectangle) getSides() int {
    return 0
}

func main() {   
    var shape Shaper = new(Rectangle) // 编译通过，因为Rectangle实现了Shaper接口
    // ...
}

登录后复制

Rectangle类型定义了一个方法getSides()，其签名与Shaper接口中定义的方法完全匹配。因此，Rectangle隐式地实现了Shaper接口。这意味着任何Rectangle的实例（或其指针）都可以被赋值给Shaper类型的变量，因为它们满足了Shaper接口所要求的行为。这是Go实现多态的主要方式，它关注“能做什么”（行为）而不是“是什么”（类型层级）。

访问嵌入结构体的成员

由于结构体嵌入是组合，当我们需要访问嵌入结构体Polygon的字段时，可以通过两种方式：

直接访问： 如果嵌入的结构体是匿名的，可以直接通过外层结构体的实例访问其字段，如rect.sides。
通过嵌入字段名访问： 也可以显式地通过嵌入字段的类型名（如果未指定字段名，则类型名即为字段名）来访问，如rect.Polygon.sides。

package main

import "fmt"

type Polygon struct {
    sides int
    area int
}

type Rectangle struct {
    Polygon
    foo int
}

func main() {   
    rect := Rectangle{
        Polygon: Polygon{sides: 4, area: 10},
        foo:     1,
    }
    fmt.Println("Rectangle sides (direct access):", rect.sides)        // 输出 4
    fmt.Println("Rectangle sides (via embedded field):", rect.Polygon.sides) // 输出 4

    // 合法操作：获取 Rectangle 内部的 Polygon 字段的地址
    var p *Polygon = &rect.Polygon 
    fmt.Println("Extracted Polygon sides:", p.sides) // 输出 4
}

登录后复制

这段代码进一步证明了Polygon是Rectangle内部的一个独立成员，我们可以获取它的地址并将其赋值给*Polygon类型的变量。这与直接将*Rectangle赋值给*Polygon是完全不同的操作，因为前者是提取内部字段的引用，而后者是尝试进行不兼容的类型转换。