slide trình phiên dịch chương 5 kiểm tra kiểu

CHƢƠNG V Kiểm tra kiểu Mục tiêu: • Nắm cách định nghĩa hệ thống kiểu ngôn ngữ lập trình • Cách kiểm tra kiểu q trình biên dịch CuuDuongThanCong.com https://fb.com/tailieudientucntt Biểu thức kiểu • Kiểu ngơn ngữ lập trình kí hiệu biểu thức kiểu (type expression) • Biểu thức kiểu định nghĩa sau: Kiểu sở biểu thức kiểu: boolean, char, integer, real, type_error, void Một tên kiểu biểu thức kiểu Mỗi kiểu liệu có cấu trúc biểu thức kiểu, cấu trúc bao gồm: CuuDuongThanCong.com https://fb.com/tailieudientucntt a Mảng (array): Nếu T biểu thức kiểu array(I, T) biểu thức kiểu Một mảng có tập số I phần tử có kiểu T b Tích (product): Nếu T1, T2 biểu thức kiểu tích Đề- T1* T2 biểu thức kiểu c Bản ghi (record): Là cấu trúc bao gồm tên trường, kiểu trường d Con trỏ (pointer): Nếu T biểu thức kiểu pointer(T) biểu thức kiểu T e Hàm (function): Hàm ánh xạ phần tử tập xác định (domain) D lên tập giá trị (range) R Một hàm biểu thức kiểu D R CuuDuongThanCong.com https://fb.com/tailieudientucntt Đặc tả kiểm tra kiểu đơn giản • Trong phần mơ tả kiểm tra kiểu cho ngôn ngữ đơn giản kiểu định danh khai báo trước sử dụng • Bộ kiểm tra kiểu (type checker) lược đồ dịch, tổng hợp kiểu biểu thức từ kiểu biểu thức CuuDuongThanCong.com https://fb.com/tailieudientucntt • Định nghĩa ngôn ngữ đơn giản: Văn phạm sau sinh chương trình, biểu diễn ký hiệu chưa kết thúc P chứa chuỗi khai báo D biểu thức đơn giản E P D;E D D ; D | id : T T char | integer | array[num] of T | T E literal | num | id | E mod E | E [E] | E Ví dụ 5.1: Chương trình sau sinh văn phạm key: integer; key mod 1999 CuuDuongThanCong.com https://fb.com/tailieudientucntt • Ta có lược đồ dịch để lưu trữ kiểu định danh P D;E D D;D D id : T {addtype(id.entry, T.type) } T char {T.type := char } T integer {T.type := integer } T T T1 {T.type := pointer(T1.type) } array[num] of T1 {T.type := array(1 num.val, T1.type) } CuuDuongThanCong.com https://fb.com/tailieudientucntt Kiểm tra kiểu biểu thức • Lược đồ dịch cho kiểm tra kiểu biểu thức: E E E E literal num id E1 mod E2 E E1[E2] E E1 {E.type := char } {E.type := integer } {E.type := lookup(id.entry) } {E.type := if E1.type = integer and E2.type = integer then integer else type_error } {E.type := if E2.type =integer and E1.type = array(s,t) then t else type_error } { E.type := if E1.type = pointer(t) then t else type_error } CuuDuongThanCong.com https://fb.com/tailieudientucntt Kiểm tra kiểu câu lệnh • Các câu lệnh cấu tạo lên ngơn ngữ khơng có giá trị, ta gán cho chúng kiểu void • Lược đồ dịch cho kiểm tra kiểu lệnh: S id := E S if E then S1 S while E S1 S S1 ; S2 { S.type := if id.type = E.type then void else type_error } {S.type := if E.type = boolean then S1.type else type_error } {S.type := if E.type = boolean then S1.type else type_error } {S.type := if S1.type = void and S2.type = void then void else type_error } CuuDuongThanCong.com https://fb.com/tailieudientucntt Kiểm tra kiểu hàm • Việc ghép hàm với đối (argument) diễn đạt luật sinh: E E(E) • Lược đồ dịch kiểm tra kiểu cho hàm: E E1 (E2) {E.type := if E2.type = s and E1.type = s -> t then t else type_error } • Nếu có nhiều đối có kiểu tương ứng T1, T2, , Tn coi đối có kiểu T1*T2* *Tn CuuDuongThanCong.com https://fb.com/tailieudientucntt Chuyển đổi kiểu • Xét biểu thức x + i x có kiểu real i có kiểu integer Trình biên dịch thực việc chuyển đổi kiểu để hai toán hạng có kiểu phép tốn cộng xảy • Bộ kiểm tra kiểu trình biên dịch thêm phép toán biến đổi kiểu vào biểu diễn trung gian chương trình nguồn • Chẳng hạn ký hiệu hậu tố x + i là: x i inttoreal real+ (inttoreal đổi số nguyên i thành số thực, real+ thực phép cộng số thực) 10 CuuDuongThanCong.com https://fb.com/tailieudientucntt • Ép kiểu (coercion): Việc chuyển kiểu liệu sang kiểu khác gọi ẩn (implicit) làm tự động compiler gọi (explicit) giải người lập trình Ví dụ 5.2: Hàm ord() pascal chuyển kiểu kí tự sang số nguyên, phép chuyển đổi Lệnh a:=b; a kiểu real, b kiểu integer thực compiler thực ép kiểu biến b sang kiểu real trước thực lệnh gán, phép chuyển đổi ẩn 11 CuuDuongThanCong.com https://fb.com/tailieudientucntt ... tra kiểu đơn giản • Trong phần mô tả kiểm tra kiểu cho ngơn ngữ đơn giản kiểu định danh khai báo trước sử dụng • Bộ kiểm tra kiểu (type checker) lược đồ dịch, tổng hợp kiểu biểu thức từ kiểu. .. Trình biên dịch thực việc chuyển đổi kiểu để hai tốn hạng có kiểu phép tốn cộng xảy • Bộ kiểm tra kiểu trình biên dịch thêm phép tốn biến đổi kiểu vào biểu diễn trung gian chương trình nguồn... https://fb.com/tailieudientucntt Kiểm tra kiểu câu lệnh • Các câu lệnh cấu tạo lên ngơn ngữ khơng có giá trị, ta gán cho chúng kiểu void • Lược đồ dịch cho kiểm tra kiểu lệnh: S id := E S if E then