Защо вграждането в езика Go не е наследяване?

Вграждането (embedding) в Go позволява на една структура да използва полета и методи на друга структура, като че ли са нейни собствени.

Ключови разлики от наследяването:

• Съставяне срещу йерархия: Вграждането е форма на съставяне ("има"), където една структура има друга. Наследяването (в класическия ООП) е форма на йерархия ("е"), където един клас е подклас на друг.
• Полиморфизъм: Go не поддържа полиморфизъм на подтипове в традиционния смисъл на наследяването. Полиморфизмът в Go се реализира чрез интерфейси.
• Достъп: Вграждането прави видимите полета и методи на вградена структура достъпни директно чрез външната структура, но не създава йерархия на типове.
• Липса на override: Няма механизъм за директно "презаписване" на методи от базовия клас. Може да дефинирате метод със същото име във външната структура, който "скрива" вградения метод.

Пример за вграждане:

package main

import "fmt"

type Engine struct {
	Cylinders int
}

func (e Engine) Start() {
	fmt.Println("Двигател стартиран с", e.Cylinders, "цилиндъра")
}

type Car struct {
	Engine // Вграждане на Engine
	Brand  string
}

func main() {
	myCar := Car{
		Engine: Engine{Cylinders: 4},
		Brand:  "Toyota",
	}
	myCar.Start() // Достъп до метода Start на Engine чрез Car
	fmt.Println("Марка на колата:", myCar.Brand)
	fmt.Println("Цилиндри на двигателя:", myCar.Cylinders) // Достъп до полето Cylinders на Engine чрез Car
}

В този пример, Car има Engine, но Car не е подклас на Engine. Просто получаваме удобен достъп до полетата и методите на Engine чрез структурата Car.