Kaip veikia paveldėjimas ir polimorfizmas?

Question

Accepted Answer

**Paveldėjimas** leidžia klasei paveldėti iš bazinės klasės, pakartotinai naudojant ir plečiant jos narius. **Polimorfizmas** leidžia traktuoti išvestas objektus per bazinį tipą, kai tinkamas perrašytas metodas yra iškviečiamas vykdymo metu (per `virtual`/`override`). Tai yra pagrindiniai OOP mechanizmai C#.

## Paveldėjimas

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

Išvesta klasė (`Dog : Animal`) paveldėdama iš bazinės klasės gauna jos narius ir gali pridėti savo. C# palaiko **viengubą paveldėjimą** (viena bazinė klasė). `base.Method()` iškviečia bazinės klasės realizaciją.

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

**Polimorfizmas**: `virtual` metodas, perrašytas išvestose klasėse, yra išsiuntimas **vykdymo metu** remiantis objekto faktiniam tipui — taigi tas pats iškvietimas (`a.MakeSound()`) daro skirtingus dalykus priklausomai nuo tipo. Tai leidžia kurti lankstų, išplečiamą kodą (tvarkyti daug tipų vienodai).

## Abstrakciosios klasės ir 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
```

**Abstrakciosios klasės** apibrėžia dalinę bazę (su abstrakčiais metodais, kuriuos turi įgyvendinti poklasiai, bei bendrintu kodu); `sealed` neleidžia tolimesnio paveldėjimo.

## Kodėl tai svarbu

Paveldėjimas ir polimorfizmas yra pagrindiniai OOP mechanizmai C#, esminiai objektinės orientacijos projektavimui ir darbui su .NET platforma (kuri juos plačiai naudoja), todėl jų supratimas yra būtinas. **Paveldėjimas** suteikia kodo pakartotinį naudojimą per "yra" santykius (Dog yra Animal), nors C# leidžia tik viengubą paveldėjimą. **Polimorfizmas** — per `virtual`/`override` ir vykdymo metu atliekamą metodo išsiuntimą — yra ypač svarbus: jis leidžia traktuoti skirtingus išvestus tipus vienodai per bazinį tipą, o tinkamas tipui būdingas elgesys veikia automatiškai, suteikiant lanksčias, išplečiamas konstrukcijas (apdoroti skirtingų formų kolekciją, kiekviena apskaičiuojanti savo plotą).

Supratimas apie `virtual`/`override` mechanizmą (bazė žymi metodą kaip perrašomą, išvestos klasės jį perrašo, o vykdymo metas išsiunčia faktinio tipo versiją), **abstrakciosios klasės** (dalinės bazės su metodais, kuriuos turi įgyvendinti poklasiai, bei bendrintu kodu), ir `sealed` (neleidžiant paveldėjimo) yra būtinas klasių hierarchijų projektavimui ir supratimui, kaip .NET platforma ir bibliotekos yra strukturuotos.

Kadangi paveldėjimas ir polimorfizmas yra objektinio orientavimo C# ir pačios platformos pagrindas, o vykdymo meto polimorfizmas yra pagrindinė išplečiamų, lengvai prižiūrimų kodų priemonė, šių savybių — ypač virtual/override išsiuntimo, kuris daro polimorfizmą veikiančiu — įvaldymas yra svarbi, dažnai taikoma žinių sritis objektinio orientavimo projektavimui C#, ir dažna pokalbio tema, kuri atskleidžia OOP principų supratimą.