Vì sao Go không có kế thừa

Thuộc phần Lập trình hướng đối tượng trong hành trình GO của Coddy. Bài học 34 trên 107.

Các ngôn ngữ hướng đối tượng truyền thống như Java và C++ dùng tính kế thừa (inheritance) để chia sẻ code giữa các kiểu. Lớp con mở rộng lớp cha và kế thừa tất cả các trường cùng phương thức của lớp đó. Go cố ý không có tính năng này.

Tính kế thừa tạo ra sự liên kết chặt chẽ giữa các kiểu. Khi lớp cha thay đổi, mọi lớp con đều bị ảnh hưởng.

Các hệ thống kế thừa nhiều tầng trở nên khó hiểu và khó bảo trì. “Vấn đề lớp cơ sở dễ bị ảnh hưởng” xảy ra khi những thay đổi trong lớp cơ sở bất ngờ làm hỏng các lớp dẫn xuất.

Các nhà thiết kế Go chọn một hướng đi khác: ưu tiên kết hợp hơn kế thừa. Thay vì nói “Dog là một Animal”, Go khuyến khích bạn nói “Dog có những hành vi giống Animal”. Sự thay đổi tinh tế này giúp code linh hoạt và dễ bảo trì hơn.

Go cho phép tái sử dụng code thông qua hai cơ chế mà bạn đã học:

Giao diện xác định các hợp đồng về hành vi mà không nêu chi tiết triển khai

Nhúng struct cho phép các kiểu bao gồm những kiểu khác và tái sử dụng các phương thức của chúng

Hãy xem phép so sánh này. Trong lập trình hướng đối tượng truyền thống, bạn có thể viết class Dog extends Animal. Trong Go, bạn nhúng một cấu trúc Animal vào bên trong Dog và triển khai các interface dùng chung. Kết quả là chức năng tương tự nhưng các kiểu ít phụ thuộc lẫn nhau hơn.

Chương này tìm hiểu sâu về cách nhúng struct (struct embedding), cho thấy Go đạt được lợi ích của kế thừa (inheritance) mà không gặp phải những nhược điểm của nó.

Thử thách

Dễ

Hãy xây dựng một hệ thống thông báo thể hiện cách tiếp cận kết hợp của Go thay vì kế thừa. Bạn sẽ tạo các kiểu dùng chung hành vi thông qua giao diện và nhúng struct, thay vì hệ thống phân cấp lớp.

Bạn sẽ sắp xếp code trong ba tệp:

notifier.go: Định nghĩa giao diện Notifier với một phương thức duy nhất là Notify(message string) string. Đồng thời tạo struct BaseNotifier với trường Name, để các kiểu khác nhúng vào. Thêm cho BaseNotifier một phương thức tên là Format(message string) string, phương thức này trả về thông báo có tên của bộ thông báo đặt trong ngoặc vuông ở đầu.
channels.go: Tạo hai kiểu kênh thông báo nhúng BaseNotifier và triển khai giao diện Notifier:
- EmailNotifier có thêm trường Address
- SMSNotifier có thêm trường Phone
Phương thức Notify của mỗi kiểu nên dùng phương thức Format được nhúng và đưa thông tin riêng của kênh đó vào đầu ra.
main.go: Tạo một hàm tên là SendAlert, nhận bất kỳ Notifier nào cùng một thông báo, rồi trả về kết quả gọi Notify. Đọc thông tin thông báo từ đầu vào, tạo cả hai kiểu bộ thông báo và minh họa cách dùng chúng thay thế cho nhau thông qua giao diện.

Đầu vào sẽ gồm các dòng sau:

Dòng 1: Tên bộ thông báo cho email
Dòng 2: Địa chỉ email
Dòng 3: Tên bộ thông báo cho SMS
Dòng 4: Số điện thoại
Dòng 5: Thông báo cảnh báo

Phương thức Format của BaseNotifier nên trả về:

[Name] message

Các phương thức Notify nên trả về:

EmailNotifier: Email to [Address]: [formatted message]
SMSNotifier: SMS to [Phone]: [formatted message]

Ví dụ, với các giá trị Alerts, user@mail.com, Urgent, 555-1234 và Server down, đầu ra của bạn sẽ là:

Email to user@mail.com: [Alerts] Server down
SMS to 555-1234: [Urgent] Server down

Hãy chú ý cách cả hai kiểu bộ thông báo dùng lại phương thức Format từ BaseNotifier thông qua nhúng, trong khi mỗi kiểu có cách triển khai Notify riêng. Hàm SendAlert hoạt động với bất kỳ Notifier nào mà không cần biết kiểu cụ thể. Đây là cách kết hợp thay cho kế thừa.

Tự làm thử

package main

import (
	"bufio"
	"fmt"
	"os"
)

// SendAlert nhận một Notifier bất kỳ và một thông điệp, rồi trả về kết quả khi gọi Notify
// TODO: Triển khai hàm (function) SendAlert

func main() {
	scanner := bufio.NewScanner(os.Stdin)
	
	// Đọc tên bộ thông báo email
	scanner.Scan()
	emailName := scanner.Text()
	
	// Đọc địa chỉ email
	scanner.Scan()
	emailAddress := scanner.Text()
	
	// Đọc tên bộ thông báo SMS
	scanner.Scan()
	smsName := scanner.Text()
	
	// Đọc số điện thoại
	scanner.Scan()
	phoneNumber := scanner.Text()
	
	// Đọc thông điệp cảnh báo
	scanner.Scan()
	alertMessage := scanner.Text()
	
	// TODO: Tạo EmailNotifier với emailName và emailAddress
	
	// TODO: Tạo SMSNotifier với smsName và phoneNumber
	
	// TODO: Dùng SendAlert để gửi alertMessage qua cả hai bộ thông báo
	// và in ra kết quả
	
	// Ẩn cảnh báo về các biến chưa dùng (xóa các dòng này khi bạn dùng các biến đó)
	_ = emailName
	_ = emailAddress
	_ = smsName
	_ = phoneNumber
	_ = alertMessage
}