Simultaneidad de interfaz/implementación en Golang Generics

Considere la tarea de crear una función genérica para llenar un segmento con valores inicializados. Si bien esto puede parecer sencillo, surgen desafíos al intentar utilizar porciones de interfaces y especificar tipos concretos dentro de la función.

En Go 1.18, restringir tanto X como Y como cualquier tipo dentro de la función genérica Fill conduce a una pérdida de cualquier relación entre la interfaz y sus implementadores. Esto evita la asignación de instancias de Y al segmento[i] dentro de la función.

Para superar esto, se puede usar una aserción explícita:

func Fill[X, Y any](slice []X) {
    for i := range slice {
        slice[i] = any(*new(Y)).(X)
    }
}

Sin embargo, este enfoque entra en pánico cuando Y no implementa X. Además, el uso de un tipo de puntero para Y resulta en la pérdida de información sobre el tipo base y un valor de línea base nulo.

Para Para abordar estos problemas, se recomienda utilizar una función constructora en lugar de un segundo parámetro de tipo:

func main() {
    xs := make([]sync.Locker, 10)
    Fill(xs, func() sync.Locker { return &sync.Mutex{} })
}

func Fill[X any](slice []X, f func() X) {
    for i := range slice {
        slice[i] = f()
    }
}

Este enfoque llena efectivamente el segmento con valores inicializados creados por la función constructora, proporcionando una solución más sólida y flexible al problema.