Comment les génériques Golang affectent-ils l'inférence de type de fonction ?

Go génériques modifient l'inférence de type de fonction en introduisant le paramétrage de type : Type de paramètre : []A, où A est le paramètre de type réel qui satisfait l'interface numérique et est matérialisé au moment de l'appel. Type de valeur de retour : identique au type de paramètre, déduit être A.

Comment les génériques Go affectent l'inférence de type de fonction

Les génériques dans le langage Go introduisent un nouveau mécanisme d'inférence de type qui affecte la façon dont l'inférence de type de fonction est effectuée. Comprendre ces changements est important pour utiliser correctement les génériques Go.

Inférence de type traditionnelle

Avant les génériques Go, l'inférence de type de fonction était basée sur les informations de type dans le contexte. Par exemple, la fonction suivante :

func SumNumbers(numbers []int) int {
  sum := 0
  for _, number := range numbers {
    sum += number
  }
  return sum
}

déduira que le type de paramètre de SumNumbers est []int et que le type de valeur de retour est int . En effet, la variable number dans l'instruction range est de type int, tandis que la variable sum est de type int. SumNumbers 的参数类型为 []int，返回值类型为 int。这是因为 range 语句中的 number 变量具有类型 int，而 sum 变量是类型的 int。

泛型中的类型推断

Go 泛型引入了一层额外的类型参数化，这改变了函数类型推断的方式。考虑以下泛型函数：

func Sum[T number](numbers []T) T {
  sum := zero[T]()
  for _, number := range numbers {
    sum += number
  }
  return sum
}

现在，Sum 函数具有一个类型参数 T，指示类型 T 应该是数字类型，也就是说，它必须实现 number 接口。在这种情况下，函数类型推断如下：

• 函数参数类型：[]A，其中 A 是满足 number 接口的实际类型参数（在调用时具体化）。
• 函数返回值类型：A，与函数参数类型相同。

实战案例

以下是使用 Sum 泛型函数的示例：

// 求和整型数组
sum := Sum([]int{1, 2, 3}) // 推断 T 为 int

// 求和浮点型数组
sumF := Sum([]float64{1.2, 2.3, 3.4}) // 推断 T 为 float64

正如你所看到的，Sum

🎜Inférence de type dans les génériques 🎜🎜🎜Go Generics introduit une couche supplémentaire de paramétrage de type, qui modifie la façon dont l'inférence de type de fonction est effectuée. Considérons la fonction générique suivante : 🎜rrreee🎜Maintenant, la fonction Sum a un paramètre de type T indiquant que le type T doit être un type numérique , c'est-à-dire qu'il doit implémenter l'interface number. Dans ce cas, le type de fonction est déduit comme suit : 🎜

• Type de paramètre de fonction : []A, où A satisfait à numéro code> code> Les paramètres de type réels de l'interface (réifiés au moment de l'appel).
• Type de valeur de retour de fonction : A, qui est le même que le type de paramètre de fonction.

🎜🎜Cas pratique🎜🎜🎜Voici un exemple d'utilisation de la fonction générique Somme : 🎜rrreee🎜Comme vous pouvez le constater, Somme Les fonctions génériques peuvent effectuer une inférence de type basée sur les paramètres de type réels lorsqu'elles sont appelées. 🎜

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!