Definition und Implementierung von statischem Polymorphismus [closed]

Ich habe einige Fragen zum Konzept von statischer Polymorphismus Ich höre manchmal davon; Sie können sie hauptsächlich im Kontext von C ++ interpretieren, aber ich würde mich über sprachunabhängige Antworten freuen, sofern zutreffend (daher sowohl C++ als auch sprachunabhängig markieren).

1. Wie machen wir definieren statischer Polymorphismus im Allgemeinen? Als Beispiel glaube ich, dass die std::sort Die Funktion von C++ sollte als statisch polymorph angesehen werden, da sie von einer Schnittstelle abhängt, die von einigen Objekten bereitgestellt wird verhalten sich wie Iteratorenund das genaues Verhalten unter der Schnittstelle bereitgestellter Iteratoren kann in der Kompilierzeit bestimmt werden. Ist diese Erklärung, wie wir statischen Polymorphismus definieren, oder ist es nur eine Beschreibung eines bestimmten Falls und es steckt mehr dahinter?

2. Was sind die gängigen Codemuster? der Verwendung von statischem Polymorphismus in C++? Außerdem: Ist SP nur erreicht über Vorlagen in C++?

3. Ist es wahr dass ein bestimmtes UML-Klassendiagramm nicht direkt beschreiben, wie Polymorphismus gehandhabt wird und somit zumindest teilweise entweder statisch oder dynamisch implementiert werden kann? Mit anderen Worten: Ist die Wahl zwischen statischem und dynamischem Polymorphismus unabhängig vom OOP-Modell und somit Sache des Implementierers?

4. Ist statischer Polymorphismus nur C++-spezifisch und im Zusammenhang mit der Funktionsweise von Vorlagen? Wenn nicht, ist es in einem anderen vorhanden Mainstream-Sprachen außer C++? Können wir ein Äquivalent zum statischen Polymorphismus in Java, C# … irgendetwas haben, und wird es irgendwelche Vorteile bringen?

5. Das wichtigste… Was sind die tatsächlichen Vorteile der Verwendung von statischem Polymorphismus? Ich denke, wir können uns darauf einigen, dass es die Flexibilität des Codes verringert; Was sind die Vorteile, außer – im Fall von C++ – das Einsparen einer Zeigerdereferenzierung (virtuelle Funktion / Zeiger auf Funktion / Delegatkosten)? Was ist der Klasse von Problemen wo statischer Polymorphismus besonders nützlich ist, die richtige Wahl für die Implementierung?

1. Statisches polymorphes Verhalten ist Typ Polymorphismus Dies geschieht zur Kompilierzeit und nicht zur Laufzeit.
2. Jawohl.
3. Bei UML geht es darum, wie Klassen zur Laufzeit interagieren – ich glaube nicht, dass es ein UML-Format zur Beschreibung von Vorlagen gibt, aber ich könnte mich irren.
4. Soweit mir bekannt ist, ist es C++ spezifisch, aber ich bin nicht sicher, da ich nicht jede Sprache verwendet habe, die jemals erfunden wurde. 🙂 Allerdings sind JIT-Sprachen wie C# und Java oft sehr gut darin, die Auswirkungen indirekter Aufrufe auf die Leistung zu beseitigen, in einigen Fällen mithilfe von Informationen, die zur Laufzeit und nicht zur Kompilierzeit gesammelt werden. Ob dies zur Kompilierzeit ist oder nicht, ist jedoch in der Luft … schließlich heißt es Just-In-Time Compiler.
5. Der Hauptvorteil ist einfach die Leistung. Laufzeitpolymorphismus kann alles tun, was statischer Polymorphismus tun kann (tatsächlich kann er mehr), aber er trägt die Kosten indirekter Aufrufe (die teuer sein können, wenn es genug davon gibt).

Nun, Vorlagen selbst haben viele Verwendungen, die über das Erreichen von Polymorphismus zur Kompilierzeit hinausgehen – zum Beispiel die SFINAE-Magie, die macht boost::bind Arbeit ist sicherlich nicht polymorph – sie ist lediglich dazu da, Inkonsistenzen in der Sprache selbst auszugleichen.

Wie definieren wir statischen Polymorphismus im Allgemeinen?

Am besten versteht man es anhand von Beispielen. Richtlinienbasiertes Design ist ein Beispiel für statischen Polymorphismus. Und meiner Meinung nach ist es eine sehr leistungsfähige Technik, um einen statischen Polymorphismus zu erreichen.

Ein weiteres Beispiel ist, Seltsamerweise wiederkehrendes Vorlagenmuster (CRTP) was auch eine mächtige Technik ist.

2. Nein. Neben Vorlagen ist die Methode Overloading auch – statischer Polymorphismus.
   https://en.wikipedia.org/wiki/Function_overloading