Kế thừa và đa hình hoạt động như thế nào?

Question

Accepted Answer

**Kế thừa (inheritance)** cho phép một class dẫn xuất từ một base class, tái sử dụng và mở rộng các thành viên của nó. **Đa hình (polymorphism)** cho phép bạn xử lý các object dẫn xuất thông qua một kiểu base, với method override đúng được gọi lúc chạy (qua `virtual`/`override`). Đây là những cơ chế OOP cốt lõi trong C#.

## Kế thừa

```csharp
public class Animal
{
    public string Name { get; set; }
    public virtual string MakeSound() => "some sound";   // virtual — có thể override
}

public class Dog : Animal     // Dog kế thừa từ Animal (kế thừa đơn)
{
    public override string MakeSound() => "Woof";        // OVERRIDE method của base
    public void Fetch() => Console.WriteLine("fetching");
}

var dog = new Dog { Name = "Rex" };
dog.Name;          // kế thừa từ Animal
dog.MakeSound();    // "Woof"
```

Một class dẫn xuất (`Dog : Animal`) kế thừa các thành viên của base và có thể thêm thành viên riêng. C# hỗ trợ **kế thừa đơn** (một base class). `base.Method()` gọi cài đặt của base.

## Đa hình — virtual / override

```csharp
// xử lý các kiểu dẫn xuất khác nhau qua kiểu base; method của kiểu THỰC SỰ được chạy
List<Animal> animals = new() { new Dog(), new Cat() };
foreach (Animal a in animals)
    Console.WriteLine(a.MakeSound());   // "Woof", "Meow" — điều phối lúc chạy
```

**Đa hình**: một method `virtual` được override ở các class dẫn xuất được điều phối lúc **chạy** dựa trên kiểu thực sự của object — nên cùng một lời gọi (`a.MakeSound()`) làm những việc khác nhau theo từng kiểu. Điều này tạo ra code linh hoạt, dễ mở rộng (xử lý nhiều kiểu một cách thống nhất).

## Abstract class và sealed

```csharp
public abstract class Shape
{
    public abstract double Area();        // abstract — class dẫn xuất PHẢI cài đặt, không có thân
    public string Describe() => $"Area: {Area()}";   // method chia sẻ cụ thể
}
public class Circle : Shape
{
    public double Radius { get; set; }
    public override double Area() => Math.PI * Radius * Radius;
}
// var s = new Shape();   // ❌ không thể khởi tạo một abstract class

public sealed class Final { }   // sealed — không thể kế thừa từ nó
```

**Abstract class** định nghĩa một base một phần (với các method abstract mà lớp con phải cài đặt cộng với code chia sẻ); `sealed` ngăn kế thừa thêm.

## Tại sao điều này quan trọng

Kế thừa và đa hình là những cơ chế OOP cốt lõi trong C#, nền tảng cho thiết kế hướng đối tượng và cho việc làm việc với framework .NET (vốn dùng chúng rộng rãi), nên hiểu chúng là thiết yếu. **Kế thừa** cung cấp tái sử dụng code qua quan hệ "is-a" (một Dog là một Animal), dù C# chỉ cho phép kế thừa đơn. **Đa hình** — qua `virtual`/`override` và điều phối method lúc chạy — đặc biệt quan trọng: nó cho phép bạn xử lý các kiểu dẫn xuất khác nhau một cách thống nhất qua một kiểu base trong khi hành vi đặc thù đúng của từng kiểu tự động chạy, tạo ra các thiết kế linh hoạt, dễ mở rộng (xử lý một collection các hình khác nhau, mỗi hình tính diện tích của riêng nó).

Hiểu cơ chế `virtual`/`override` (base đánh dấu một method có thể override, các class dẫn xuất override nó, và runtime điều phối tới phiên bản của kiểu thực sự), **abstract class** (base một phần với các method mà lớp con phải cài đặt cộng với code chia sẻ), và `sealed` (ngăn kế thừa) là cần thiết để thiết kế các phân cấp class và để hiểu cách framework cùng các thư viện .NET được cấu trúc.

Vì kế thừa và đa hình nâng đỡ C# hướng đối tượng và chính framework, và vì đa hình lúc chạy là yếu tố then chốt tạo ra code dễ mở rộng, dễ bảo trì, làm chủ chúng — đặc biệt là điều phối virtual/override khiến đa hình hoạt động — là kiến thức quan trọng, thường xuyên áp dụng cho thiết kế hướng đối tượng trong C#, và là chủ đề phỏng vấn phổ biến cho thấy sự hiểu biết về nền tảng OOP.