Go Bootcamp - Generics - Instantiation

Generics

Instantiation

Dada uma função genérica, podemos executá-la de duas formas. A primeira é somente passando os argumentos, e deixando o compilador identificar o type parameter correspondente.

A segunda forma é chamada instantiation, e acontece quando, ao chamar uma função genérica, você provê o type parameter esperado para aquela execução, e o compilador garante que os parâmetros passados o satisfaçam.


// Type parameter implícito
MinhaFunc(1, 2)

// Instantiation
MinhaFunc[string]("1", "2")

Para mais informações sobre Instantiation, veja um artigo clicando aqui

instantiation.go

package main

import "golang.org/x/exp/constraints"

func GetMin[T constraints.Ordered](x, y T) T {
    if x < y {
        return x
    }
    return y
}

func main() {
    fmt.Println(GetMin[int](1, 2))
    fmt.Println(GetMin[float32](1.5, 2.32))
    // fmt.Println(GetMin[int](1.5, 2.32)) // error
}

​x
 
package main
​
import "golang.org/x/exp/constraints"
​
func GetMin[T constraints.Ordered](x, y T) T {
    if x < y {
        return x
    }
    return y
}
​
func main() {
    fmt.Println(GetMin[int](1, 2))
    fmt.Println(GetMin[float32](1.5, 2.32))
    // fmt.Println(GetMin[int](1.5, 2.32)) // error
}
                    

Run Format