Perintö mahdollistaa luokan johtamisen perusluokasta ja sen jäsenten uudelleenkäytön ja laajentamisen. Polymorfismi mahdollistaa johdettujen objektien käsittelyn perusluokan tyypin kautta, ja oikea ylikirjoitettu metodi kutsutaan suorituksen aikana (virtual/override kautta). Nämä ovat C#:n ydinmekanismeja oliopohjaisessa ohjelmistosuunnittelussa.
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"
Johdettu luokka (Dog : Animal) perii perusluokan jäsenet ja voi lisätä omia. C# tukee yksinkertaista perintöä (yksi perusluokka). base.Method() kutsuu perusluokan toteutusta.
// 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
Polymorfismi: virtual-metodi, joka on ylikirjoitettu johdetuissa luokissa, jaetaan suorituksen aikana objektin todellisen tyypin perusteella — joten sama kutsu (a.MakeSound()) tekee eri asiat tyypin mukaan. Tämä mahdollistaa joustavan, laajennettavan koodin (käsitellä monia tyyppejä yhtenäisesti).
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
Abstraktit luokat määrittävät osittaisen perustan (abstraktien metodien kanssa, jotka aliluokat on toteutettava, sekä jaettu koodi); sealed estää jatkoperintöä.
Perintö ja polymorfismi ovat C#:n ydinmekanismeja oliopohjaisessa ohjelmistosuunnittelussa ja oleellisia .NET-kehyksen kanssa työskennellessä (joka käyttää niitä laajasti), joten niiden ymmärtäminen on välttämätöntä. Perintö tarjoaa koodin uudelleenkäytön "on-a"-suhteen kautta (Koira on Eläin), vaikka C# sallii vain yksinkertaisen perintöä. Polymorfismi — virtual/override ja suorituksen aikaisella metodin jakamisella — on erityisen tärkeä: sen avulla voit käsitellä eri johdetut tyypit yhtenäisesti perusluokan kautta, samalla kun oikea tyyppispesifinen käyttäytyminen suoritetaan automaattisesti, mahdollistaen joustavan, laajennettavan suunnittelun (käsitellä eri muotojen kokoelmaa, joista jokainen laskee oman alueensa).
virtual/override-mekanismin ymmärtäminen (perusluokka merkitsee metodin ylikirjoitettavaksi, johdetut luokat ylikirjoittavat sen, ja suoritus jakaa todellisen tyypin versioon), abstraktit luokat (osittaiset perusteet metodien kanssa, jotka aliluokat on toteutettava, sekä jaettu koodi) ja sealed (perintöä estävä) ovat välttämättömiä luokkahierarkioiden suunnitteluun ja .NET-kehyksen sekä kirjastojen rakenteen ymmärtämiseen.
Koska perintö ja polymorfismi muodostavat pohjan oliopohjaisen C#:n ja itse kehyksen, ja koska suorituksen aikainen polymorfismi on laajennettavan, ylläpidettävän koodin keskeinen mahdollistaja, näiden hallitseminen — erityisesti polymorfismin tekevä virtual/override-jakaminen — on tärkeää, usein sovellettavaa tietoa oliopohjaisen suunnittelun osalta C#:ssa ja yleinen haastattelukysymys, joka paljastaa ymmärryksen oliopohjaisen ohjelmistosuunnittelun perusteista.