Haftungsausschluss: Ich habe jetzt nur einen Tag mit Go gespielt, daher besteht eine gute Chance, dass ich viel verpasst habe.

Weiß jemand, warum es in Go keine echte Unterstützung für Generika / Vorlagen / whatsInAName gibt? Es gibt also ein generisches mapProgramm, das jedoch vom Compiler bereitgestellt wird, während ein Go-Programmierer keine eigene Implementierung schreiben kann. Warum kann ich bei all dem Gerede darüber, Go so orthogonal wie möglich zu gestalten, einen generischen Typ verwenden, aber keinen neuen erstellen?

Besonders wenn es um funktionale Programmierung geht, gibt es Lambdas, sogar Schließungen, aber mit einem statischen Typsystem ohne Generika, wie schreibe ich generische Funktionen höherer Ordnung wie filter(predicate, list)? OK, verknüpfte Listen und dergleichen können unter interface{}Einbußen bei der Typensicherheit durchgeführt werden.

Da eine schnelle Suche in SO / Google keine Erkenntnisse ergab, sieht es so aus, als würden Generika, wenn überhaupt, nachträglich zu Go hinzugefügt. Ich vertraue darauf, dass Thompson es viel besser macht als die Java-Leute, aber warum sollten Generika draußen bleiben? Oder sind sie geplant und noch nicht umgesetzt?

Diese Antwort finden Sie hier: http://golang.org/doc/faq#generics

Warum hat Go keine generischen Typen?

Generika können irgendwann hinzugefügt werden. Wir empfinden keine Dringlichkeit für sie, obwohl wir verstehen, dass einige Programmierer dies tun.

Generika sind praktisch, kosten jedoch Komplexität im Typensystem und zur Laufzeit. Wir haben noch kein Design gefunden, das einen der Komplexität angemessenen Wert bietet, obwohl wir weiterhin darüber nachdenken. Die integrierten Karten und Slices von Go sowie die Möglichkeit, die leere Schnittstelle zum Erstellen von Containern (mit explizitem Unboxing) zu verwenden, bedeuten in vielen Fällen, dass Code geschrieben werden kann, der das tut, was Generika ermöglichen würden, wenn auch weniger reibungslos.

Dies bleibt ein offenes Thema.

Gehe 2

Unter https://blog.golang.org/go2draft finden Sie einen Entwurf für Generika .

Gehen Sie 1

Russ Cox, einer der Go-Veteranen, schrieb einen Blog-Beitrag mit dem Titel The Generic Dilemma , in dem er fragt

… Möchten Sie langsame Programmierer, langsame Compiler und aufgeblähte Binärdateien oder langsame Ausführungszeiten?

Langsame Programmierer sind das Ergebnis von keinen Generika. Langsame Compiler werden wie Generika durch C ++ verursacht. Langsame Ausführungszeiten ergeben sich aus dem von Java verwendeten Boxing-Unboxing-Ansatz.

Die vierte Möglichkeit, die im Blog nicht erwähnt wird, ist die C # -Route. Generieren des speziellen Codes wie in C ++, jedoch zur Laufzeit, wenn dies erforderlich ist. Ich mag es wirklich, aber Go ist ganz anders als C #, also ist dies wahrscheinlich überhaupt nicht anwendbar ...

Ich sollte erwähnen, dass die Verwendung der beliebten Java 1.4-ähnlichen Technik der generischen Programmierung in go , bei der Casts verwendet interface{}werden, neben dem Verlust der Sicherheit des Kompilierungszeittyps genau dieselben Probleme wie das Boxen-Entpacken aufweist (weil wir dies tun). Für kleine Typen (wie Ints) optimiert Go den interface{}Typ so, dass eine Liste von Ints, die in die Schnittstelle {} umgewandelt wurden, einen zusammenhängenden Speicherbereich belegt und nur doppelt so viel Speicherplatz benötigt wie normale Ints. Es gibt jedoch immer noch den Aufwand für Laufzeitprüfungen beim Casting von interface{}. Referenz .

Alle Projekte, die generische Unterstützung hinzufügen (es gibt mehrere davon und alle sind interessant), gehen einheitlich den C ++ - Weg der Generierung von Kompilierungszeitcode.

Obwohl Generika derzeit nicht integriert sind, gibt es mehrere externe Implementierungen von Generika für unterwegs, die Kommentare in Kombination mit kleinen Dienstprogrammen verwenden, die Code generieren.

Hier ist eine solche Implementierung: http://clipperhouse.github.io/gen/

Eigentlich laut diesem Beitrag:

Viele Leute sind (fälschlicherweise) zu dem Schluss gekommen, dass die Position des Go-Teams lautet: "Go wird niemals Generika haben." Im Gegenteil, wir verstehen die potenziellen Generika, die Go viel flexibler und leistungsfähiger machen und Go viel komplizierter machen. Wenn wir Generika hinzufügen möchten, möchten wir dies auf eine Weise tun, die so viel Flexibilität und Leistung bei möglichst geringer Komplexität bietet.

Parametrischer Polymorphismus (Generika) wird für Go 2 in Betracht gezogen .

Dieser Ansatz würde das Konzept eines Vertrags einführen, mit dem Einschränkungen für Typparameter ausgedrückt werden können:

contract Addable(a T) {
  a + a // Could be += also
}

Ein solcher Vertrag könnte dann folgendermaßen genutzt werden:

func Sum(type T Addable)(l []T) (total T) {
  for _, e := range l {
    total += e
  }
  return total
}

Dies ist ein Vorschlag in dieser Phase.

Ihre filter(predicate, list)Funktion könnte mit einem Typparameter wie dem folgenden implementiert werden:

func Filter(type T)(f func(T) bool, l []T) (result []T) {
  for _, e := range l {
    if f(e) {
      result = append(result, e)
    }
  }
  return result
}

In diesem Fall besteht keine Notwendigkeit zur Einschränkung T.