›
›

Lý thuyết ngôn ngữ lập trình - Chương 1: Ôn các kiến thức về cú pháp ngôn ngữ VC#

pdf 23 trang vanle 2780
Download
Bạn đang xem 20 trang mẫu của tài liệu "Lý thuyết ngôn ngữ lập trình - Chương 1: Ôn các kiến thức về cú pháp ngôn ngữ VC#", để tải tài liệu gốc về máy bạn click vào nút DOWNLOAD ở trên

Tài liệu đính kèm:

  • pdfly_thuyet_ngon_ngu_lap_trinh_chuong_1_on_cac_kien_thuc_ve_cu.pdf

Nội dung text: Lý thuyết ngôn ngữ lập trình - Chương 1: Ôn các kiến thức về cú pháp ngôn ngữ VC#

  1. Chương 1 Ôn các kiến thức về cú pháp ngôn ngữ VC# 1.0 Dẫn nhập 1.1 Tổng quát về máy tính và ngôn ngữ VC# 1.2 Tập ký tự cơ bản của ngôn ngữ VC# 1.3 Extended Backus-Naur Form (EBNF) notation 1.4 Cú pháp ₫ịnh nghĩa tên nhận dạng (Name) 1.5 Cú pháp ₫ịnh nghĩa dấu ngăn (Seperator) 1.6 Cú pháp ₫ịnh nghĩa biểu thức 1.7 Qui trình tính biểu thức 1.8 Các lệnh ₫ịnh nghĩa các thành phần phần mềm 1.9 Các lệnh thực thi 1.10 Kết chương Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 1 1.0 Dẫn nhập ‰ Chương này sẽ tóm tắt lại 1 số kiến thức cơ bản về cú pháp của ngôn ngữ VC# hầu giúp các SV có góc nhìn tổng thể và hệ thống về ngôn ngữ VC#, nhờ ₫ócónhiều thuận lợi hơn trong việc học các kiến thức của môn học này. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 2
  2. 1.1 Tổng quát về máy tính và ngôn ngữ VC# ‰ Máy tính số là thiết bị ₫ặc biệt, nó là thiết bị tổng quát hóa, nghĩa là có thể thực hiện nhiều công việc khác nhau. Ta có thể nói máy tính số là thiết bị vạn năng. ‰ Vậy tại 1 thời ₫iểm xác ₫ịnh, máy tính thực hiện công việc gì ? Nó không làm gì cả nếu con người không yêu cầu cụ thể nó. ‰ Làm sao ₫ể con người có thể yêu cầu máy tính thực hiện 1 công việc nào ₫ó? Ta phải viết chương trình giải quyết công việc tương ứng rồi ₫ưa vào máy và nhờ máy chạy dùm. ‰ Viết chương trình là qui trình lớn và dài hạn gồm nhiều bước, trong ₫ócác bước chính yếu là : xác ₫ịnh chính xác các chức năng của chương trình, phân tích cách giải quyết từng chức năng, tìm thuật giải chi tiết ₫ể giải quyết từng chức năng, ₫ổi thuật giải chi tiết từ ngôn ngữ ₫ời thường thành ngôn ngữ lập trình cho máy hiểu. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 3 1.1 Tổng quát về máy tính và ngôn ngữ VC# ‰ Ngôn ngữ lập trình là ngôn ngữ giao tiếp giữa người và máy. Học ngôn ngữ lập trình cũng giống như học ngôn ngữ tự nhiên, nghĩa là học tuần tự các thành phần của ngôn ngữ từ thấp ₫ến cao như : ƒ Tập ký tự cơ bản ƒ Cú pháp xây dựng từ (word). Từ ₫ược dùng ₫ể ₫ặt tên nhận dạng cho từng phần tử cấu thành chương trình như hằng gợi nhớ, biến, hàm chức năng, class ₫ối tượng, ƒ Cú pháp xây dựng biểu thức. Biểu thức (công thức toán học) miêu tả 1 quá trình tính toán tuần tự nhiều phép toán trên nhiều dữ liệu ₫ể tạo ra kết quả tính toán. ƒ Cú pháp xây dựng từng câu lệnh : có 2 loại câu lệnh : lệnh ₫ịnh nghĩa và lệnh thực thi : Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 4
  3. 1.1 Tổng quát về máy tính và ngôn ngữ VC# à Lệnh ₫ịnh nghĩa ₫ược dùng ₫ể ₫ịnh nghĩa và tạo mới phần tử cấu thành phần mềm. à Lệnh thực thi miêu tả 1 hành ₫ộng cụ thể cần phải thực hiện. ƒ Cú pháp tổ chức 1 hàm chức năng ƒ Cú pháp tổ chức 1 class chức năng ƒ Cú pháp tổ chức 1 chương trình. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 5 1.2 Tập ký tự cơ bản của ngôn ngữ VC# ‰ Ngôn ngữ VC# hiểu và dùng tập ký tự Unicode. Cụ thể trên Windows, mỗi ký tự Unicode dài 2 byte (16 bit) => có 65536 ký tự Unicode khác nhau trên Windows. ‰ Mặc dù vậy, VC# dùng chủ yếu các ký tự : à chữ (a-z tiếng Anh), '_', à ký tự số (0-9), à khoảng trắng và các dấu ngăn như Tab (gióng cột), CR (quay về ₫ầu dòng), LF (xuống dòng). à các ký tự ₫ặc biệt ₫ể miêu tả phép toán như +, -, *, /, =, !, (, ) ‰ Các ký tự khác, nhất là các ký tự có mã > 256 chỉ ₫ược dùng trong lệnh chú thích. Các ký tự có dấu tiếng Việt có mã từ 7840-7929. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 6
  4. 1.3 Extended Backus-Naur Form (EBNF) notation ‰ Ta sẽ dùng qui ước EBNF ₫ể miêu tả cú pháp xây dựng các phần tử của ngôn ngữ VC#. Cụ thể ta sẽ dùng các qui ước EBNF sau ₫ây : ƒ #xN, trong ₫ó N là chuỗi ký tự thập lục phân. Qui ước này miêu tả 1 ký tự có mã thập lục phân tương ứng. Thí dụ ta viết #x3e ₫ể miêu tả ký tự >. ƒ [a-zA-Z], [#xN-#xN], trong ₫ó N là chuỗi ký tự thập lục phân. Qui ước này miêu tả 1 ký tự thuộc danh sách ₫ược liệt kê. Thí dụ ta viết [0-9] ₫ể miêu tả 1 ký tự số thập phân từ 0 ₫ến 9. ƒ [^a-zA-Z], [^#xN-#xN], trong ₫ó N là chuỗi ký tự thập lục phân. Qui ước này miêu tả 1 ký tự không thuộc danh sách ₫ược liệt kê. Thí dụ ta viết [^0-9] ₫ể miêu tả 1 ký tự bất kỳ nhưng không phải là số thập phân từ 0 ₫ến 9. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 7 1.3 Extended Backus-Naur Form (EBNF) notation ƒ [^abc], [^#xN#xN#xN], trong ₫ó N là chuỗi ký tự thập lục phân. Qui ước này miêu tả 1 ký tự không thuộc danh sách ₫ược liệt kê. Thí dụ ta viết [^<@] ₫ể miêu tả 1 ký tự bất kỳ nhưng không phải là < hay @. ƒ "string". Qui ước này miêu tả chuỗi ký tự có nội dung nằm trong 2 dấu nháy kép. Thí dụ ta viết "DHBK" ₫ể miêu tả chuỗi ký tự DHBK. ƒ 'string'. Qui ước này miêu tả chuỗi ký tự có nội dung nằm trong 2 dấu nháy ₫ơn. Thí dụ ta viết 'DHBK' ₫ể miêu tả chuỗi ký tự DHBK. ƒ (expression). Qui ước này miêu tả kết quả của việc tính biểu thức. Thí dụ (DefStatement | ExeStatement) ₫ể miêu tả sự tồn tại của phần tử DefStatement hay ExeStatement. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 8
  5. 1.3 Extended Backus-Naur Form (EBNF) notation ƒ A? miêu tả có từ 0 tới 1 lần A. Thí dụ S? miêu tả có từ 0 tới 1 phần tử S. ƒ A+ miêu tả có từ 1 tới n lần A. Thí dụ S+ miêu tả có từ 1 tới n phần tử S. ƒ A* miêu tả có từ 0 tới n lần A. Thí dụ S* miêu tả có từ 0 tới n phần tử S. ƒ A B miêu tả phần tử A rồi tới phần tử B. ƒ A | B miêu tả chọn lựa A hay B. ƒ A - B miêu tả chuỗi thỏa A nhưng không thỏa B. ƒ /* */ miêu tả chuỗi chú thích. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 9 1.4 Cú pháp ₫ịnh nghĩa tên nhận dạng (Name) ƒ Mỗi phần tử trong chương trình ₫ều ₫ược nhận dạng bởi 1 tên nhận dạng riêng biệt. Tên là chuỗi có ít nhất 1 ký tự, ký tự ₫ầu là những ký tự thỏa luật NameStartChar, các ký tự còn lại thỏa luật NameChar. Cú pháp ₫ịnh nghĩa tên của VC# là : Name ::= NameStartChar (NameChar)* NameStartChar ::= [a-zA-Z_] NameChar ::= NameStartChar | [0-9] ƒ Dựa vào cú pháp trên, ta nói tên nhận dạng là 1 chuỗi từ 1 tới nhiều ký tự, ký tự ₫ầu phải là ký tự chữ hay dấu _, các ký tự còn lại có thể là chữ, số hay dấu _. Độ dài maximum của tên là 255. ƒ Thí dụ System, Console, Writeln Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 10
  6. 1.5 Cú pháp ₫ịnh nghĩa dấu ngăn (Seperator) ƒ Cú pháp miêu tả các phần tử lớn hơn thường có ₫iểm chung là phần tử lớn gồm tuần tự nhiều phần tử nhỏ hợp lại theo 1 thứ tự xác ₫ịnh. ƒ Thường ta cần từ 1 tới n dấu ngăn nằm giữa các phần tử nhỏ kề nhau ₫ể ngăn chúng ra. Cú pháp miêu tả chuỗi từ 1 ₫ến nhiều ký tự ngăn cách là : S ::= (#x20 | #x9 | #xD | #xA | Comment)+ Comment ::= InLineComment | OutofLineComment InLineComment ::= "//" [^#xD#xA]* OutofLineComment ::= "/*" (Char* - (Char* "*/" Char*)) "*/" Thí dụ : //₫ây là chú thích trên 1 dòng /* còn ₫ây là chú thích trên nhiều dòng */ Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 11 1.6 Cú pháp ₫ịnh nghĩa biểu thức ƒ Ta ₫ã biết trong toán học công thức là phương tiện miêu tả 1 qui trình tính toán nào ₫ó trên các số. ƒ Trong VC++ (hay ngôn ngữ lập trình khác), ta dùng biểu thức ₫ể miêu tả qui trình tính toán nào ₫ó trên các dữ liệu  biểu thức cũng giống như công thức toán học, tuy nó tổng quát hơn (xử lý trên nhiều loại dữ liệu khác nhau) và phải tuân theo qui tắc cấu tạo khắt khe hơn công thức toán học. ƒ Để hiểu ₫ược biểu thức, ta cần hiểu ₫ược các thành phần của nó : à Các toán hạng : các biến, hằng dữ liệu, à Các toán tử tham gia biểu thức : +,-,*,/, à Qui tắc kết hợp toán tử và toán hạng ₫ể tạo biểu thức. à Qui trình mà máy dùng ₫ể tính trị của biểu thức. à Kiểu của biểu thức là kiểu của kết quả tính toán biểu thức. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 12
  7. 1.6 Cú pháp ₫ịnh nghĩa biểu thức ƒ Biểu thức cơ bản là phần tử nhỏ nhất cấu thành biểu thức bất kỳ. Một trong các phần tử sau ₫ược gọi là biểu thức cơ bản : ƒ Biến, thuộc tính của ₫ối tượng ƒ Hằng gợi nhớ, ƒ Giá trị dữ liệu cụ thể thuộc kiểu nào ₫ó (nguyên, thực, ) ƒ Lời gọi hàm, ƒ 1 biểu thức ₫ược ₫óng trong 2 dấu (). ƒ Qui trình tạo biểu thức là qui trình lặp ₫ệ qui : ta kết hợp từng toán tử với các toán hạng của nó, rồi ₫óng trong 2 dấu () ₫ể biến nó trở thành biểu thức cơ bản, rồi dùng nó như 1 toán hạng ₫ể xây dựng biểu thức lớn hơn và phức tạp hơn Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 13 1.6 Cú pháp ₫ịnh nghĩa biểu thức ƒ Dựa theo số toán hạng tham gia, có 3 loại toán tử thường dùng nhất : à toán tử 1 ngôi : chỉ cần 1 toán hạng. Ví dụ toán tử '-' ₫ể tính phần âm của 1 ₫ại lượng. à toán tử 2 ngôi : cần dùng 2 toán hạng. Ví dụ toán tử '*' ₫ể tính tích của 2 ₫ại lượng. à toán tử 3 ngôi : cần dùng 3 toán hạng. Ví dụ toán tử 'c?v1:v2' ₫ể kiểm tra ₫iều kiện c hầu lấy kết quả v1 hay v2. ƒ VC# thường dùng các ký tự ₫ặc biệt ₫ể miêu tả toán tử. Ví dụ : à toán tử '+' : cộng 2 ₫ại lượng. à toán tử '-' : trừ ₫ại lượng 2 ra khỏi ₫ại lượng 1. à toán tử '*' : nhân 2 ₫ại lượng. à toán tử '/' : chia ₫ại lượng 1 cho ₫ại lượng 2 Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 14
  8. 1.6 Cú pháp ₫ịnh nghĩa biểu thức ƒ Trong vài trường hợp, VC# dùng cùng 1 ký tự ₫ặc biệt ₫ể miêu tả nhiều toán tử khác nhau. Trong trường hợp này, ngữ cảnh sẽ ₫ược dùng ₫ể giải quyết nhằm lẫn. ƒ Ngữ cảnh thường là kiểu của các toán hạng tham gia hoặc do thiếu toán hạng thì toán tử ₫ược hiểu là toán tử 1 ngôi. ƒ Thí dụ : -x // - là phép toán 1 ngôi a-b // - là phép toán 2 ngôi ƒ Trong vài trường hợp khác, VC# dùng cùng chuỗi nhiều ký tự ₫ể miêu tả 1 toán tử. Thí dụ : a >= b // >= là toán tử so sánh lớn hơn hay bằng a++ // ++ là toán tử tăng 1 ₫ơn vị a == b // == là toán tử so sáng bằng (không phải là toán tử gán) Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 15 1.6 Cú pháp ₫ịnh nghĩa biểu thức ƒ Giá trị luận lý : true | false ƒ Giá trị thập phân nguyên : (+|-)? (decdigit)+ (Vd. 125, -548) ƒ Giá trị thập lục phân nguyên : (+|-)? "0x" (hexdigit)+ (0xFF) ƒ Giá trị bát phân nguyên : (+|-)? "0" (ocdigit)+ (0577) ƒ Giá trị nhị phân nguyên : (+|-)? (bidigit)+ "b" (101110b) ƒ Giá trị thập phân thực : ƒ (+|-)? (decdigit)+ ("." (decdigit)*)? ("E" (+|-)? (decdigit)+)? ƒ 3.14159, 0.31459e1,-83.1e-9, ƒ Giá trị chuỗi : "Nguyen Van A" ƒ "\"Nguyen Van A\"" ƒ Lưu ý dùng ký tự '\' ₫ể thực hiện cơ chế 'escape' dữ liệu hầu giải quyết nhầm lẫn. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 16
  9. 1.7 Qui trình tính biểu thức ƒ Một biểu thức có thể chức nhiều phép toán, qui trình tính toán biểu thức như sau : duyệt từ trái sang phải, mỗi lần gặp 1 phép toán (ta gọi là CurrentOp) thì phải nhìn trước toán tử ₫i ngay sau nó (SuccessorOp), so sánh ₫ộ ưu tiên của 2 toán tử và ra quyết ₫ịnh như sau : à nếu không có SuccessorOp thì tính ngay toán tử CurrentOp (trên 1, 2 hay 3 toán hạng của nó). à nếu toán tử CurrentOp có ₫ộ ưu tiên cao hơn toán tử SuccessorOp thì tính ngay toán tử CurrentOp (trên 1, 2 hay 3 toán hạng của nó). à nếu toán tử CurrentOp có ₫ộ ưu tiên bằng toán tử SuccessorOp và kết hợp trái thì tính ngay toán tử CurrentOp (trên 1, 2 hay 3 toán hạng của nó). Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 17 1.7 Qui trình tính biểu thức à các trường hợp còn lại thì cố gắng thực hiện toán tử SuccessorOp trước. Việc cố gắng này cũng phải tuân theo các qui ₫ịnh trên, à Khi toán tử SussesorOp ₫ược thực hiện xong thì toán tử ngay sau SuccessorOp trở thành toán tử ₫i ngay sau CurrentOp ⇒ việc kiểm tra xem CurrentOp có ₫ược thực hiện hay không sẽ ₫ược lặp lại. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 18
  10. 1.7 Qui trình tính biểu thức Bảng liệt kê ₫ộ ưu tiên của các toán tử từ trên xuống = từ cao xuống thấp : Operator Name or Meaning Associativity [ ] Array subscript Left to right ( ) Function call Left to right ( ) Conversion None . Member selection (object) Left to right -> Member selection (pointer) Left to right ++ Postfix increment None Postfix decrement None new Allocate object None typeof Type of checked unchecked Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 19 1.7 Qui trình tính biểu thức Operator Name or Meaning Associativity ++ Prefix increment None Prefix decrement None + Unary plus None — Arithmetic negation (unary) None ! Logical NOT None ~ Bitwise complement None & Address of None sizeof ( ) Size of type None typeid( ) type name None (type) Type cast (conversion) Right to left true true None false false None reinterpret_cast Type cast (conversion) None Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 20
  11. 1.7 Qui trình tính biểu thức Operator Name or Meaning Associativity * Multiplication Left to right / Division Left to right % Remainder (modulus) Left to right + Addition Left to right — Subtraction Left to right > Right shift Left to right Greater than Left to right = Greater than or equal to Left to right is as Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 21 1.7 Qui trình tính biểu thức Operator Name or Meaning Associativity == Equality Left to right != Inequality Left to right & Bitwise AND Left to right ^ Bitwise exclusive OR Left to right | Bitwise OR Left to right && Logical AND Left to right || Logical OR Left to right e1?e2:e3 Conditional Right to left = Assignment Right to left *= Multiplication assignment Right to left /= Division assignment Right to left %= Modulus assignment Right to left += Addition assignment Right to left —= Subtraction assignment Right to left Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 22
  12. 1.7 Qui trình tính biểu thức Operator Name or Meaning Associativity >= Right-shift assignment Right to left &= Bitwise AND assignment Right to left |= Bitwise inclusive OR assignment Right to left ^= Bitwise exclusive OR assignment Right to left ?? , Comma Left to right Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 23 1.7 Qui trình tính biểu thức ƒ Thí dụ : dblDv = dblDv + intpn * d * pow(10,-bytPosDigit); 1 2 5 4 3 Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 24
  13. 1.8 Các lệnh ₫ịnh nghĩa thành phần phần mềm Định nghĩa hằng gợi nhớ ƒ Cú pháp ₫ịnh nghĩa hằng gợi nhớ cơ bản : ConstDef ::= "const" S TName S Name S? "=" S? Expr S? ";" Thí dụ : const double PI = 3.1416; Định nghĩa biến cục bộ trong hàm ƒ Cú pháp ₫ịnh nghĩa biến cục bộ trong hàm : VarDef ::= TName S Name (S? "=" S? Expr S?)? ";" Thí dụ : double epsilon = 0.000001; Định nghĩa kiểu người dùng (học chi tiết trong môn Kỹ thuật lập trình và các chương sau của môn này) Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 25 1.8 Các lệnh ₫ịnh nghĩa thành phần phần mềm Định nghĩa hàm hay tác vụ chức năng (học chi tiết trong môn Kỹ thuật lập trình và các chương sau của môn này) Định nghĩa chương trình (học chi tiết trong môn Kỹ thuật lập trình và các chương sau của môn này) Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 26
  14. 1.9 Các lệnh thực thi ƒ Ta ₫ã biết giải thuật ₫ể giải quyết 1 vấn ₫ề nào ₫ólàtrình tự các công việc nhỏ hơn, nếu ta thực hiện ₫úng trình tự các công việc nhỏ hơn này thì sẽ giải quyết ₫ược vấn ₫ề lớn. ƒ VC# (hay ngôn ngữ lập trình khác) cung cấp 1 tập các lệnh thực thi, mỗi lệnh thực thi ₫ược dùng ₫ể miêu tả 1 công việc nhỏ trong 1 giải thuật với ý tưởng chung như sau : à Nếu tồn tại lệnh thực thi miêu tả ₫ược công việc nhỏ của giải thuật thì ta dùng lệnh thực thi này ₫ể miêu tả nó. à Nếu công việc nhỏ của thuật giải vẫn còn quá phức tạp và không có lệnh thực thi nào miêu tả ₫ược thì ta dùng lệnh gọi hàm (function, method) trong ₫ó hàm là trình tự các lệnh thực hiện công việc nhỏ này Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 27 1.9 Các lệnh thực thi ƒ Hầu hết các lệnh thực thi ₫ềucóchứa biểu thức và dùng kết quả của biểu thức này ₫ể quyết ₫ịnh công việc kế tiếp cần ₫ược thực hiện ⇒ ta thường gọi các lệnh thực thi là các cấu trúc ₫iều khiển. ƒ Để dễ học, dễ nhớ và dễ dùng, VC# (cũng như các ngôn ngữ khác) chỉ cung cấp 1 số lượng rất nhỏ các lệnh thực thi : ƒ Nhóm lệnh không ₫iều khiển : à Lệnh gán dữ liệu vào 1 biến. ƒ Nhóm lệnh tạo quyết ₫ịnh : à Lệnh kiểm tra ₫iều kiện luận lý if else à Lệnh kiểm tra ₫iều kiện số học switch Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 28
  15. 1.9 Các lệnh thực thi ƒ Nhóm lệnh lặp : à Lệnh lặp : while à Lệnh lặp : for à Lệnh lặp : do while ƒ Nhóm lệnh gọi hàm : à Lệnh gọi hàm à Lệnh thoát khỏi cấu trúc ₫iều khiển : break à Lệnh thoát khỏi hàm : return Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 29 1.9 Các lệnh thực thi Lệnh gán : là lệnh ₫ược dùng nhiều nhất trong chương trình, chức năng của lệnh này là gán giá trị dữ liệu vào 1 vùng nhớ ₫ể lưu trữ hầu sử dụng lại nó sau ₫ó. Cú pháp : lvar S? "=" S? Expr S? ";" à biểu thức Expr bên phải sẽ ₫ược tính ₫ể tạo ra kết quả (1 giá trị cụ thể thuộc 1 kiểu cụ thể), giá trị này sẽ ₫ược gán vào ô nhớ do lvar qui ₫ịnh. Trước khi gán, VC# sẽ kiểm tra kiểu của 2 phần tử (qui tắc kiểm tra sẽ ₫ược trình bày sau). à lvar có thể là biến ₫ơn (intTuoi), phần tử của biến array (matran[2,3]), thuộc tính của ₫ối tượng (rect.dorong). à Thí dụ : x1 = (-b-sqrt(delta))/2/a; Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 30
  16. 1.9 Các lệnh thực thi Lệnh kiểm tra ₫iều kiện luận lý if else : cho phép dựa vào kết quả luận lý (tính ₫ược từ 1 biểu thức luận lý) ₫ể quyết ₫ịnh thi hành 1 trong 2 nhánh lệnh. Sau khi thực hiện 1 trong 2 nhánh lệnh, chương trình sẽ tiếp tục thi hành lệnh ngay sau lệnh IF. Cú pháp : "if" S? "(" S? Expr S? ")" S? Statement S? ("else" S Statement)? à Thí dụ : if (delta <0) //báo sai System.Console.Writeln ("Phuong trinh vo nghiem"); else { //tính 2 nghiệm x1 = (-b-sqrt(delta))/2/a; x2 = (-b+sqrt(delta))/2/a; } Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 31 1.9 Các lệnh thực thi Lệnh kiểm tra ₫iều kiện số học switch : cho phép dựa vào kết quả số học (tính ₫ược từ 1 biểu thức số học) ₫ể quyết ₫ịnh thi hành 1 trong n nhánh lệnh. Sau khi thực hiện 1 trong n nhánh lệnh, chương trình sẽ tiếp tục thi hành lệnh ngay sau lệnh switch. Cú pháp : "switch" S? "(" Expr S? ")" S? "{" S? "case" S expr1 S? ":" S? Statement* "case" S expr2 S? ":" S? Statement* "case" S exprn S? ":" S? Statement* ("default" S? ":" S? Statement*)? S? "}" Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 32
  17. 1.9 Các lệnh thực thi à Thí dụ : switch (diem) { case 0 : case 1 : case 2 : case 3 : case 4 : Console.Writeln("Quá yếu"); break; case 5 : case 6 : Console.Writeln("Trung bình"); break; case 7 : case 8 : Console.Writeln("Khá"); break; case 9 : case 10 : Console.Writeln("Giỏi"); break; } Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 33 1.9 Các lệnh thực thi Lệnh lặp do while : cho phép lặp thực hiện 1 công việc nào ₫ótừ 1 tới n lần theo 1 ₫iều kiện kiểm soát. Cú pháp : "do" S Statement S? "while" S? "(" S? Expr S? ")" S? ";" à Thí dụ : int i = 1; long giaithua = 1; do { do i = i+1; giaithua *= (++i); giaithua = giaithua*i; while (i < n); } while (i < n) Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 34
  18. 1.9 Các lệnh thực thi Lệnh lặp while : cho phép lặp thực hiện 1 công việc nào ₫ótừ 0 tới n lần theo 1 ₫iều kiện kiểm soát. Cú pháp : "while" S? "(" S? Expr S? ")" S? Statement à Thí dụ : int i = 1; long giaithua = 1; while (i < n) { while (i < n) giaithua *= (++i); i = i+1; giaithua = giaithua*i; } Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 35 1.9 Các lệnh thực thi Lệnh lặp for : cho phép lặp thực hiện 1 công việc nào ₫ótừ 0 tới n lần theo 1 ₫iều kiện kiểm soát. Cú pháp : "for" S? "(" S? init-expr? S? ";" S? cond-expr? ";" S? loop-expr? S? ")" S? Statement à Thí dụ : int i; long giaithua = 1; for (i=2; i <=n; i++) { for (i=2; i <=n; i++) giaithua = giaithua*i; giaithua *= i; } Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 36
  19. 1.9 Các lệnh thực thi Các lệnh lồng nhau : Như ta ₫ã thấy trong cú pháp của hầu hết các lệnh VC# ₫ều có chứa thành phần Statement, ₫ây là 1 lệnh thực thi VC# bất kỳ ⇒ ta gọi cú pháp ₫ịnh nghĩa lệnh VC# là ₫ệ qui ⇒ tạo ra các lệnh VC# lồng nhau. Ta gọi cấp ngoài cùng là cấp 1, các lệnh hiện diện trong cú pháp của lệnh cấp 1 ₫ược gọi là lệnh cấp 2, các lệnh hiện diện trong cú pháp của lệnh cấp 2 ₫ược gọi là lệnh cấp 3, Để dễ ₫ọc, các lệnh cấp thứ i nên gióng cột nhờ i-1 ký tự Tab. Ví dụ : ₫oạn chương trình tính ma trận tổng của 2 ma trận const int N = 100; double[,] a, b, c; for (i = 0; i <N; i++) ' duyệt theo hàng for (j = 0; j<N; j++) ' duyệt theo cột c[i,j] = a[i,j] + b[i,j]; Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 37 1.9 Các lệnh thực thi Vấn ₫ề thoát ₫ột ngột khỏi cấp ₫iều khiển : Trong cú pháp của hầu hết các lệnh VC# ₫ều có chứa thành phần Statement mà ₫a số là phát biểu kép chứa nhiều lệnh khác. Theo trình tự thi hành thông thường, các lệnh bên trong phát biểu kép sẽ ₫ược thực thi tuần tự, hết lệnh này ₫ến lệnh khác cho ₫ến lệnh cuối, lúc này thì việc thi hành lệnh cha mới kết thúc. Tuy nhiên trong 1 vài trạng thái thi hành ₫ặc biệt, ta muốn thoát ra khỏi lệnh cha ₫ột ngột chứ không muốn thực thi hết các lệnh con trong danh sách. Để phục vụ yêu cầu này, VC# cung cấp lệnh break với cú pháp ₫ơn giản sau ₫ây : break; Lưu ý lệnh break chỉ cho phép thoát khỏi cấp trong cùng (lệnh chứa lệnh break. Để thoát trực tiếp ra nhiều cấp 1 cách tự do, ta dùng lệnh goto với cú pháp : goto stat_label; //trong ₫ó stat_label là nhãn của lệnh cần goto ₫ến. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 38
  20. 1.9 Các lệnh thực thi Vấn ₫ề thoát ₫ột ngột khỏi cấp ₫iều khiển : phân biệt lệnh break và continue for (i=0; i < 1000; i++) { if (cond1) continue; if (cond2) break; } Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 39 1.9 Các lệnh thực thi Vấn ₫ề thoát ₫ột ngột khỏi hàm : Như ta ₫ã biết hàm là danh sách các lệnh thực thi ₫ể thực hiện 1 chức năng nào ₫ó. Thông thường thì danh sách lệnh này sẽ ₫ược thực hiện từ ₫ầu ₫ến cuối rồi ₫iều khiển sẽ ₫ược trả về lệnh gọi hàm này, tuy nhiên ta có quyền trả ₫iều khiển về lệnh gọi hàm bất cứ ₫âu trong danh sách lệnh của hàm. Cú pháp lệnh trả ₫iều khiển như sau : "return" S? ";" // nếu hàm có kiểu trả về là void "return" S? "(" S? expr S? ")" S? ";" // nếu hàm có kiểu trả về ≠ void Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 40
  21. 1.9 Các lệnh thực thi Vấn ₫ề thoát ₫ột ngột khỏi hàm : int func1() { kq = func1(); if (cond) return error_code1; return error_code2; } Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 41 1.9 Các lệnh thực thi Vấn ₫ề thoát ₫ột ngột khỏi hàm : Thuật giải gốc : int func1() { 1. thực hiện chức năng 1 2. thực hiện chức năng 2 if (cond1) return error_code1; 3. thực hiện chức năng 3 if (cond2) return error_code2; Dịch ra mã nguồn : return OK_code; func1(); } func2(); func3(); Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 42
  22. 1.9 Các lệnh thực thi Dịch ra mã nguồn : int kq = func1(); int func1() { switch (kq) { case error_code1 : if (cond1) return error_code1; //₫oạn code giải quyết lỗi 1 if (cond2) return error_code2; case error_code2 : //₫oạn code giải quyết lỗi 2 return OK_code; } } kq = func2(); //kiểm tra và xử lý lỗi kq = func3(); //kiểm tra và xử lý lỗi ⇒ code mã nguồn quá phức tạp và khó hiểu so với giải thuật gốc Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 43 1.9 Các lệnh thực thi Thoát khỏi hàm theo cơ chế Exception : ₫ây là phương án mới ₫ể khắc phục việc thoát khỏi hàm bằng lệnh return. Dịch ra mã nguồn : void func1() { try { func1(); if (cond1) throw new Exception1("lỗi 1"); func2(); if (cond2) throw new Exception2("lỗi 2"); func3(); } } catch (Exception1 e1) { //₫oạn code giải quyết loại lỗi Exception1 } catch (Exception2 e2) { //₫oạn code giải quyết loại lỗi Exception2 } Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 44
  23. 1.9 Các lệnh thực thi Thoát khỏi hàm theo cơ chế Exception : ₫ây là phương án mới ₫ể khắc phục việc thoát khỏi hàm bằng lệnh return. Dịch ra mã nguồn : void func1() { void func() { func1(); if (cond1) throw new Exception1("lỗi 1"); func2(); if (cond2) throw new Exception2("lỗi 2"); func3(); } } về lệnh try catch chứa lệnh gọi hàm func() Cách xử lý này ₫ược lặp lại ₫ến hàm Main(), nếu hàm Main() cũng không dùng lệnh try catch thì OS sẽ tự xử lý Exception dùm (trên Windows là 1 cửa sổ báo lỗi màu xanh rồi dừng luôn chương trình). Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 45 1.10 Kết chương ‰ Chương này ₫ã tóm tắt lại 1 số kiến thức cơ bản về cú pháp của ngôn ngữ VC# hầu giúp các SV có góc nhìn tổng thể và hệ thống về ngôn ngữ VC#, nhờ ₫ócónhiều thuận lợi hơn trong việc học các kiến thức của môn học này. Khoa Khoa học & Kỹ thuật Máy tính Môn : Lập trình hướng ₫ối tượng Trường ĐH Bách Khoa Tp.HCM Chương 1 : Ôn các kiến thức về cú pháp ngôn ngữ VC# © 2010 Slide 46