0.5 Tính đa hình  (Page 3/4)

Lớp trừu tượng (abstract class)

Trong quá trình thiết kế chương trình theo hướng đối tượng, để tạo nên một hệ thống phả hệ mang tính kế thừa cao, người lập trình phải đoán trước sự phát triển của cấu trúc, từ đó chọn lựa những thành viên phù hợp cho các lớp ở trên cùng. Rõ ràng đây là một công việc vô cùng khó khăn. Để tránh tình trạng người lập trình xây dựng các đối tượng lãng phí bộ nhớ, ngôn ngữ C++ cho phép chúng ta thiết kế các lớp có các không phương thức ảo không làm gì cả, và cũng không thể tạo ra đối tượng thuộc lớp đó. Những lớp như vậy gọi là lớp trừu tượng.

Trong cấu trúc trên hình 6.3, không phải lớp nào cũng thực sự cần đến phương thức Print(), nhưng nó có mặt khắp nơi để tạo ra bộ mặt chung cho mọi lớp trong cấu trúc cây. Phương thức của lớp trên cùng như A::Print() thường là phương thức ảo để có được tính đa hình.

Hình 6.3

Nhờ đó, với hàm sau:

void Show(A* a)

{

a->Print();

}

chúng ta có thể truyền đối tượng đủ kiểu cho nó (A, B, C, D hoặc E) mà vẫn gọi đến đúng phuơng thức Print() phù hợp dù kiểu của đối tượng lúc biên dịch vẫn còn chưa biết. Với vai trò "lót đường" như vậy, phương thức A::Print() có thể chẳng có nội dung gì cả

class A

{

public:

virtual void Print()

{

}

};

Khi đó người ta gọi phương thức A::Print() là phương thức ảo rỗng (null virtual function), nó chẳng làm gì hết. Tuy nhiên lớp A vẫn là một lớp bình thường, chúng ta có thể tạo ra một đối tượng thuộc nó, có thể truy cập tới phương thức A::Print(). Để tránh trình trạng vô tình tạo ra đối tượng thuộc lớp này, người ta thường xây dựng lớp trừu tượng, trình biên dịch cho phép tạo ra lớp có các phương thức thuần ảo (pure virtual function) như sau:

class A

{

public:

virtual void Print() = 0;

};

Phương thức ảo Print() bây giờ là phương thức thuần ảo – phương thức có tên được gán bởi giá trị zero. Lớp A chứa phương thức thuần ảo được gọi là lớp trừu tượng.

1: //Chương trình 6.3

2: #include<iostream.h>

3:

4: class A

5: {

6: public:

7: virtual void Print()=0; //Phương thức thuần ảo

8: };

9:

10: class B : public A

11: {

12: public:

13: virtual void Print()

14: {

15: cout<<"Class B"<<endl;

16: }

17: };

18:

19: class C : public B

20: {

21: public:

22: virtual void Print()

23: {

24: cout<<"Class C"<<endl;

25: }

26: };

27:

28: void Show(A *a)

29: {

30: a->Print();

31: }

32:

33: int main()

34: {

35: B *b=new B;

36: C *c=new C;

37: Show(b); //B::Print()

38: Show(c); //C::Print()

39: return 0;

40: }

Chúng ta chạy ví dụ 6.3 , kết quả ở hình 6.4

Hình 6.4: Kết quả của ví dụ 6.3

Lớp A được tạo ra để làm cơ sở cho việc hình thành các lớp con cháu (B và C). Nhờ có Phương thức ảo Print() từ lớp A cho tới lớp C, tính đa hình được thể hiện.