ÐỊ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.

Ðặc tả chương trình con

Sự đặc tả chương trình con bao gồm:

<LI class=item>Tên của chương trình con
<LI class=item>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ố .
<LI class=item>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:
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).

ai có jì thắc mắc thì cứ hỏi