TAILIEUCHUNG - Tài liệu trình biên dịch C (ĐH Cần Thơ) part 21

TRUY XUẤT TÊN KHÔNG CỤC BỘ 1. Quy tắc tầm vực Quy tắc tầm vực của ngôn ngữ sẽ xác định việc xử lý khi tham khảo đến các tên không cục bộ. Quy tắc tầm vực bao gồm hai loại: Quy tắc tầm tĩnh và quy tắc tầm động. Quy tắc tầm tĩnh (static - scope rule): Xác định sự khai báo áp dụng cho một tên bằng cách kiểm tra văn bản chương trình nguồn. Các ngôn ngữ Pascal, C và Ada sử dụng quy tắc tầm tĩnh với một quy định bổ sung: “tầm gần nhất”. Quy. | IV. TRUY XUẤT TÊN KHÔNG CỤC BỘ 1. Quy tắc tầm vực Quy tắc tầm vực của ngôn ngữ sẽ xác định việc xử lý khi tham khảo đến các tên không cục bộ. Quy tắc tầm vực bao gồm hai loại Quy tắc tầm tĩnh và quy tắc tầm động. Quy tắc tầm tĩnh static - scope rule Xác định sự khai báo áp dụng cho một tên bằng cách kiểm tra văn bản chương trình nguồn. Các ngôn ngữ Pascal C và Ada sử dụng quy tắc tầm tĩnh với một quy định bổ sung tầm gần nhất . Quy tắc tầm động dynamic- scope rule Xác định sự khai báo có thể áp dụng cho một tên tại thời gian thực hiện bằng cách xem xét hoạt động hiện hành. Các ngôn ngữ Lisp APL và Snobol sử dụng quy tắc tầm động. 2. Cấu trúc khối Một khối bắt đầu bởi một tập hợp các khai báo cho tên khai báo biến định nghĩa kiểu định nghĩa hằng. sau đó là một tập hợp các lệnh mà trong đó các tên có thể được tham khảo. Cấu trúc khối thường được sử dụng trong các ngôn ngữ cấu trúc như Pascal Ada PL 1. Trong đó chương trình hay chương trình con được tổ chức thành các khối lồng nhau. 153 Ngôn ngữ cấu trúc khối sử dụng quy tắc tầm tĩnh. Tầm của một khai báo được cho bởi quy tắc tầm gần nhất most closely nested . 1. Một khai báo tại đầu một khối xác định một tên cục bộ trong khối đó. Bất kỳ một tham khảo tới tên trong thân khối được xem xét như là một tham khảo tới dữ liệu cục bộ trong khối nếu nó tồn tại. 2. Nếu một tên x được tham khảo trong thân một khối B và x không được khai báo trong B thì x được xem như là một sự tham khảo tới sự khai báo trong B là khối nhỏ nhất chứa B. Nếu trong B không có một khai báo cho x thì lại tham khảo tới B là khối nhỏ nhất chứa B . 3. Nếu một khối chứa định nghĩa các khối khác thì mọi khai báo trong các khối con hoàn toàn bị che dấu đối với khối ngoài. Cấu trúc khối có thể cài đặt bằng cách sử dụng cơ chế cấp phát Stack. Khi điều khiển đi vào một khối thì ô nhớ cho các tên được cấp phát và chúng bị thu hồi khi điều khiển rời khỏi khối. 3. Tầm tĩnh với các chương trình con không lồng nhau Quy tắc tầm tĩnh của ngôn ngữ C đơn giản hơn so .

• Kỹ thuật lập trình
• trình biên dịch c
• thủ thuật lập trình
• lập trình c
• tài liệu trình biên dịch
• biên dịch c