Ngôn ngữ lập trình Chương V: Kiểu do người dùng đinh nghĩa 59 5.3.2 Trừu tượng hóa quá trình Trừu tượng hóa quá trình là việc phân chia chương trình thành những chương trình con. Mỗi chương trình con đảm nhiệm một tác vụ nào đó và được đặc trưng bởi một cái tên. Ở cấp độ chương trình chính chúng ta chỉ gọi thực hiện các chương trình con, thông qua các tên chương trình con, để thực hiện các tác vụ mà chương trình con đó đảm trách. Như vậy, ở chương trình chính, chúng ta chỉ quan tâm đến kết quả của chươ ng trình con mang lại mà không cần biết chi tiết cài đặt bên trong chương trình con đó. Ví dụ để viết một chương trình quản lý, ta có thể viết theo hai cách, cách thứ nhất không phân chia thành các chương trình con và cách thứ hai có sử dụng chương trình con. Đối với phương pháp thứ nhất, ta thấy toàn bộ chương trình được viết trong chương trình chính, điều này làm cho chương trình chính rất rườm rà, khó đọc hiểu, khó kiểm soát, khó sửa lỗi, Đối với ph ương pháp thứ hai, trong chương trình chính ta chỉ thấy tên các chương trình con (nhap_du_lieu, xu_ly_du_lieu, xuat_du_lieu) và thông qua các tên này ta biết rõ chương trình chính làm những việc gì còn bản thân các việc ấy được làm như thế nào thì ta không cần biết. Ưu điểm của trừu tượng hoá quá trình Việc phân chia chương trình thành các chương trình con có các ưu điểm nổi bật như sau: - Ở chương trình chính, cái tổng thể được làm nổi bật, các chi tiết bị che dấu nên chương trình sáng sủa, dễ đọc hiểu. Program Quan_ly; Begin { Đoạn chương trình dùng cho việc nhập dữ liệu } { Đoạn chương trình dùng cho việc xử lý dữ liệu } { Đoạn chương trình dùng cho việc xuất dữ liệu } end. Program Quan_ly; Prcedure nhap_du_lieu; { Chương trình con nhập dữ liệu } Prcedure xu_ly_du_lieu; { Chương trình con xử lý dữ liệu } Prcedure xu_ly_du_lieu; { Chương trình con xuất dữ liệu } Begin {Chương trình chính} nhap_du_lieu; xu_ly_du_lieu; xuat_du_lieu; end. Chươn g t r ình khôn g có chươn g t r ình con Chươn g t r ình với chươn g t r ình con Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương V: Kiểu do người dùng đinh nghĩa 60 - Một chương trình con đã được thiết kế thì có thể gọi thực hiện nhiều lần mà không phải viết lại. Với việc truyền tham số cho chương trình con, ta nhận được các kết quả khác nhau ở các lần gọi khác nhau. - Khi xây dựng chương trình con ta có thể kiểm thử nó một cách độc lập, nên việc phát hiện và sửa lỗi dễ dàng hơn. - Do chương trình được chia thành nhiều chươ ng trình con, mỗi chương trình con có thể giao cho một hoặc một nhóm lập trình viên thực hiện nên tăng khả năng làm việc theo nhóm. 5.3.3 Trừu tượng hóa dữ liệu Trừu tượng hoá dữ liệu là việc tạo ra kiểu dữ liệu trừu tượng. Kiểu dữ liệu trừu tượng là một tập hợp các ĐTDL và tập hợp các phép toán, thao tác trên các ĐTDL đó. Ngày nay, khi ta nói kiểu dữ liệu thực chất là ki ểu dữ liệu trừu tượng. Kiểu dữ liệu trừu tượng có thể được định nghĩa bởi ngôn ngữ hoặc do người lập trình định nghĩa. Ví dụ về kiểu dữ liệu trừu tượng do ngôn ngữ định nghĩa: Kiểu integer trong Pascal hay kiểu int trong C là một kiểu dữ liệu trừu tượng do ngôn ngữ định nghĩa. Trong đó tập các ĐTDL là tập các số nguyên từ -32768 đế n 32767; tập hợp các phép toán bao gồm các phép toán một ngôi (+, -), các phép toán hai ngôi (+, -, *, DIV, MOD), các phép toán quan hệ (<, <=, =, <>, >=, >). Ví dụ về kiểu dữ liệu trừu tượng do người lập trình định nghĩa: Trong môn học cấu trúc dữ liệu, chúng ta đã biết một loạt các kiểu dữ liệu trừu tượng do người lập trình định nghĩa như danh sách, ngăn xếp, hàng đợi, cây, Chẳng hạn kiểu dữ liệu trừu tượng danh sách là một dãy các phần tử với tập hợp các phép toán như tạo danh sách rỗng, kiểm tra danh sách rỗng, xen một phần tử vào danh sách, xoá một phần tử khỏi danh sách, Sau đây ta sẽ nghiên cứu kỹ hơn về kiểu dữ liệu trừu tượng do người dùng định nghĩa. 5.4 ÐỊNH NGHĨA KIỂU 5.4.1 Khái niệm Ngoài các kiểu nguyên thuỷ được định nghĩa bởi ngôn ngữ, người lập trình còn có thể định nghĩa các kiểu của riêng mình. Ðịnh nghĩa một kiểu dữ liệu mới bao gồm việc xác định các yếu tố sau: - Tên của kiểu. - Sự biểu diễn bộ nhớ cho các đối tượng dữ liệu của kiểu. - Tập hợp các phép toán (các chương trình con) thao tác trên các đố i tượng dữ liệu của kiểu. Ví dụ trong Pascal ta xét định nghĩa kiểu như sau: TYPE Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương V: Kiểu do người dùng đinh nghĩa 61 RealVect = ARRAY[1 10] OF real; Sau đó ta có thể dùng phép khai báo biến: VAR A: RealVect; B,C:RealVect; Ưu điểm của định nghĩa kiểu: - Làm cho việc viết chương trinh trở nên ngắn gọn, sáng sủa hơn. - Khi cần thay đổi cấu trúc dữ liệu, chỉ cần thay đổi một lần ở mức định nghĩa kiểu chứ không cần phải thay đổi nhiều lần ở mức khai báo từng biến riêng biệt. Chúng ta thấ y rằng kiểu do người dùng định nghĩa chính là một kiểu dữ liệu trừu tượng. 5.4.2 Tính tương đương của các kiểu định nghĩa Kiểm tra kiểu dẫn tới sự so sánh giữa kiểu dữ liệu của đối số thực đã được cho của một phép toán và kiểu dữ liệu của đối số mà phép toán đó cần đến. Nếu kiểu giống nhau thì đối s ố được chấp nhận và phép toán được tiến hành, nếu kiểu khác nhau, thì một lỗi được xem xét hoặc một sự cưỡng bức chuyển đổi kiểu được dùng để đổi kiểu của đối số thực thành kiểu thích hợp. Vấn đề ở đây là cần phải xác định hai kiểu như thế nào thì được coi là "giống nhau" hay tương đương. Xét ví dụ sau đây: TYPE Vect1 = ARRAY[1 10] OF REAL; Vect2 = ARRAY[1 10] OF REAL; VAR x,z : Vect1; y : Vect2; PROCEDURE Sub(a:Vect1); END; { Sub } BEGIN { Chương trình chính } x := y; Sub(y); END. Vấn đề ở đây là các biến x, y và a có cùng kiểu do đó lệnh gán x := y và lời gọi chương trình con Sub(y) là đúng hay chúng có khác kiểu. Có hai cách giải quyết cho vấn đề này: tương đương tên và tương đương cấu trúc. 1/ Tương đương tên H ai kiểu dữ liệu được xem là tương đương chỉ khi chúng có tên giống nhau. Như vậy Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương V: Kiểu do người dùng đinh nghĩa 62 các kiểu Vect1 và Vect2 ở trên là khác kiểu mặc dù đối tượng dữ liệu có chung một cấu trúc. Lệnh gán x := y và lời gọi chuong trình con Sub(y) là không hợp lệ. Tương đương tên là phương pháp được dùng trong Ada và Pascal. Tương đương tên có một điểm yếu là khi một kiểu không có tên như trong khai báo trực tiếp: VAR w : ARRAY[1 10] OF REAL; Biến w có kiểu riêng nhưng là kiểu không có tên. Như vậy w không thể được dùng như là một đối số cho một phép toán mà phép toán đó đòi hỏi một đối s ố của một kiểu có tên. 2/ Tương đương cấu trúc Hai kiểu dữ liệu được xem là tương đương nếu chúng xác định các đối tượng dữ liệu có cấu trúc bên trong giống nhau. Thông thường thuật ngữ "cấu trúc bên trong giống nhau" có nghĩa là giống nhau về sự biểu diễn bộ nhớ được dùng cho cả hai lớp đối tượng dữ liệu. Ví dụ Vect1 và Vect2 là tương đương cấu trúc bởi vì mỗi mộ t đối tượng dữ liệu của kiểu Vect1 và mỗi một đối tượng dữ liệu của kiểu Vect2 có chung số phần tử có kiểu tương đương. Quản lý bộ nhớ đối với các đối tượng dữ liệu của cả hai kiểu này là giống nhau, do đó công thức truy nhập giống nhau có thể được sử dụng để lựa chọn các phần tử và nói chung sự cài đặ t tại thời gian thực hiện của các kiểu dữ liệu là giống hệt nhau. Tương đương cấu trúc không có các bất tiện như tương đương tên nhưng nó lại có những vấn đề khác, chẳng hạn như hai biến có thể tương đương cấu trúc một cách không cố ý mặc dù người lập trình đã khai báo chúng một cách tách biệt như trong ví dụ sau: TYPE Meters = INTEGER; Liters = INTEGER; VAR Len : Meters; Vol : Liters; Các biến Len và Vol có kiểu tương đương cấ u trúc và do đó một lỗi như phép cộng Len + Vol sẽ không được tìm thấy bởi phép kiểm tra kiểu tĩnh. Khi có nhiều lập trình viên làm việc chung trong một chương trình thì tương đương kiểu không cố ý có thể gây nên các lỗi rất nghiêm trọng như trong ví dụ nói trên. 5.5 CÂU HỎI ÔN TẬP 1. Thế nào là trừu tượng hoá quá trình? 2. Thế nào là trừu tượng hoá dữ liệu? 3. Lập trình theo kiểu trừu tượng hoá quá trình có những ưu điểm nào? 4. Định nghĩa kiểu dữ liệu có những ưu điểm nào? 5. Có những phương pháp nào để xác định sự tương đương của các kiểu dữ liệu. Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương VI: Chương trình con 63 CHƯƠNG 6: CHƯƠNG TRÌNH CON 6.1 TỔNG QUAN 6.1.1 Mục tiêu Sau khi học xong chương này, sinh viên cần phải nắm: - Khái niệm về chương trình con. - Cơ chế hoạt động khi chương trình con được gọi. - Các cách truyền tham số cho chương trình con. 6.1.2 Nội dung cốt lõi - Cơ chế hoạt động của chương trình con. - Các loại tham số của chương trình con. - Các cách truyền tham số cho chương trình con. 6.1.3 Kiến thức cơ bản cần thiết Kiến thức và kĩ năng lập trình căn bản 6.2 ÐỊNH NGHĨA CHƯƠNG TRÌNH CON Chương trình con là một phép toán trừu tượng được định nghĩa bởi người lập trình. Chương trình con có các đặc tính như sau: - Mỗi chương trình con có một điểm vào duy nhất. Chương trình gọi tạm ngừng việc thực hiện trong quá trình thực hiện chương trình con. - Ðiều khiển luôn được trả về chương trình gọi khi sự thực hiện chương trình con kết thúc. Khi nói đến chương trình con, chúng ta quan tâm đến hai khía cạ nh: sự định nghĩa chương trình con và lời gọi thực hiện chương trình con. Ðịnh nghĩa chương trình con là một đoạn chương trình nguồn được viết ra bởi người lập trình. 6.2.1 Ðặc tả chương trình con Sự đặc tả chương trình con bao gồm: - Tên của chương trình con - Số lượng các tham số, thứ tự của chúng và kiểu dữ liệu của mỗi mộ t tham số . - Số lượng các kết quả, thứ tự của chúng và kiểu dữ liệu của mỗi một kết quả. - Hoạt động được thực hiện bởi chương trình con. Chương trình con biểu diễn một hàm toán học, là một ánh xạ từ tập hợp các tham số đến tập hợp các kết quả. Chương trình con trả về một kết quả duy nhất trong tên ch ương trình con thường được gọi là một hàm. Cú pháp điển hình đặc tả hàm được quy định trong ngôn ngữ lập trình Pascal: Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương VI: Chương trình con 64 Function Ten_ham(Danh sách các tham số cùng với kiểu dữ liệu tương ứng): Kiểu kết quả trả về Ví dụ Function FN(x:real; y:integer) : real Ðặc tả này xác định hàm FN : REAL x INTEGER -> REAL Nếu chương trình con trả về nhiều hơn một kết quả hoặc không có kết quả trả về trong tên chương trình con thường được gọi là thủ tục (procedure hoặc subroutine). Cú pháp điển hình đặc tả thủ tục được quy định trong ngôn ngữ lập trình Pascal: Procedure Ten_thu_tuc(Danh sách các tham sốcùng với kiểu dữ liệu tương ứng) Ví dụ Procedure SUB(X:real; Y:Integer; Var Z:Real; Var U:boolean); Trong sự đặc tả này, tham số có tên đứng sau VAR biểu thị một kết quả hoặc một tham số có thể bị thay đổi. Cú pháp của sự đặc tả này trong Ada là: Procedure SUB(X: IN Real; Y: IN Integer; Z: IN OUT Real; U: OUT Boolean) Thủ tục này khai báo một chương trình con với sự xác định: SUB : Real x Integer x Real -> Real x Boolean Các từ IN, OUT và IN OUT phân biệt ba trường hợp sau đây: IN chỉ định một tham số không thể bị thay đổi bởi cương trình con, IN OUT chỉ định một tham số có thể bị thay đổi và OUT chỉ định một kết quả. Mặc dù chương trình con biểu diễn một hàm toán học nhưng nó cũng có các vấn đề tương tự như đối với các phép toán nguyên thuỷ: - Chương trình con có thể có các tham số ẩn trong dạng biến không địa phương mà nó tham chiếu. - Chương trình con có thể có kết quả ẩn (hiệu ứ ng lề) được trả về thông qua sự thay đổi các biến không địa phương hoặc thông qua việc thay đổi các tham số IN-OUT của nó. - Chương trình con có thể nhạy cảm với tiền sử (tự sửa đổi), vì vậy kết qủa của nó không chỉ phụ thuộc vào tham số được cho tại lần gọi đó mà còn phụ thuộc vào toàn bộ lịch sử các lần gọi trước đó. Nhạy cảm v ới tiền sử có thể do dữ liệu địa phương vẫn còn giữ lại giữa các lần gọi của chương trình con hoặc thông qua sự thay đổi mã riêng của nó (ít phổ biến hơn). 6.2.2 Cài đặt chương trình con Các phép toán nguyên thuỷ được cài đặt bằng cách dùng cấu trúc dữ liệu và các phép toán được cung cấp bởi máy tính ảo bên dưới ngôn ngữ lập trình. Chương trình con biểu diễn một phép toán được xây dựng bởi ngườ i lập trình và do đó chương trình con được cài đặt bằng cách dùng cấu trúc dữ liệu và các phép toán được cung cấp bởi chính bản thân ngôn ngữ lập trình đó. Sự cài đặt được xác định bởi thân chương trình con, bao gồm cả việc khai báo dữ liệu cục bộ xác định cấu trúc dữ liệu được dùng cho chương trình con và các lệnh xác định hành động sẽ làm khi chương trình con thực hiện. Sự khai báo và các lệnh thường được bao gói, người sử dụng chương trình con không thể truy xuất được tới dữ liệu cục bộ và các lệnh bên trong chương trình con. Người sử Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương VI: Chương trình con 65 dụng chỉ có thể gọi chương trình con với một tập hợp các tham số và nhận lại các kết quả đã được tính toán. Cú pháp của Pascal đối với chương trình con là điển hình: FUNCTION FN(x:REAL; y:INTEGER):REAL ; (Mô tả) VAR m : ARRAY[1 10] OF REAL; (Khai báo các đối n : INTEGER; tượng dữ liệu cục bộ) BEGIN . (Dãy các lệnh xác định . hành động của chương . trình con) END; Thông thường trong chương trình con có thể có các chương trình con khác biểu thị các phép toán được định nghĩa bởi ngườ i lập trình dùng cho chỉ chương trình con chứa chúng. Những chương trình con "cục bộ" này được bao gói, nghĩa là chúng không thể được gọi tới từ bên ngoài chương trình con chứa chúng. Kiểm tra kiểu cũng là một vấn đề quan trọng đối với chương trình con. Mỗi lần gọi chương trình con đòi hỏi các tham số có kiểu đúng như đã được xác định trong sự đặc tả chương trình con. Kiểu của kết quả được trả về của chương trình con cũng phải được biết đến. Vấn đề kiểm tra kiểu tương tự như đối với các phép toán nguyên thuỷ. Kiểm tra kiểu có thể được thực hiện một cách tĩnh trong quá trình dịch, nếu đã có sự khai báo kiểu cho các tham số và kết quả của mỗi một chương trình con. Mặt khác kiểm tra kiểu có thể là động trong quá trình thực hiện chương trình. Sự chuy ển đổi kiểu ẩn các tham số để đổi chúng thành các kiểu đúng cũng có thể được cung cấp một cách tự động bởi sự cài đặt ngôn ngữ. 6.3 CƠ CHẾ GỌI CHƯƠNG TRÌNH CON 6.3.1 Ðịnh nghĩa và kích hoạt chương trình con Người lập trình viết một định nghĩa chương trình con trong chương trình. Thông qua việc thực hiện chương trình, nếu chương trình con được gọi thì một kích hoạt chương trình con (subprogram activation) được tạo ra. Khi sự thực hiện chương trình con kết thúc thì kích hoạt bị phá huỷ. Nếu có một lần gọi khác thì một kích hoạt mới sẽ được tạo ra. Như vậy từ mộ t định nghĩa chương trình con, có nhiều kích hoạt có thể được tạo trong quá trình thực hiện chương trình. Sự định nghĩa dùng làm khuôn mẫu (template) cho việc tạo kích hoạt trong quá trình thực hiện. Chú ý rằng sự định nghĩa là một sự diễn tả trong chương trình như nó đã được viết ra và do đó nó được biết đến trong quá trình dịch. Kích hoạt chương trình con chỉ có thể có trong quá trình thực hiện. Trong quá trình thực hiện, sự đị nh nghĩa chỉ tồn tại trong dạng khuôn mẫu mà từ đó các kích hoạt có thể được tạo ra. 6.3.2 Cài đặt định nghĩa và kích hoạt chương trình con Xét lại định nghĩa chương trình con trong Pascal: FUNCTION FN(x : REAL; y : INTEGER) : REAL; CONST max = 20; Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương VI: Chương trình con 66 VAR m : ARRAY[1 max] OF REAL; n : INTEGER; BEGIN n := MAX; x := 2 * x + m[5]; END; Sự định nghĩa này xác định các thành phần cần thiết cho một kích hoạt chương trình con: 1/ Bộ nhớ đối với các tham số, đối tượng dữ liệu x và y. 2/ Bộ nhớ cho kết quả hàm, đối tượng dữ liệu của kiểu REAL; 3/ Bộ nhớ cho biến cục bộ, mảng m và biến n. 4/ Bộ nhớ cho các hằng trực kiện và các hằng, 20, 2 và 5. 5/ Bộ nh ớ cho mã có thể thực hiện phát sinh từ các lệnh trong thân chương trình con. Ðịnh nghĩa chương trình con cho phép các vùng nhớ này được tổ chức và các mã có thể thực hiện được xác định thông qua việc dịch. Kết quả của việc dịch là khuôn mẫu dùng để xây dựng mỗi một kích hoạt riêng tại thời gian chương trình con được gọi trong quá trình thực hiện. Ðể xây dựng một kích hoạt chương trình con từ khuôn mẫu của nó, cái khuôn mẫ u ban đầu có thể phải được sao chép vào trong vùng mới của bộ nhớ. Tuy nhiên thay vì sao chép hoàn toàn, nó được tách ra thành hai phần: 1/ Phần tĩnh, gọi là đoạn mã (code segment) bao gồm các mục 4 (các hằng) và 5 (các mã có thể thực hiện được) đã nói ở trên. Phần tĩnh không thay đổi trong quá trình thực hiện chương trình con và do thế một bản sao có thể được dùng cho tất cả các kích hoạt. 2/ Phần động, gọi là mẩu tin kích hoạt (Activation record) bao gồm các mục 1 (Các tham số), 2 (Kết qu ả hàm) và 3 (dữ liệu cục bộ) và cộng thêm nhiều mục khác của dữ liệu ẩn như vùng nhớ tạm, điểm trở về, và sự tham khảo các biến không cục bộ. Phần động có cấu trúc giống nhau cho tất cả các kích hoạt nhưng nó chứa các giá trị dữ liệu khác nhau cho mỗi một kích họat. Do đó mỗi một kích hoạt cần thiết phải có một bản sao mẩu tin kích ho ạt riêng của nó. Hình vẽ sau trình bày cấu trúc của một kích hoạt chương trình con của hàm FN nói trên Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương VI: Chương trình con 67 Mở đầu Mã lệnh có thể thực hiện Khối mã có thể thực hiện Kết thúc Đoạn mã của FN 20 2 Các hằng 5 1 Ðiểm trở về FN Kết quả của hàm x Các tham số Mẩu tin kích họat của FN y m : : : Các biến cục bộ n Ðối với mỗi chương trình con, một đoạn mã tồn tại thông qua sự thực hiện chương trình. Các mẩu tin kích hoạt được tạo ra và huỷ bỏ một cách động thông qua thực hiện mỗi lần chương trình con được gọi và mỗi lần nó kết thúc bởi RETURN. Kích thước và cấu trúc của mẩu tin kích hoạt của chương trình con thông thường được xác định trong quá trình dịch, đó là trình biên dịch (compile) có thể xác định mẩu tin kích hoạt lớn như thế nào và vị trí của mỗi một phần tử trong đó. Ðể truy xuất đến các phần tử có thể sử dụng công thức tính địa chỉ cơ sở cộng độ dời như đã trình bày đối với mẩu tin bình thường. Kích họat đầu tiên Kích họat thứ hai Kích họat cuối cùn g Ðọan mã của FN Mẩu tin kích họat của FN Mẩu tin kích họat của FN Mẩu tin kích họat của FN Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Ngôn ngữ lập trình Chương VI: Chương trình con 68 6.4 CHƯƠNG TRÌNH CON CHUNG Sự đặc tả chương trình con thông thường liệt kê số lượng, thứ tự và kiểu dữ liệu của các tham số. Chương trình con chung (generic subprogram) là một chương trình con có một tên nhưng có nhiều định nghĩa khác nhau, được phân biệt bởi số lượng, thứ tự và kiểu dữ liệu của các tham số. Khái niệm về phép toán chung đã được đề cập trong chương II (phần mục đích của sự khai báo). Một khi phép toán hay ch ương trình con chung xuất hiện, vấn đề cơ bản đối với trình biên dịch là làm sao xác định được đúng ý nghĩa của nó trong một tập hợp nhiều ý nghĩa có thể có. Thông tin về đối số của phép toán hoặc tham số của chương trình con giúp chương trình dịch nhận biết ý nghĩa đích thực của chương trình con chung. 6.5 TRUYỀN THAM SỐ CHO CHƯƠNG TRÌNH CON 6.5.1 Khái niệm truyền tham số Truyền tham số là phương pháp chuyển giao dữ liệu giữa các đơn vị chương trình nhằm đạt được các kết quả khác nhau khi gọi thực hiện chương trình con. Tham số có hai loại là tham số hình thức và tham số thực tế. Tham số hình thức là một loại đặc biệt của ÐTDL cục bộ trong chương trình con. Nó được xác định lúc định nghĩa chương trình con. Khi định nghĩa chương trình con, ph ải xác định một danh sách các tham số hình thức cùng với khai báo kiểu tương ứng. Tham số thực tế là một ÐTDL được chia sẻ cho chương trình con bằng cách truyền trong lời gọi thực hiện chương trình con. 6.5.2 Sự tương ứng giữa tham số tham số thực tế và tham số hình thức Khi một chương trình con được gọi cùng với một danh sách các tham số thực tế thì đòi hỏi phải có một sự tương ứng giữa các tham số hình thức và tham số thực tế. Sự tương ứng này nhằm để xác định tham số thực tế nào được truyền cho tham số hình thức nào. Có hai phương pháp để xác định sự tương ứng này: Tương ứng vị trí: Sự tương ứng giữa các cặp tham số thực tế và tham số hình thức đặt cơ sở trên sự tương ứng vị trí của chúng trong danh sách các tham s ố thực tế lúc gọi và danh sách các tham số hình thức trong định nghĩa chương trình con. Hầu hết các ngôn ngữ đều dùng tương ứng vị trí và số lượng các tham số hình thức và tham số thực tế là bằng nhau do đó các cặp tương ứng là duy nhất. Tuy nhiên cũng có những ngôn ngữ cho phép lời gọi chương trình con không cần cung cấp đủ số lượng tham số thực tế. Tương ứng tên: Tham số hình thức b ắt cặp với tham số thực tế được chỉ định trong lời gọi chương trình con. Ví dụ trong Ada có lời gọi chương trình con như sau: SUB(y => B, x => 27). Trong đó tham số thực tế B bắt cặp với tham số hình thức y và tham số thực tế 27 bắt cặp với tham số hình thức x. Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . . chương trình con: 1/ Bộ nhớ đối với các tham số, đối tượng dữ liệu x và y. 2/ Bộ nhớ cho kết quả hàm, đối tượng dữ liệu của kiểu REAL; 3/ Bộ nhớ cho biến cục bộ, mảng m và biến n. 4/ Bộ nhớ. ta nói kiểu dữ liệu thực chất là ki ểu dữ liệu trừu tượng. Kiểu dữ liệu trừu tượng có thể được định nghĩa bởi ngôn ngữ hoặc do người lập trình định nghĩa. Ví dụ về kiểu dữ liệu trừu tượng do. diễn bộ nhớ được dùng cho cả hai lớp đối tượng dữ liệu. Ví dụ Vect1 và Vect2 là tương đương cấu trúc bởi vì mỗi mộ t đối tượng dữ liệu của kiểu Vect1 và mỗi một đối tượng dữ liệu của kiểu Vect2