Was sind Generika in Golang?

Generika sind in Golang ein Stil oder ein Paradigma der Programmiersprache, was bedeutet, Vorlagen zu schreiben, die sich an alle Typen anpassen, und bestimmte Variablentypen nur zu definieren, wenn sie speziell verwendet werden. Mit Generika können Programmierer Code in einer stark typisierten Programmiersprache schreiben und dabei Typen verwenden, die später angegeben und zum Zeitpunkt der Instanziierung als Parameter angegeben werden.

Die Betriebsumgebung dieses Tutorials: Windows 7-System, GO Version 1.18, Dell G3-Computer.

Go Version 1.18 fügt eine neue Funktion hinzu: Unterstützung für generische Programmierung.

Wenn Sie ein Entwickler sind, der von anderen Sprachen auf Go konvertiert, können Sie dann verstehen, was Generika sind und wie man sie verwendet?

Aber für diejenigen, die gerade erst mit der Go-Sprache beginnen und noch nicht mit allgemeiner Programmierung vertraut sind, kann diese Funktion verwirrend sein.

Dieser Artikel hofft, dass auch Menschen, die mit generischer Programmierung in Berührung kommen, die Generika von Go gut verstehen und verwenden können.

Eine allgemeine Richtlinie für die Go-Programmierung: Schreiben Sie Go-Programme, indem Sie Code schreiben, nicht durch Definieren von Typen.
Go-Programmierung. Allgemeine Richtlinie: Schreiben Sie Go Programme durch Schreiben von Code, nicht durch Definieren von Typen

Was sind Generika?

Generika bedeutet, Vorlagen zu schreiben, die sich an alle Typen anpassen, und bestimmte Variablentypen nur zu definieren, wenn sie gezielt verwendet werden.

Generika sind ein Stil oder Paradigma von Programmiersprachen. Mit Generika können Programmierer Code in einer stark typisierten Programmiersprache schreiben und dabei Typen verwenden, die später angegeben und zum Zeitpunkt der Instanziierung als Parameter angegeben werden.

Die formalen Parameter und tatsächlichen Parameter der Funktion

Die Parameter bei der Definition der Funktion sind formale Parameter (Parameter), und die Parameter, die bei der tatsächlichen Verwendung der Funktion übergeben werden, sind tatsächliche Parameter (Argument)

Angenommen, es gibt eine Additionsfunktion. Die beiden Parameter der Funktion sind beide vom Typ int und der Rückgabewert ist ebenfalls int. Die Definition lautet wie folgt: int 类型，返回值也是 int；定义如下：

func Test(a,b int) int {
    return a + b
}

如果传入的两个实参都是 int 类型，那么函数自然能够正常执行。但是这个函数只能用来做 int 类型的加法运算，假设还需要进行 float64

// T 是一个类型形参，在定义函数时类型是不确定的，这里的 any 是 go 泛型定义好的一组类型组合
func Test[T any](a,b T) T {
    return a + b
}
// 调用时传入类型实参，伪代码Test[int](1,2)
Test(1,2)

Wenn die beiden übergebenen tatsächlichen Parameter beide vom Typ int< /code> sind, kann die Funktion natürlich normal ausgeführt werden. Diese Funktion kann jedoch nur zum Ausführen von Additionsoperationen vom Typ <code>int verwendet werden. Unter der Annahme, dass auch Additionsoperationen vom Typ float64 erforderlich sind, müssen wir zwei oder drei weitere Funktionen schreiben Es ist nicht mühsam, Typadditionsberechnungen auszuschreiben, einfach kopieren und einfügen. Wenn jedoch alle berechenbaren Typen hinzugefügt werden müssen, ist der Code nicht präzise genug und sehr unfreundlich. Zu diesem Zeitpunkt werden wir darüber nachdenken, ob eine Funktion alle Berechnungstypen empfangen kann, also nur zwei oder drei Codezeilen Ich habe das Schreiben einer Berechnungsfunktion abgeschlossen. Diese Funktion kann durch einfaches Definieren einer Typkombination oder eines Platzhalters erreicht werden, ohne dass bei der Definition von Funktionsparametern ein Typparameter verwendet wird beim tatsächlichen Aufruf

Die anfängliche Berechnungsfunktion wird wie folgt in eine Typparameterfunktion umgewandelt:

// Add sums the values of T. It supports string, int, int64 and float64
//
// @Description A simple additive generic function
// @Description 一个简单的加法泛型函数
// @parameter	a, b	T string | int | int64 | float64	"generics parameter"
// @return		c		T string | int | int64 | float64	"generics return"
func Add[T string | int | int64 | float64](a, b T) T {
	return a + b
}

// 使用
Add(1, 2)
Add(1.0,2.0)

Durch Einführung der Konzepte

Typparameter

und

Typargument

Die Fähigkeit, einer Funktion die Verarbeitung mehrerer verschiedener Datentypen zu ermöglichen heißt

generische ProgrammierungWarum sind Generika?

Das vorherige Additionsbeispiel kann neben der Verwendung von Generika auch die dynamische Datentypverarbeitung über die Schnittstelle + Reflexion von Go implementieren. Die Funktionen, die Generika erreichen können, können grundsätzlich durch Schnittstelle + Reflexion erreicht werden. Wenn Sie jedoch Reflexion verwendet haben, werden Sie verstehen, dass der Reflexionsmechanismus viele Probleme mit sich bringt: Die Verwendung ist mühsam und erfordert starkes logisches Denken.

Verlust Kompilierzeit Typprüfung ist anfällig für Fehler

• Aber es kann nicht gesagt werden, dass Generika nicht in allen Szenarien ein Allheilmittel sind. Sie können über den Go-Generika-Designer lesen Artikel auf der offiziellen Blog-Website
wann man Generika verwendet?
• Um die Verwendungsszenarien von Generika in einem Satz zusammenzufassen: Wenn Sie Code mit genau derselben Logik für verschiedene Typen schreiben, ist die Verwendung von Generika am besten geeignet. Wählen Sie

Beispiel für Go-Generika 【Verwandte Empfehlungen:

Los Video-Tutorial

,

Programmierunterricht

】

Das obige ist der detaillierte Inhalt vonWas sind Generika in Golang?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!