Tham khảo tài liệu ''giáo trình phân tích quy trình ứng dụng điều phối đối tượng dữ liệu mang bộ mô tả kiểu động p3'', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
h a n g e Vi e c u -tr a c k w y N c bu to k lic 5.3.2 Trừu tượng hóa q trình Trừu tượng hóa trình việc phân chia chương trình thành chương trình Mỗi chương trình đảm nhiệm tác vụ đặc trưng tên Ở cấp độ chương trình gọi thực chương trình con, thơng qua tên chương trình con, để thực tác vụ mà chương trình đảm trách Như vậy, chương trình chính, quan tâm đến kết chương trình mang lại mà khơng cần biết chi tiết cài đặt bên chương trình Ví dụ để viết chương trình quản lý, ta viết theo hai cách, cách thứ khơng phân chia thành chương trình cách thứ hai có sử dụng chương trình Program Quan_ly; Begin { -Đoạn chương trình dùng cho việc nhập liệu -} { -Đoạn chương trình dùng cho việc xử lý liệu -} { -Đoạn chương trình dùng cho việc xuất liệu -} Program Quan_ly; Prcedure nhap_du_lieu; { Chương trình nhập liệu } Prcedure xu_ly_du_lieu; { Chương trình xử lý liệu } Prcedure xu_ly_du_lieu; { Chương trình xuất liệu } Begin {Chương trình chính} nhap_du_lieu; xu_ly_du_lieu; xuat_du_lieu; end end Chương trình khơng có chương trình Chương trình với chương trình Đối với phương pháp thứ nhất, ta thấy tồn chương trình viết chương trình chính, điều làm cho chương trình rườm rà, khó đọc hiểu, khó kiểm sốt, khó sửa lỗi, Đối với phương pháp thứ hai, chương trình ta thấy tên chương trình (nhap_du_lieu, xu_ly_du_lieu, xuat_du_lieu) thơng qua tên ta biết rõ chương trình làm việc cịn thân việc làm ta khơng cần biết Ưu điểm trừu tượng hố q trình Việc phân chia chương trình thành chương trình có ưu điểm bật sau: - Ở chương trình chính, tổng thể làm bật, chi tiết bị che dấu nên chương trình sáng sủa, dễ đọc hiểu 59 d o m o m w o d o Chương V: Kiểu người dùng đinh nghĩa w w w w w C lic k to bu Ngôn ngữ lập trình C y N O W ! XC er O W F- w PD h a n g e Vi e ! XC er PD F- c u -tr a c k c w y N O W ! PD k to bu Chương V: Kiểu người dùng đinh nghĩa c - Một chương trình thiết kế gọi thực nhiều lần mà viết lại Với việc truyền tham số cho chương trình con, ta nhận kết khác lần gọi khác - Khi xây dựng chương trình ta kiểm thử cách độc lập, nên việc phát sửa lỗi dễ dàng - Do chương trình chia thành nhiều chương trình con, chương trình giao cho một nhóm lập trình viên thực nên tăng khả làm việc theo nhóm 5.3.3 Trừu tượng hóa liệu Trừu tượng hoá liệu việc tạo kiểu liệu trừu tượng Kiểu liệu trừu tượng tập hợp ĐTDL tập hợp phép toán, thao tác ĐTDL Ngày nay, ta nói kiểu liệu thực chất kiểu liệu trừu tượng Kiểu liệu trừu tượng định nghĩa ngơn ngữ người lập trình định nghĩa Ví dụ kiểu liệu trừu tượng ngôn ngữ định nghĩa: Kiểu integer Pascal hay kiểu int C kiểu liệu trừu tượng ngơn ngữ định nghĩa Trong tập ĐTDL tập số nguyên từ -32768 đến 32767; tập hợp phép toán bao gồm phép toán ngơi (+, -), phép tốn hai ngơi (+, -, *, DIV, MOD), phép toán quan hệ () Ví dụ kiểu liệu trừu tượng người lập trình định nghĩa: Trong mơn học cấu trúc liệu, biết loạt kiểu liệu trừu tượng người lập trình định nghĩa danh sách, ngăn xếp, hàng đợi, cây, Chẳng hạn kiểu liệu trừu tượng danh sách dãy phần tử với tập hợp phép toán tạo danh sách rỗng, kiểm tra danh sách rỗng, xen phần tử vào danh sách, xoá phần tử khỏi danh sách, Sau ta nghiên cứu kỹ kiểu liệu trừu tượng người dùng định nghĩa 5.4 ÐỊNH NGHĨA KIỂU 5.4.1 Khái niệm Ngoài kiểu nguyên thuỷ định nghĩa ngơn ngữ, người lập trình cịn định nghĩa kiểu riêng Ðịnh nghĩa kiểu liệu bao gồm việc xác định yếu tố sau: - Tên kiểu - Sự biểu diễn nhớ cho đối tượng liệu kiểu - Tập hợp phép toán (các chương trình con) thao tác đối tượng liệu kiểu Ví dụ Pascal ta xét định nghĩa kiểu sau: TYPE 60 d o m o m w o c u -tr a c k h a n g e Vi e lic O W N y bu to k lic C Ngơn ngữ lập trình w w d o XC er w w w F- w C h a n g e Vi e ! XC er PD F- c u -tr a c k c h a n g e Vi e c u -tr a c k w y N c bu to k lic RealVect = ARRAY[1 10] OF real; Sau ta dùng phép khai báo biến: VAR A: RealVect; B,C:RealVect; Ưu điểm đị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 - Khi cần thay đổi cấu trúc liệu, cần thay đổi lần mức định nghĩa kiểu không cần phải thay đổi nhiều lần mức khai báo biến riêng biệt Chúng ta thấy kiểu người dùng định nghĩa kiểu liệu trừu tượng 5.4.2 Tính tương đương kiểu định nghĩa Kiểm tra kiểu dẫn tới so sánh kiểu liệu đối số thực cho phép toán kiểu liệu đối số mà phép tốn cần đến Nếu kiểu giống đối số chấp nhận phép toán tiến hành, kiểu khác nhau, lỗi xem xét cưỡng chuyển đổi kiểu dùng để đổi kiểu đối số thực thành kiểu thích hợp Vấn đề cần phải xác định hai kiểu coi "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 } x := y; Sub(y); END Vấn đề biến x, y a có kiểu lệnh gán x := y lời gọi chương trình Sub(y) hay chúng có khác kiểu Có hai cách giải cho vấn đề này: tương đương tên tương đương cấu trúc 1/ Tương đương tên H kiểu liệu xem tương đương chúng có tên giống Như 61 d o m o m w o d o Chương V: Kiểu người dùng đinh nghĩa w w w w w C lic k to bu Ngôn ngữ lập trình C y N O W ! XC er O W F- w PD h a n g e Vi e ! XC er PD F- c u -tr a c k c y bu to k kiểu Vect1 Vect2 khác kiểu đối tượng liệu có chung cấu trúc Lệnh gán x := y lời gọi chuong trình Sub(y) không hợp lệ Tương đương tên phương pháp dùng Ada Pascal Tương đương tên có điểm yếu kiểu khơng có tên khai báo trực tiếp: VAR w : ARRAY[1 10] OF REAL; Biến w có kiểu riêng kiểu khơng có tên Như w khơng thể dùng đối số cho phép tốn mà phép tốn địi hỏi đối số kiểu có tên 2/ Tương đương cấu trúc Hai kiểu liệu xem tương đương chúng xác định đối tượng liệu có cấu trúc bên giống Thông thường thuật ngữ "cấu trúc bên giống nhau" có nghĩa giống biểu diễn nhớ dùng cho hai lớp đối tượng liệu Ví dụ Vect1 Vect2 tương đương cấu trúc đối tượng liệu kiểu Vect1 đối tượng liệu kiểu Vect2 có chung số phần tử có kiểu tương đương Quản lý nhớ đối tượng liệu hai kiểu giống nhau, cơng thức truy nhập giống sử dụng để lựa chọn phần tử nói chung cài đặt thời gian thực kiểu liệu giống hệt Tương đương cấu trúc bất tiện tương đương tên lại có vấn đề khác, chẳng hạn hai biến tương đương cấu trúc cách khơng cố ý người lập trình khai báo chúng cách tách biệt ví dụ sau: TYPE Meters = INTEGER; Liters = INTEGER; VAR Len : Meters; Vol : Liters; Các biến Len Vol có kiểu tương đương cấu trúc lỗi phép cộng Len + Vol khơng tìm thấy phép kiểm tra kiểu tĩnh Khi có nhiều lập trình viên làm việc chung chương trình tương đương kiểu khơng cố ý gây nên lỗi nghiêm trọng ví dụ nói CÂU HỎI ƠN TẬP Thế trừu tượng hố q trình? Thế trừu tượng hố liệu? Lập trình theo kiểu trừu tượng hố q trình có ưu điểm nào? Định nghĩa kiểu liệu có ưu điểm nào? Có phương pháp để xác định tương đương kiểu liệu 62 d o m o m w c 5.5 w N O W ! PD Chương V: Kiểu người dùng đinh nghĩa o c u -tr a c k h a n g e Vi e lic O W N y C lic k to bu Ngơn ngữ lập trình w w d o XC er w w w F- w C h a n g e Vi e ! XC er PD F- c u -tr a c k c h a n g e Vi e y N c CHƯƠNG 6: CHƯƠNG TRÌNH CON 6.1 TỔNG QUAN 6.1.1 Mục tiêu Sau học xong chương này, sinh viên cần phải nắm: - Khái niệm chương trình - Cơ chế hoạt động chương trình gọi - Các cách truyền tham số cho chương trình 6.1.2 Nội dung cốt lõi - Cơ chế hoạt động chương trình - Các loại tham số chương trình - Các cách truyền tham số cho chương trình 6.1.3 Kiến thức cần thiết Kiến thức kĩ lập trình 6.2 ÐỊNH NGHĨA CHƯƠNG TRÌNH CON Chương trình phép toán trừu tượng định nghĩa người lập trình Chương trình có đặc tính sau: - Mỗi chương trình có điểm vào Chương trình gọi tạm ngừng việc thực trình thực chương trình - Ðiều khiển ln trả chương trình gọi thực chương trình kết thúc Khi nói đến chương trình con, quan tâm đến hai khía cạnh: định nghĩa chương trình lời gọi thực chương trình Ðịnh nghĩa chương trình đoạn chương trình nguồn viết người lập trình 6.2.1 Ðặc tả chương trình Sự đặc tả chương trình bao gồm: - Tên chương trình - Số lượng tham số, thứ tự chúng kiểu liệu tham số - Số lượng kết quả, thứ tự chúng kiểu liệu kết - Hoạt động thực chương trình Chương trình biểu diễn hàm tốn học, ánh xạ từ tập hợp tham số đến tập hợp kết Chương trình trả kết tên chương trình thường gọi hàm Cú pháp điển hình đặc tả hàm quy định ngơn ngữ lập trình Pascal: 63 bu to k d o m o o c u -tr a c k w lic w w w d o Chương VI: Chương trình m C lic k to bu Ngơn ngữ lập trình w w w C y N O W ! XC er O W F- w PD h a n g e Vi e ! XC er PD F- c u -tr a c k c ... hai lớp đối tượng liệu Ví dụ Vect1 Vect2 tương đương cấu trúc đối tượng liệu kiểu Vect1 đối tượng liệu kiểu Vect2 có chung số phần tử có kiểu tương đương Quản lý nhớ đối tượng liệu hai kiểu giống... trừu tượng Kiểu liệu trừu tượng tập hợp ĐTDL tập hợp phép tốn, thao tác ĐTDL Ngày nay, ta nói kiểu liệu thực chất kiểu liệu trừu tượng Kiểu liệu trừu tượng định nghĩa ngơn ngữ người lập trình. .. Chúng ta thấy kiểu người dùng định nghĩa kiểu liệu trừu tượng 5.4.2 Tính tương đương kiểu định nghĩa Kiểm tra kiểu dẫn tới so sánh kiểu liệu đối số thực cho phép toán kiểu liệu đối số mà phép