Az öröklődés lehetővé teszi, hogy egy osztály egy alaposztályból származzon, újrafelhasználva és kiterjesztve annak tagjait. A polimorfizmus lehetővé teszi, hogy az származtatott objektumokat egy alaposztály típuson keresztül kezeld, ahol a megfelelő felülírott metódus futásidőben hívódik meg (a virtual/override segítségével). Ezek az objektumorientált programozás alapvető mechanizmusai a C#-ban.
public class Animal
{
public string Name { get; set; }
public virtual string MakeSound() => "some sound"; // virtual — can be overridden
}
public class Dog : Animal // Dog inherits from Animal (single inheritance)
{
public override string MakeSound() => "Woof"; // OVERRIDE the base method
public void Fetch() => Console.WriteLine("fetching");
}
var dog = new Dog { Name = "Rex" };
dog.Name; // inherited from Animal
dog.MakeSound(); // "Woof"
Egy származtatott osztály (Dog : Animal) örökli az alaposztály tagjait, és hozzáadhat saját tagokat is. A C# támogatja az egyedüli öröklődést (egy alaposztály). A base.Method() az alaposztály implementációját hívja meg.
// treat different derived types through the base type; the ACTUAL type's method runs
List<Animal> animals = new() { new Dog(), new Cat() };
foreach (Animal a in animals)
Console.WriteLine(a.MakeSound()); // "Woof", "Meow" — runtime dispatch
Polimorfizmus: egy virtual metódus, amely származtatott osztályokban felül van írva, futásidőben az objektum tényleges típusa alapján kerül elküldésre — így ugyanez a hívás (a.MakeSound()) típusonként különbözőképpen működik. Ez rugalmas, kiterjeszthető kódot tesz lehetővé (sok típus egyiform kezelése).
public abstract class Shape
{
public abstract double Area(); // abstract — derived MUST implement, no body
public string Describe() => $"Area: {Area()}"; // concrete shared method
}
public class Circle : Shape
{
public double Radius { get; set; }
public override double Area() => Math.PI * Radius * Radius;
}
// var s = new Shape(); // ❌ can't instantiate an abstract class
public sealed class Final { } // sealed — cannot be inherited from
Az absztrakt osztályok egy részleges alapot határoznak meg (absztrakt metódusokkal, amelyeket az alosztályoknak implementálniuk kell, plusz közös kód); a sealed megakadályozza a további öröklődést.
Az öröklődés és a polimorfizmus az objektumorientált programozás alapvető mechanizmusai a C#-ban, alapvető fontosságúak az objektumorientált tervezésben és a .NET keretrendszerrel való munkához (amely széleskörűen alkalmazza őket), ezért megértésük elengedhetetlen. Az öröklödés kódújrafelhasználást biztosít az "is-a" relációkon keresztül (egy Dog egy Animal), bár a C# csak egyedüli öröklődést engedélyez. A polimorfizmus — a virtual/override és a futásidejű metódus-elküldés révén — különösen fontos: lehetővé teszi, hogy az eltérő származtatott típusokat egységesen egy alaposztály típuson keresztül kezeld, miközben a helyes típusspezifikus viselkedés automatikusan fut le, lehetővé téve a rugalmas, kiterjeszthető terveket (dolgozz fel különböző alakzatok gyűjteményét, amelyek mindegyike kiszámítja a saját területét).
A virtual/override mechanizmus megértése (az alaposztály egy metódust felülírhatóvá tesz, a származtatott osztályok felülírják azt, és a futásidő az aktuális típus verzióját küldi el), az absztrakt osztályok (részleges alapok azokkal a metódusokkal, amelyeket az alosztályoknak implementálniuk kell, plusz közös kód), és a sealed (az öröklődés megakadályozása) szükséges az osztályhierarchiák tervezéséhez és a .NET keretrendszer és könyvtárak felépítésének megértéséhez.
Mivel az öröklődés és a polimorfizmus az objektumorientált C# alapját képezik, és mivel a futásidejű polimorfizmus a kiterjeszthető, karbantartható kód kulcsfont előfeltétele, ezen ismereteknek — különösen a polimorfizmust működtetõ virtual/override elküldésnek — az elsajátítása fontos, gyakran alkalmazott tudás az objektumorientált tervezésben a C#-ban, és egy gyakori interjúkérdés, amely az OOP alapelvek megértését tárja fel.