Kovarianz, Kontravarianz und Invarianz beschreiben, wie sich die vorhandene Typvererbungshierarchie ändert, wenn sie einer Transformation unterzogen wird (z. B. Verwendung in Generika). Wenn die Transformation die Reihenfolge der ursprünglichen Hierarchie beibehält, ist sie "kovariant". Wenn es es umkehrt, ist es "kontravariant". Wenn es bricht, ist es "invariant".
Der folgende Code in Julia:
%Vor%
gibt den folgenden Fehler:
%Vor%
Obwohl der folgende Code wie erwartet ausgeführt wird:
%Vor%
Außerdem entspricht AbstractString im Allgemeinen String wie in:
%Vor%
Wie kann ich eine Funkti...
30.01.2014, 19:32