Si funksionojnë trashëgimia dhe polimorfizmi?

Question

Accepted Answer

**Trashëgimia** lejon një klasë të rrjedhë nga një klasë bazë, duke ripërdorur dhe zgjeruar anëtarët e saj. **Polimorfizmi** të lejon të trajtosh objekte të rrjedhura përmes një lloji bazë, me metodën e duhur të rishkruar të thirrur në kohën e ekzekutimit (përmes `virtual`/`override`). Këto janë mekanizma thelbësor të OOP në C#.

## Trashëgimia

```csharp
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"
```

Një klasë e rrjedhur (`Dog : Animal`) trashëgon anëtarët e bazës dhe mund të shtojë të sajat. C# mbështet **trashëgiminë e vetme** (një klasë bazë). `base.Method()` thërret zbatimin e bazës.

## Polimorfizmi — virtual / override

```csharp
// 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
```

**Polimorfizmi**: një metodë `virtual` e rishkruar në klasat e rrjedhura është dërguar në **kohën e ekzekutimit** bazuar në llojin aktual të objektit — kështu që e njëjta thirrje (`a.MakeSound()`) bën gjëra të ndryshme për secilin lloj. Kjo mundëson kod të fleksibël dhe të zgjerueshëm (trajto shumë lloje në mënyrë uniformë).

## Klasat abstrakte dhe sealed

```csharp
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
```

**Klasat abstrakte** përcaktojnë një bazë të pjesshme (me metoda abstrakte që nënklasa duhet të zbatojnë plus kod të ndashëm); `sealed` parandalon trashëgiminë e mëtejshme.

## Përse ka rëndësi

Trashëgimia dhe polimorfizmi janë mekanizma thelbësor të OOP në C#, themeli i dizajnit të orientuar në objekte dhe i punës me frameworkun .NET (i cili i përdor gjerësisht), kështu që zotërimi i tyre është thelbësor. **Trashëgimia** ofron ripërdorimin e kodit përmes lidhjeve "is-a" (një Dog është një Animal), megjithëse C# lejon vetëm trashëgiminë e vetme. **Polimorfizmi** — përmes `virtual`/`override` dhe dërgimit të metodës në kohën e ekzekutimit — është veçanërisht i rëndësishëm: të lejon të trajtosh lloje të ndryshme të rrjedhura në mënyrë uniformë përmes një lloji bazë ndërsa sjellja e duhur specifike për llojin funksionon automatikisht, mundësojnë dizajne të fleksibël dhe të zgjerueshëm (përpunon një koleksion formash të ndryshme, secila llogarit sipërfaqen e vet).

Zotërimi i mekanizmit `virtual`/`override` (baza shënon një metodë të rishkrueshme, klasat e rrjedhura e rishkruajnë atë, dhe ekzekutimi dërgon në versionin e llojit aktual), **klasat abstrakte** (baza të pjesshme me metoda që nënklasa duhet të zbatojnë plus kod të ndashëm), dhe `sealed` (parandalimi i trashëgimës) është e nevojshme për dizajnimin e hierarkive të klasave dhe për zotërimin e mënyrës se si strukturohen frameworku .NET dhe biblioteka.

Meqë trashëgimia dhe polimorfizmi janë themeli i C# të orientuar në objekte dhe i vetë frameworkut, dhe meqë polimorfizmi në kohën e ekzekutimit është një mundësues kyç i kodit të zgjerueshëm dhe të mirëmbajtshëm, zotërimi i këtyre — veçanërisht dërgimi virtual/override që e bën polimorfizmin të funksionojë — është njohurit e rëndësishme, që përdoren shpesh për dizajnin e orientuar në objekte në C#, dhe një temë e zakonshme interviste që zbulon zotërimin e bazave të OOP.