KIỂM TRA KIỂU (CHƯƠNG TRÌNH DỊCH SLIDE)

CHƯƠNG V KIỂM TRA KIỂU 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 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: 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 Đặ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 • Đị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 • 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  T1                       {T.type := pointer(T1.type) } T  array[num] of T1  {T.type := array(1 num.val, T1.type) } Kiểm tra kiểu biểu thức • Lược đồ dịch cho kiểm tra kiểu biểu thức: E  literal                {E.type := char } E  num                  {E.type := integer } E  id                      {E.type := lookup(id.entry) } E  E1 mod E2       {E.type :=  if  E1.type = integer and  E2.type = integer                                                    then   integer   else   type_error } E  E1[E2]               {E.type := if   E2.type =integer   and  E1.type = array(s,t)          then  t   else   type_error } E  E1                   { E.type :=  if  E1.type = pointer(t) then  t  else       type_error } Kiểm tra kiểu câu lệnh • Các câu lệnh cấu tạo lên ngôn ngữ 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.type := if    id.type = E.type then  void  else  type_error } S  if  E then  S1 {S.type := if  E.type = boolean  then  S1.type  else type_error } S  while  E  do  S1 {S.type := if  E.type = boolean  then  S1.type  else    type_error } S  S1 ; S2     {S.type := if  S1.type = void  and  S2.type = void  then  void                                                       else  type_error } 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 10 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 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 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) 11 • É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 12 .. .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 trình biên dịch 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... R Đặ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... kiểu tương ứng T1, T2, , Tn coi đối có kiểu T1*T2* *Tn 10 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 tốn hạng có kiểu