Lý thuyết ngôn ngữ lập trình Chương CHƯƠNG TRÌNH CON Nội dung Khái niệm Đặc tả cài đặt chương trình Phương pháp truyền tham số cho chương trình chương trình chung Đồng thường trình Thực thi chương trình Khái niệm Có hai khả trừu tượng hoá bao gồm NNLT là: • trừu tượng hoá trình • trừu tượng hoá liệu Trong thời kỳ đầu NNLT bậc cao, có trừu tượng hoá trình Trong thập niên 80 kỷ 20, nhiều người bắt đầu tin trừu tượng hoá liệu quan trọng trừu tượng hoá trình Khái niệm Máy tính lập trình đầu tiên, Babbages’s Analytical Engine, xây dựng năm 1940, có khả sử dụng lại tập hợp thẻ đục lỗ mang lệnh vị trí khác chương trình Trong NNLT đại, thẻ đục lỗ mang lệnh giống tập hợp câu lệnh viết gọi chương trình Chương trình phép toán trừu tượng định nghĩa người lập trình Khái niệm (tt) Chương trình có đặc tính chung sau: - Tất chương trình có điểm vào (entry point) - Chương trình gọi bị tạm dừng suốt thời gian gọi chương trình thực thi, có nghĩa có chương trình (thuộc chương trình đó) thực thi thời gian - Điều khiển luôn trả cho chương trình gọi việc thực thi chương trình kết thúc Đặc tả cài đặt chương trình Đặ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 Đặc tả cài đặt chương trình Chương trình biểu diễn hàm toá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 C sau: < Tên hàm > (< danh sách đối số>) < Khai báo biến > { < Các câu lệnh > } Đặc tả cài đặt chương trình (tt) Trong : + Tên hàm : buộc phải có + Danh sách đối số : không bắt buộc Có hay không tuỳ theo định dùng hàm làm + Khai báo biến : Nếu Danh sách đối số mà có phần buộc phải có Còn không ngược lại bỏ qua + Phần { } : thân hàm Dấu { } bắt buộc hàm + < Khai báo tham biến > : sau { gọi biến cục dành riêng cho hàm sử dụng + đối số luôn truyền theo trị ( không thay đổi giá trị) Đặc tả cài đặt chương trình (tt) Ví dụ : Chương trình C tính giai thừa có sử dụng chương trình #include unsigned long giaithua(int n) { unsigned long ketqua = 1; int i; for (i=2; i[...]... trong chương trình con Người sử 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 tả và cài đặt chương trình con (tt) Thông thường trong chương trình con còn 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 và các chương trình con đó chỉ dùng cho chương trình con chứa chúng Những chương trình. .. đặt chương trình con (tt) 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. .. ngôn ngữ lập trình đó Đặc tả và cài đặt chương trình con (tt) 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 Đặc tả và cài đặt chương trình con (tt) 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... được gọi tới từ bên ngoài chương trình con chứa chúng Đặc tả và cài đặt chương trình con (tt) 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 Đặc tả và cài đặt chương trình con (tt) Vấn đề kiểm...Đặc tả và cài đặt chương trình con (tt) 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 tả và cài đặt chương trình con (tt) Chúng ta xét một thủ tục được viết trong ngôn ngữ lập trình Pascal như sau: Ví dụ: Procedure Docdl; Var i:integer; Begin... 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ữ Đặc tả và cài đặt chương trình con (tt) Ví dụ 8. 3: #include ... hai việc đó Phương pháp truyền tham số cho chương trình con (tt) Có nhiều phương pháp truyền tham số được phát triển bởi các nhà thiết kế ngôn ngữ để lập trình viên có thể lựa chọn để xác định khai báo tham số hình thức khi định nghĩa chương trình con và cung cấp các tham số thực tế khi thực hiện gọi chương trình con Phương pháp truyền tham số cho chương trình con (tt) Truyền bằng giá trị (Pass-by-Value)... pháp truyền tham số cho chương trình con Tham số thực tế là một ÐTDL được gởi 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 Hay nói cách khác, tham số thực tế là giá trị của biến tại thời gian chạy chương trình Thông thường, tham số hình thức được gọi là tham số, còn tham số thực tế còn được gọi là đối số Phương pháp truyền tham số cho chương trình con (tt) Chúng ta... Phương pháp truyền tham số cho chương trình con là lộ trình mà trên đó các tham số được truyền đến và/hoặc truyền từ các chương trình con được gọi 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ố... của tham số hình thức Trong quá trình thực hiện chương trình con, mọi thao tác trên tham số hình thức là sự thao tác trên ô nhớ riêng của nó, không ảnh hưởng đến tham số thực tế Khi chương trình con kết thúc, sự thay đổi giá trị của tham số hình thức, không làm ảnh hưởng đến giá trị của tham số thực tế Phương pháp truyền tham số cho chương trình con (tt) Ví dụ : Chương trình hoán vị 2 số nguyên #include ... bên ngôn ngữ lập trình Chương trình biểu diễn phép toán xây dựng người lập trình chương trình cài đặt cách dùng cấu trúc liệu phép toán cung cấp thân ngôn ngữ lập trình Đặc tả cài đặt chương trình. .. Điều khiển luôn trả cho chương trình gọi việc thực thi chương trình kết thúc Đặc tả cài đặt chương trình Đặ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... trình có chương trình khác biểu thị phép toán định nghĩa người lập trình chương trình dùng cho chương trình chứa chúng Những chương trình "cục bộ" bao gói, nghĩa chúng gọi tới từ bên chương trình