Kako delujeta dedovanje in polimorfizem?

Question

Accepted Answer

**Dedovanje** omogoča, da razred izpelje iz baznega razreda in ponovno uporabi ter razširi njegove člane. **Polimorfizem** omogoča, da obravnavaš izpeljane objekte skozi tip baznega razreda, pri čemer se pravilna nadpisana metoda pokliče med izvajanjem (prek `virtual`/`override`). To so jedrnata mehanizma OOP v C#.

## Dedovanje

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

Izpeljani razred (`Dog : Animal`) deduje člane bazo in lahko doda svoje. C# podpira **enojno dedovanje** (en bazni razred). `base.Method()` pokliče izvedbo v bazi.

## Polimorfizem — 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
```

**Polimorfizem**: `virtual` metoda, nadpisana v izpeljanih razredih, se dispečira med **izvajanjem** na podlagi dejanskega tipa objekta — tako da isti klic (`a.MakeSound()`) naredi različne stvari za različne tipe. To omogoča fleksibilen, razširljiv kod (enakomerno obravnavanje več tipov).

## Abstraktni razredi in 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
```

**Abstraktni razredi** definirajò delno bazo (s povzetimi metodami, ki jih morajo izvediti podrazredi, in skupno kodo); `sealed` preprečuje nadaljnje dedovanje.

## Zakaj je to pomembno

Dedovanje in polimorfizem sta jedrnata mehanizma OOP v C#, temeljna za objektno usmerjen dizajn in za delo s .NET ogrodjem (ki ju obsežno uporablja), zato je njihovo razumevanje bistveno. **Dedovanje** omogoča ponovno uporabo kode prek "je-a" odnosov (Dog je Animal), čeprav C# dovoljuje samo enojno dedovanje. **Polimorfizem** — prek `virtual`/`override` in dispečiranja metod med izvajanjem — je posebej pomemben: omogoča ti, da obravnavaš različne izpeljane tipe enotno skozi bazni tip, medtem ko se pravilno vedenje, značilno za tip, izvaja samodejno, kar omogoča fleksibilne, razširljive nacrte (obdelaj zbirko različnih oblik, od katerih vsaka izračuna svoje območje).

Razumevanje mehanizma `virtual`/`override` (baza označi metodo, ki jo je mogoče nadpisati, izpeljani razredi jo nadpišejo, in čas izvajanja dispečira na verzijo dejanskega tipa), **abstraktnih razredov** (delnih baz z metodami, ki jih morajo izvediti podrazredi, in skupno kodo) ter `sealed` (preprečevanja dedovanja) je potrebno za oblikovanje hierarhij razredov in za razumevanje, kako je .NET ogrodje in knjižnice strukturirane.

Ker dedovanje in polimorfizem podpirajo objektno usmerjen C# in samo ogrodstvo, in ker je polimorfizem med izvajanjem ključni omogočevalec razširljivega, vzdržljivega koda, je ovladovanje temi — posebej dispečiranja virtual/override, ki naredi polimorfizem stvarnega — pomembno, pogosto uporabljeno znanje za objektno usmerjen dizajn v C# in pogosta tema intervjuja, ki razkrije razumevanje OOP osnov.