Statisk polymorfisme
Unngå kostnaden ved virtuelle kall
Statisk polymorfisme er en gratis leksjon i C++ Academy på CoddyKit. Dette er leksjon 2 av 4. Du kan lese valgfritt 3 leksjoner fra denne læringsstien gratis i sin helhet – deretter låser CoddyKit PRO opp alle leksjoner, samt praktisk øving med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Den er en del av læringsløpet i C++ Academy, og fremdriften din synkroniseres mellom nettet og CoddyKit-appen. Kurset i C++ Academy inneholder totalt 4 leksjoner.
To typer polymorfi
C++ støtter to former for polymorfi.
- Dynamisk: virtuelle funksjoner løses ved kjøring via en vtable
- Statisk: maler og CRTP løses ved kompilering
Statisk polymorfi bytter fleksibilitet mot hastighet.
Kostnaden ved virtual
Et virtuelt kall krever et indirekte hopp gjennom vtable-en. Kompilatoren kan vanligvis ikke bygge det inn, noe som hindrer mange optimaliseringer.
#include <iostream>
struct Shape {
virtual double area() const = 0;
virtual ~Shape() = default;
};
struct Square : Shape {
double s;
Square(double x) : s(x) {}
double area() const override { return s * s; }
};
int main() {
Shape* p = new Square(3);
std::cout << p->area() << "\n";
delete p;
return 0;
}Statisk oppslag med CRTP
Med CRTP kaller basisklassen den avledede metoden direkte gjennom en konvertering som utføres ved kompilering, slik at kompilatoren kan bygge inn alt.
#include <iostream>
template <typename T>
struct Shape {
double area() const { return static_cast<const T*>(this)->area(); }
};
struct Square : Shape<Square> {
double s;
Square(double x) : s(x) {}
double area() const { return s * s; }
};
int main() {
Square sq(3);
std::cout << sq.area() << "\n";
return 0;
}Navngiving av videresendere
Når både basisklassen og den avledede klassen definerer area, bør De gi basisklassens videresender et eget navn, for eksempel compute, slik at det er entydig at den kaller den avledede implementasjonen.
#include <iostream>
template <typename T>
struct Shape {
double compute() const { return static_cast<const T*>(this)->area(); }
};
struct Circle : Shape<Circle> {
double r;
Circle(double x) : r(x) {}
double area() const { return 3.14159 * r * r; }
};
int main() {
Circle c(2);
std::cout << c.compute() << "\n";
return 0;
}Maler som statisk polymorfi
Vanlige funksjonsmaler er også statisk polymorfi: Den samme koden fungerer for alle typer som tilbyr det nødvendige grensesnittet (andeprogrammering ved kompilering).
#include <iostream>
struct Dog { void speak() const { std::cout << "Woof\n"; } };
struct Cat { void speak() const { std::cout << "Meow\n"; } };
template <typename Animal>
void make_speak(const Animal& a) { a.speak(); }
int main() {
make_speak(Dog{});
make_speak(Cat{});
return 0;
}Når typen er kjent
Statisk polymorfisme gjelder bare når den konkrete typen er kjent ved kompilering. Hvis du må lagre heterogene objekter i én beholder og velge atferd ved kjøretid, trenger du fortsatt virtuelle funksjoner.
Ingen heterogene beholdere
Du kan ikke legge Shape<Square> og Shape<Circle> i samme std::vector som en felles basetype, fordi de er urelaterte typer. Dette er den sentrale begrensningen ved statisk polymorfisme.
Ytelsesgevinst
Ved å inline det distribuerte kallet kan kompilatoren folde konstanter og fjerne overheaden fra funksjonskall fullstendig. I tette løkker over én kjent type kan statisk polymorfisme være betydelig raskere.
#include <iostream>
template <typename T>
struct Op {
int apply(int x) const { return static_cast<const T*>(this)->apply(x); }
};
struct Doubler : Op<Doubler> {
int apply(int x) const { return x * 2; }
};
int main() {
Doubler d;
int sum = 0;
for (int i = 0; i < 5; ++i) sum += d.apply(i);
std::cout << sum << "\n";
return 0;
}Kombiner begge
Du kan bruke CRTP for den mest ytelseskritiske delen og en tynn virtuell wrapper når typeerasure er nødvendig. Da får du hastighet der det betyr mest, og fleksibilitet der det kreves.
Statiske grensesnittkontroller
Hvis en avledet klasse glemmer å implementere den nødvendige metoden, vises feilen ved kompilering når videresendingsfunksjonen i basen instantieres, ikke ved kjøretid.
#include <iostream>
template <typename T>
struct Greeter {
void greet() const { static_cast<const T*>(this)->hello(); }
};
struct English : Greeter<English> {
void hello() const { std::cout << "Hello\n"; }
};
int main() {
English{}.greet();
return 0;
}Velg riktig verktøy
Bruk statisk polymorfisme når:
- Typen er kjent ved kompilering
- Ytelse er avgjørende
- Du ikke trenger en felles basetype ved kjøretid
Ellers bør du foretrekke virtuelle funksjoner for tydelighet og fleksibilitet.
Hurtigsjekk
Velg den viktigste avveiningen ved statisk polymorfisme.
Oppsummering
Du har sammenlignet statisk og dynamisk polymorfisme.
- Virtual = dispatch ved kjøretid, vtable, heterogene beholdere
- CRTP/templates = dispatch ved kompilering, kan inlinees, raskere
- Statisk polymorfisme krever at typen er kjent ved kompilering
- Velg ut fra behovet for fleksibilitet eller ytelse
Lær deg C++ med en AI-veileder – gratis
Skriv og kjør ekte kode i nettleseren, få umiddelbar hjelp fra en AI-veileder som er tilgjengelig døgnet rundt, og fortsett der du slapp – på nettet eller i appen.
- Kurs
- 51
- Leksjoner
- 203
Ofte stilte spørsmål
Er leksjonen «Statisk polymorfisme» gratis?
Ja – du kan lese valgfritt 3 av leksjonene i læringsstien C++ Academy, inkludert «Statisk polymorfisme», gratis i sin helhet her på nettet. Deretter låser CoddyKit PRO opp alle leksjoner, samt interaktiv øving med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Kurset i C++ Academy inneholder totalt 4 leksjoner.
Hva lærer jeg i «Statisk polymorfisme»?
Unngå kostnaden ved virtuelle kall Du øver på C++ Academy med praktisk kode som du kjører direkte i nettleseren, mens en AI-veileder som er tilgjengelig døgnet rundt, svarer på spørsmålene dine mens du jobber deg gjennom leksjonen.
Trenger jeg erfaring for å begynne med C++ Academy?
Ingen tidligere erfaring er nødvendig. C++ Academy på CoddyKit er lagt opp for både nybegynnere og viderekomne, så De kan begynne her eller helt fra start og lære i Deres eget tempo. Dette er leksjon 2 av 4.
Hvor lang tid tar leksjonen «Statisk polymorfisme»?
De fleste CoddyKit-leksjoner tar omtrent 5–10 minutter. Hver leksjon er kort og interaktiv, slik at De gjør jevne fremskritt og kan fortsette akkurat der De slapp – både på nettet og i appen.
Kan jeg skrive og kjøre kode i denne C++ Academy-leksjonen?
Ja. Alle C++ Academy-leksjoner har en innebygd kodeeditor, slik at De kan skrive og kjøre ekte kode direkte i nettleseren og få umiddelbar tilbakemelding fra AI – uten lokal konfigurering.
Alle leksjonene i dette kurset
- CRTP-idiomet
- Statisk polymorfisme
- Mixins med CRTP
- Når bør De bruke CRTP