TAILIEUCHUNG - Chuong 5- Kiem tra kieu

| CHƯƠNG V Kiểm tra kiểu Mục tiêu: Nắm được cách định nghĩa hệ thống kiểu trong các ngôn ngữ lập trình Cách kiểm tra kiểu trong quá trình biên dịch Biểu thức kiểu Kiểu của một ngôn ngữ lập trình được kí hiệu bởi các biểu thức kiểu (type expression). Biểu thức kiểu được định nghĩa như sau: Kiểu cơ sở là một biểu thức kiểu: boolean, char, integer, real, type_error, void Một tên kiểu là một biểu thức kiểu 3. Mỗi kiểu dữ liệu có cấu trúc là một biểu thức kiểu, các cấu trúc bao gồm: Mảng (array): Nếu T là một biểu thức kiểu thì array(I, T) là một biểu thức kiểu. Một mảng có tập chỉ số I và các phần tử có kiểu T Tích (product): Nếu T1, T2 là biểu thức kiểu thì tích Đề- các T1* T2 là biểu thức kiểu Bản ghi (record): Là cấu trúc bao gồm một bộ các tên trường, kiểu trường Con trỏ (pointer): Nếu T là một biểu thức kiểu thì pointer(T) là một biểu thức kiểu T Hàm (function): Hàm là một ánh xạ các phần tử của tập xác định (domain) D lên tập giá trị (range) R. Một hàm là một biểu thức kiểu D

TỪ KHÓA LIÊN QUAN
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.