implementación idiomática de jerarquías estructurales complejas en Go

La falta de herencia y el soporte para la integración de la incrustación de la representación de jerarquías estructurales complejas no triviales. El uso del compilador GO de métodos vacíos en su implementación AST ha planteado preguntas sobre su eficacia.

entendiendo métodos vacíos

pero no esenciales, los métodos vacíos tienen dos propósitos clave:

type type:
1. que forcan los tipos de tipos de tipos de typing a los tipos de typing a los tipos de typles. interfaz, asegurando que los tipos incompatibles no se puedan asignarse entre sí.
documentación:
2. que documentan explícitamente la implementación de una interfaz por un tipo, haciendo que la relación sea clara.

[&] [&] [&] [&] [&]] Campos y métodos, creando una forma de herencia. Al integrar las estructuras apropiadas de una manera jerárquica, podemos reducir la necesidad de métodos vacíos.

Considere la siguiente jerarquía: Object --Inamovible ----Edificio ----Montaña --Móvil ----Auto ----- Bike

Object
--Immovable
----Building
----Mountain
--Movable
----Car
----Bike

Tipo de interfaz de objeto { objeto() } Escriba ObjectImpl struct {} Func (o *objectImpl) object () {}

Object
--Immovable
----Building
----Mountain
--Movable
----Car
----Bike

Interfaz inmovable { Objeto inamovible() } escriba inmovableImpl struct { ObjectImpl // Implementación de objetos integrados } Func (i *ImmovableImpl) Immovable () {}

Object
--Immovable
----Building
----Mountain
--Movable
----Car
----Bike

type Building struct { ImmovableImpl // Implementación inmunable integrada // campos adicionales específicos del edificio }

Object
--Immovable
----Building
----Mountain
--Movable
----Car
----Bike

escriba interfaz móvil { Objeto móvil() } escriba mOvableImpl struct { ObjectImpl // Implementación de objetos integrados } Func (m *MovableImpl) MOVABLE () {}

Object
--Immovable
----Building
----Mountain
--Movable
----Car
----Bike

escriba Car struct { MovableImpl // implementación móvil integrada // campos adicionales específicos de automóvil }

Object
--Immovable
----Building
----Mountain
--Movable
----Car
----Bike

// El edificio no se puede asignar a una variable de tipo móvil porque no implementa la interfaz móvil. var mudable Movable = edificio {} // Sin embargo, se puede asignar a una variable tipo objeto porque tanto el objeto de implementación inmovible y móvil. Var objeto objeto = edificio {}

Object
--Immovable
----Building
----Mountain
--Movable
----Car
----Bike

número reducido de métodos vacíos, lo que lleva a un código más limpio y más sencillo. tipos, simplificando la implementación.