1. Kiểu số nguyên lớn
Có rất nhiều bài toán cần chúng ta phải tính toán với những số nguyên lớn. Chẳng hạn như tính giai thừa, tính số Fibonacci hay tìm các số nguyên tố lớn (chẳng hạn tìm các số nguyên tố lớn để dùng trong thuật toán mã hoá RSA). Với kiểu Integer của TP ta tìm được số nguyên tố lớn nhất có 5 chữ số. Với kiểu LongInt thì được 9 chữ số. Muốn tìm được các số to hơn thì phải dùng kiểu số thực (như comp hay extended). Nhưng có điều bất tiện là các kiểu số thực thì không dùng các phép toán div, mod được nên cài đặt rất khó khăn.
Ngoài bài toán về tìm số nguyên tố lớn, với những bài toán khác như tính giai thừa, tính số Fibonacci,… kiểu integer của TP rất hạn chế.
Một hạn chế thứ hai với kiểu integer của TP là hay gặp các lỗi tính toán số học. (Không biết bạn có đặt {$Q+} để phát hiện các lỗi như vậy chưa). Lỗi tính toán số học xảy ra khi chúng ta tính biểu thức có các hạng tử trong miền integer nhưng kết quả thì nằm ngoài miền (chẳng hạn 30000 + 30000). Những lỗi như vậy thường ít khi ta để ý, nhưng rất phiền toái. Sửa chúng thì cũng không khó lắm, chỉ cần chuyển đổi kiểu (thành LongInt hay Real) là OK.
Với FP thì những hạn chế đó không thành vấn đề. Với lợi thế 32 bit (gấp đôi TP), FP cung cấp kiểu Int64, mới nghe chắc bạn cũng đoán được đó là kiểu số nguyên 64 bit. Với Int64 các bạn có thể tìm được các số nguyên tố 18 chữ số (cỡ tỉ tỉ) hay tính được giai thừa của 20. (Nếu vẫn muốn hơn thì ta phải xây dựng riêng một kiểu BigInt, ta sẽ làm điều đó trong phần sau).
Trong trường hợp muốn tiết kiệm bộ nhớ, ta vẫn có thể sử dụng kiểu Byte (kích thước 1 byte), SmallInt (kích thức 2 byte).
Chú ý: với kiểu Integer, mặc định FP dùng kích thước 2 byte. Vì vậy khi muốn dùng kiểu nguyên lớn, ta nên khai báo rõ ràng.
2. Kiểu string lớn
Khi lập trình, chúng ta rất nhiều lần gặp vấn đề với các xâu tối đa 255 kí tự của TP (chẳng hạn bài toán xâu đối xứng, bài toán đếm từ…). Ta có thể giải quyết vấn đề bằng mảng kí tự (array of char) nhưng khi đó ta lại không thể dùng các phép toán trên xâu rất mạnh của Pascal.
Không chỉ có cải tiến về kiểu nguyên, kiểu string trong FP cũng rất tuyệt vời. String trong FP không còn hạn chế 255 kí tự của TP nữa mà có kích thước tối đa là 2.. tỉ kí tự. Hơn nữa FP còn hỗ trợ kiểu xâu Unicode (WideString). Nếu bạn vẫn thích kiểu String cũ của TP, bạn có thể dùng kiểu ShortString.
Bây giờ bạn có thể viết chương trình giải bài xâu đối xứng, xâu con chung với kiểu string của trên FP và hạn chế n cỡ 1000 một cách rất dễ dàng. Chúng ta sẽ tìm hiểu kĩ hơn về xâu trong FP ở một bài báo khác.
3. Viết hàm thuận lợi hơn
FP có rất nhiều cải tiến trong cách viết các hàm. Để so sánh, chúng ta sẽ xem xét một số ví dụ. Trong TP, chúng ta viết hàm tính giai thừa như sau:
Mã:
function gt(n:integer):integer;
var
i,tg:integer;
begin
tg:=1;
for i:=1 to n do tg:=tg*i;
gt:=tg;
end;
Tại sao ta lại phải thêm một biến tg để lưu trữ kết quả trung gian? Đó là do trong TP với tên hàm ta chỉ được sử dụng duy nhất lệnh gán trị. Nếu đưa tên hàm vào biểu thức thì sẽ thực hiện lời gọi hàm.
Điều này đã được FP làm cho free bằng cách cho phép sử dụng tên hàm như một biến (giống như Object Pascal dùng biến Result). Khi đó tên hàm có thể xuất hiện ở trong cách biểu thức tính toán ngay trong thân hàm mà không tạo ra lời gọi đệ quy. Hàm giai thừa trong FP có thể viết rất tiết kiệm biến như sau:
Mã:
function Gt(n: integer): int64;
begin
gt := 1;
for n := n downto 2 do gt := gt * n;
end;
Vậy khi ta muốn gọi đệ quy thì sao? Thì chỉ việc thêm cặp dấu () và truyền tham số cần thiết. FP sẽ biết ta muốn gọi đệ quy khi ta có thêm cặp (). Hàm giai thừa viết kiểu đệ quy như sau:
Mã:
function Gt(n: integer): int64;
begin
if n=0 then exit(1)
else exit(n*gt(n-1));
end;
Trong cách viết này ta còn thấy một điều tiện lợi của FP: dùng lệnh exit để trả lại kết quả cho hàm (giống như C và Object Pascal sử dụng lệnh return). Bạn sẽ thấy sự tiện lợi của cách viết này khi viết các hàm dạng " phát hiện được phần tử đầu tiên rồi thoát".
Chẳng hạn hàm tìm vị trí của phần tử x trong mảng a có n phần tử. Viết trong TP ta phải viết như sau:
Mã:
function Find(x: integer): integer;
Var
i : integer;
begin
for i := 1 to n do
if a[i] = x then begin
Find := i;
exit;
end;
Find := 0;
end;
Hàm này viết trong FP thì ngắn ngọn hơn nhiều:
Mã:
function Find(x: integer): integer;
Var
i : integer;
begin
for i := 1 to n do
if a[i]=x then exit(i);
exit(0);
end;
4. Kết quả trả lại của hàm có thể là kiểu cấu trúc
Rất nhiều ngôn ngữ lập trình thông dụng như C, VB… chỉ cho phép kết quả trả lại của hàm là các kiểu cơ sở như: số nguyên, số thực, kí tự, con trỏ… Riêng TP thì có thêm kiểu xâu kí tự. Nếu muốn trả lại kết quả là kiểu cấu trúc như mảng hay bản ghi thì bạn chỉ có cách dùng tham biến thôi. Một số NNLT hướng đối tượng như C++, Java, Object Pascal có cho phép kết quả trả lại là một đối tượng, nhưng như vậy vẫn không free như FP: FP cho phép kết quả của hàm có thể là kiểu cấu trúc.
Để hiểu hơn chúng ta cùng làm bài toán sau (Đề thi OLP2004):
Gọi X là tập tất cả các xâu nhị phân không có 2 bit 1 liền nhau. Các xâu được đánh thứ tự theo trình tự được sinh ra (từ nhỏ đến lớn, bit 0 đứng trước bit 1).
Bài toán đặt ra: hãy xác định xâu nhị phân n bit ứng với số thứ tự m cho trước. Hạn chể: n <= 200.
Bài toán này có thuật giải như sau:
Gọi L[k] là số các xâu nhị phân như vậy có k bit. Nếu bit thứ k của nó là bit 0 thì k-1 bit còn lại là tự do (tức là ta có L[k-1] dãy). Nếu thứ k của nó là bit 1 thì bit k -1 phải là 0, và k-2 bit còn lại free. Vậy ta có: L[k] = L[k-1] + L[k-2]. Chú ý: L[1]=2 và L[2]=3.
Có công thức đó, ta tính số các xâu có n bit. Để xác định xâu nhị phân n bit có thứ tự m cho trước ta có nhận xét: nếu m > L[n-1] thì nhất định bit thứ n phải là 1 (vì thứ tự của xâu có bit 0 đứng trước xâu có bit 1, và có đúng L[n-1] xâu có bit thứ n là bit 0). Xâu n-1 bit còn lại có sẽ thứ tự là m-L[n-1]. Ngược lại thì bit thứ n là bit 0 và xâu n-1 bit còn lại có thứ tự là m.
Do đó ta có thể làm như sau:
Mã:
for i:=n downto 1 do
if m <= L[i-1] then
x[i] := 0
else begin
x[i] := 1;
m := m - L[i-1];
end;
Tuy nhiên n có thể bằng 200 nên m và các giá trị L có thể xấp xỉ 2200, tức là cỡ 1070 (vì 210 xấp xỉ 103 ). Ta không thể dùng các kiểu số có sẵn mà phải tự xây dựng một kiểu số lớn hơn.
Có nhiều người thích dùng xâu để biểu diễn số lớn, nhưng tôi thấy dùng mảng thì thích hợp hơn. Ta dùng mảng biểu diễn số nguyên lớn, mỗi phần tử của mảng là một chữ số. Các chữ số lưu trữ trong mảng theo chiều từ trái sang phải: chữ số hàng đơn vị là phần tử 1, chữ số hàng chục là phần tử 2…
Ta khai báo kiểu số lớn đó như sau:
const max = 100;
type BigInt = array[1...max] of byte;
Để cộng, trừ 2 số nguyên lớn biểu diễn bằng mảng, ta dùng thuật toán cộng kiểu thủ công (cộng các chữ số từ bậc thấp đến bậc cao, có nhớ). Các thủ tục cộng, trừ viết trong TP như sau:
[I]
Mã:
procedure cong(var a,b,c : BigInt);
var
i,t : integer;
begin
t := 0;
for i:=1 to max do begin
t := t + a[i] + b[i];
c[i] := t mod 10;
t := t div 10;
end;
end;
procedure tru(var a,b,c : BigInt);
var
i,t : integer;
begin
t := 0;
for i:=1 to max do begin
t := a[i] - b[i] - t;
if t < 0 then begin
c[i] := 10 + t;
t := 1;
end else begin;
c[i] := t;
t := 0;
end
end;
end;
Ta khai báo L là mảng 200 phần tử kiểu BigInt. Gán L[1] là 2, L[2] là 3 rồi tính các phần tử khác bằng câu lệnh như sau:
for i:=3 to n do cong(L[i-1],L[i-2],L);
Viết như vậy thì chương trình hoạt động tốt, nhưng không trực quan lắm. Nếu có thể viết L:=cong(L[i-1],L[i-2]) thì sẽ trong sáng hơn nhiều. Trong TP thì không thể, nhưng trong FP hoàn toàn có thể viết được như vậy. Sau đây là toàn bộ chương trình nguồn giải bài toán này viết bằng FP:
[I][I]
Mã:
program Xau2bit1;
const
inp = ’fibo.inp’;
out = ’fibo.out’;
max = 100;
type
BigInt = array[1..max] of byte;
var
n : integer;
m : BigInt;
s : string;
kq: array[1..200] of byte;
L : array[1..200] of BigInt;
f : text;
{==================================}
procedure nhap;
var
c : char;
i : integer;
begin
assign(f,inp);
reset(f);
readln(f,n);
readln(f,s);
close(f);
end;
{==================================}
function chuyen(s : string): BigInt;
var
i : integer;
begin
for i:=1 to length(s) do
chuyen[i]:=ord(s[i]) - ord('0');
for i:=i+1 to max do
chuyen[i]:=0;
end;
function cong(var a,b : BigInt): BigInt;
var
i,c : integer;
begin
c := 0;
for i:=1 to max do begin
c := c + a[i] + b[i];
cong[i] := c mod 10;
c := c div 10;
end;
end;
function tru(var a,b : BigInt): BigInt;
var
i,c : integer;
begin
c := 0;
for i:=1 to max do begin
c := a[i] - b[i] - c;
if c < 0 then begin
tru[i] := 10 + c;
c := 1;
end else begin;
tru[i] := c;
c := 0;
end
end;
end;
function nho(var a,b : BigInt): boolean;
var
i : integer;
begin
for i := max downto 1 do
if a[i] < b[i] then
exit(true)
else
if a[i] > b[i] then exit(false);
exit(true)
end;
{==================================}
procedure tinh;
var
i : integer;
begin
m := chuyen(s);
L[1]:=chuyen(’2’);
L[2]:=chuyen(’3’);
for i:=3 to n do
L[i] := cong(L[i-1],L[i-2]);
end;
procedure tim;
var
i : integer;
begin
for i:=n downto 2 do
if nho(m, L[i-1]) then
kq[i] := 0
else begin
kq[i] := 1;
m := tru(m,L[i-1]);
end;
if m[1] > 1 then kq[1] := 1
else kq[1] := 0;
end;
{==================================}
procedure inkq;
var
i : integer;
begin
assign(f,out);
rewrite(f);
for i:=n downto 1 do write(f,kq[i]);
close(f);
end;
{==================================}
BEGIN
nhap;
tinh;
tim;
inkq;
END.
Trong chương trình này, ngoài 2 hàm cộng, trừ, tôi còn viết thêm 1 hàm để chuyển một xâu biểu diễn số nguyên thành một số nguyên kiểu BigInt và một hàm để so sánh 2 số kiểu BigInt.
Đọc chương trình nguồn, các bạn cảm thấy thế nào? Tôi thì thấy rất thoải mái, vì bây giờ với FP có thể viết rất nhiều hàm mà trước đây trên TP phải viết bằng thủ tục một cách không rõ ràng lắm. Hàm trong FP có thể trả lại kiểu cấu trúc là một điều tôi thấy cực kì thú vị, vì chưa từng thấy một ngôn ngữ lập trình thông dụng nào làm được điều đó.
1. Mảng mở (open array)
Để một biến kiểu mảng có thể làm tham số cho một chương trình con, ta bắt buộc phải khai báo trước về kiểu mảng đó. Chẳng hạn khai báo sau không hợp lệ cả trong TP và FP:
function are (x,y: array[1..100] of real): real;
Ta phải sửa lại thành khai báo như sau:
Mã:
type
TArr1 = array[1..100] of real;
function are (x,y: TArr1): real;
Vấn đề tạm thời được giải quyết. Tuy nhiên lại gặp một vấn đề mới là đối số truyền cho hàm area bắt buộc sẽ phải có kiểu TArr1. Vấn đề thứ hai là khai báo mảng phải xác định trước số phần tử, sẽ gây bất tiện khi số phần tử thực sự nhiều hơn hoặc ít hơn.
FP có một cải tiến là cho phép khai báo tham số của chương trình là kiểu mảng mở. Chẳng hạn hàm area trên có thể khai báo trong FP như sau:
function areăx,y: array of real): real;
Vậy khi chạy làm thế nào để xác định được số phần tử thực sự của tham số? Cách đơn giản nhất là chúng ta thêm một tham số nữa để mô tả số phần tử. Nếu không thích như vậy, chúng ta có thể dùng hàm Low và High để xác định chỉ số đầu và cuối của mảng. Thông thường thì với mảng mở, chỉ số đầu là 0, chỉ số cuối là n-1 với n là số phần tử của mảng (giống như trong ngôn ngữ C).
Sau đây là một ví dụ về hàm tính diện tích đa giác đơn bằng phương pháp hình thang viết trong FP:
Mã:
function area(x,y: array of real): real;
var
i,n : integer;
begin
n := high(x);
result := (x[0] - x[n]) * (y[0] + y[n]);
for i := 0 to n-1 do
result += (x[i+1] - x)*(y[i+1] + y);
result := abs(result) / 2;
end;
Cách viết hàm có sử dụng một số cải tiến của FP: toán tử C-like, biến result là giá trị trả lại của hàm.
Trong TP cũng có kiểu mảng mở như vậy (không tin bạn có thể thử khai báo). Tuy nhiên mảng mở trong FP có một điều thú vị mà trong TP không có, đó là mảng tạo trong khi chạy.
Để dễ hiểu, bạn hãy quan sát lời gọi hàm area của tôi đối với một tứ giác có 4 đỉnh là Ăx1,y1), B(x2,y2), C(x3,y3), D(x4,y4).
s := areă[x1,x2,x3,x4], [y1,y2,y3,y4]);
Với lời gọi đó, khi chạy, chương trình sẽ tạo một mảng x gồm 4 phần tử x1,x2,x3,x4 và mảng y với 4 phần tử y1,y2,y3,y4. Nếu không có cách viết này, ta sẽ phải khai báo 2 mảng x,y và gán các phần tử vào một cách thủ công. Cách viết [a1,a2,...,an] được FP hiểu là một mảng mở ngoài cách hiểu thông thường là một tập hợp.
2. Con trỏ
Ai đã từng sử dụng ngôn ngữ C, nếu không cảm thấy khó khăn thì sẽ rất thích thú với sự uyển chuyển của con trỏ trong C: chẳng hạn có thể thực hiện các phép toán số học cộng, trừ với con trỏ, có thể dùng con trỏ như mảng. Con trỏ trong TP thì không được uyển chuyển như vậy. Trong TP ta chỉ có thể thực hiện một số phép toán như: gán trị cho con trỏ, so sánh 2 con trỏ hay truy cập vào phần tử mà con trỏ trỏ đến.
FP đã cải tiến và con trỏ trong FP bây giờ uyển chuyển như trong C. Chúng ta có thể hiểu con trỏ trong FP như một biến nguyên 32 bit, giá trị của nó là một địa chỉ trong bộ nhớ. Do đó FP có một số phép toán đối với con trỏ như sau:
Phép cộng : nếu p là một con trỏ kiểu X, i là một số nguyên, thì p+i cũng là một con trỏ kiểu X và p+i trỏ đến biến có địa chỉ cách biến p trỏ đến i phần tử kiểu X. Chẳng hạn nếu X là kiểu Int64, thì p+1 sẽ trỏ đến biến Int64 tiếp theo biến mà p trỏ đến.
Phép trừ : nếu p, q là 2 con trỏ cùng kiểu thì p-q là độ lệch của chúng, có giá trị bằng số phần tử trong khoảng đó nhân với kích thước của kiểu mà chúng trỏ đến.
Phép tham chiếu : nếu p là một con trỏ thì p^ là biến mà p trỏ đến. Ta cũng có p+i là con trỏ nên (p+i)^ cũng là biến mà p+i trỏ đến. Chú ý là cách viết này rất thường gặp trong C, nhưng trong TP thì hoàn toàn không có. FP còn cải tiến cho phép viết (p+i)^ dạng p, nghĩa là hoàn toàn giống C. Chú ý là p^ có thể viết là p[0].
Như vậy ta có thể coi một con trỏ như một mảng động. Ta có thể dùng các lệnh GetMem, FreeMem để cấp phát động bộ nhớ và dùng cú pháp của mảng để truy cập.
Chương trình sau demo tính năng sử dụng con trỏ như mảng trong FP:
Mã:
uses crt,go32;
var
a : ^integer;
n,i : integer;
BEGIN
n := 100;
GetMem(a,n);
for i := 0 to n-1 do a := i;
FreeMem(a);
END.
Với tính năng này, chúng ta có thể sử dụng các con trỏ như các mảng động (dynamic array), tức là khai báo mảng mà không cần xác định trước số phần tử, sau đó mảng được cấp phát động trong quá trình thực thi.
Trong TP chúng ta dùng từ khoá absolute để xác định một vị trí cố định trong bộ nhớ. Khai báo đó gọi là địa chỉ tuyệt đối. Chẳng hạn để đo thời gian chạy của chương trình, người ta khai báo biến time kiểu longint tại địa chỉ 0:$46C, bởi vì vị trí đó là nơi máy tính lưu bộ đếm của đồng hồ. Tần số cập nhật của nó là 18.2 lần/giây. Một chương trình ví dụ của TP như sau:
Mã:
var
time : LongInt absolute 0:$46C;
start : LongInt;
i,n : LongInt;
BEGIN
start := time;
for i := 1 to 10000000 do n := i;
writeln('Runned in: ',(time-start)/18.2:0:3);
readln;
END.
Trên máy tính của tôi, chương trình đơn giản này chạy mất gần 6 giây (5.814 giây).
FP chạy trong môi trường 32 bit, ở chế độ bảo vệ. Trong chế độ bảo vệ, không có khái niệm địa chỉ tuyệt đối (để giải thích kĩ càng về điều này, chắc cần một bài báo rất dài). Để sử dụng khai báo absolute, ta phải khai báo sử dụng unit go32. Unit go32 cho phép thao tác vào vùng nhớ của DOS. Tất nhiên là chỉ có chương trình được dịch để chạy trên DOS 32 bit (target là DOS GO32v2) thì mới sử dụng được.
Chương trình trên được sửa để chạy trên FP như sau:
Mã:
uses crt,go32;
var
time : LongInt absolute 0:$46C;
start : LongInt;
i,n : LongInt;
BEGIN
start := time;
for i := 1 to 10000000 do n := i;
writeln('Runned in: ',(time-start)/18.2:0:3);
readln;
END.
Thật kinh ngạc: trên máy tính của tôi chương trình đơn giản này chạy mất 0.000 giây!!! Tôi tăng hằng số 10000000 lên 10 lần (thêm một chữ số 0 vào) thì chương trình chạy trong 0.440 giây. Như vậy so với TP, FP nhanh hơn rất nhiều. Tôi chỉ có thể phỏng đoán là FP sinh ra chương trình mã 32 bit, lại được tối ưu hoá mã cho Pentium nên nhanh hơn TP vốn chỉ sinh mã 16 bit và hoàn toàn không có chức năng tối ưu mã. Đây có lẽ cũng là một lí do rất thuyết phục để thay thế TP bằng FP.
3. Đồ hoạ trong FP
TP phiên bản cuối cùng là 7.0 ra đời năm 1992. Vào hồi đó, phần cứng đồ hoạ còn khá yếu nên TP 7.0 chỉ hỗ trợ chế độ đồ hoạ cao nhất là 640x480x4 bit (16 màu). Bây giờ là năm 2004, đồ hoạ máy tính đã rất mạnh, nhưng nếu dùng TP thì ta cũng chỉ dùng được chế độ cao nhất đó thôi. Nếu có driver SVGA (SVGA256.BGI) thì ta có thể sử dụng được các chế độ 256 màu. Nhưng nếu dùng FP, chúng ta có thể có chế độ đồ hoạ cao hơn nhiều. Theo thử nghiệm thì tôi đã dùng được chế độ 800x600x16bit (64K màu) trong FP. Nghĩa là chẳng không thua kém nhiều các môi trường lập trình trên Windows.
Unit Graph của FP tương thích hoàn toàn TP. Như vậy chúng ta vẫn có thể dùng các chương trình đồ hoạ được viết trên TP để dịch lại và chạy trong FP mà không cần sửa đổi gì. Hơn nữa, chúng ta có thể sử dụng những mode đồ hoạ với độ phân giải và số màu nhiều hơn với những thao tác vẽ đơn giản và quen thuộc của TP.
Bảng sau là các driver và mode đồ hoạ mới trong FP. Chú ý là do FP là đa môi trường (multi platform), tức là sinh mã cho nhiều hệ điều hành và hệ máy khác nhau, do đó có thể những chế độ đồ hoạ không được một số hệ nào đó hỗ trợ.
D1bit = 11;
D2bit = 12;
D4bit = 13;
D6bit = 14; { 64 colors Half-brite mode - Amiga }
D8bit = 15;
D12bit = 16; { 4096 color modes HAM mode - Amiga }
D15bit = 17;
D16bit = 18;
D24bit = 19; {chưa được hỗ trợ}
D32bit = 20; {chưa được hỗ trợ}
D64bit = 21; {chưa được hỗ trợ}
detectMode = 30000;
m320x200 = 30001;
m320x256 = 30002; { amiga resolution (PAL) }
m320x400 = 30003; { amiga/atari resolution }
m512x384 = 30004; { mac resolution }
m640x200 = 30005; { vga resolution }
m640x256 = 30006; { amiga resolution (PAL) }
m640x350 = 30007; { vga resolution }
m640x400 = 30008;
m640x480 = 30009;
m800x600 = 30010;
m832x624 = 30011; { mac resolution }
m1024x768 = 30012;
m1280x1024 = 30013;
m1600x1200 = 30014;
m2048x1536 = 30015;
Còn sau đây là một chương trình demo về chế độ đồ hoạ cao của FP (800x600x16 bit). Nếu máy của bạn hỗ trợ chế độ này, bạn sẽ thấy một dải màu rất đẹp.
Mã:
uses graph;
var
gd, gm, i, error: integer;
BEGIN
gd := D16bit;
gm := m800x600;
initgraph(gd,gm,'');
error := graphResult;
if (error <> grOk) then begin
writeln('800x600x16bit is not supported!');
halt(1)
end;
for i := 1 to 600 do begin
setColor(random(65536));
line(0,i,799,i);
end;
readln;
closegraph;
END.
4. Xử lí lỗi ngoại lệ
Phần lớn các ngôn ngữ lập trình cao cấp đều có hỗ trợ xử lí lỗi ngoại lệ. Chẳng hạn Visual Basic có lệnh On Error, C++, Java có nhóm lệnh try catch, Delphi, FP có nhóm lệnh try... except. Nói một cách đơn giản là: trong khi phương pháp xử lí lỗi truyền thống né tránh lỗi (tức là kiểm tra trước để đảm bảo không có lỗi thì mới làm) thì phương pháp lập trình xử lí lỗi ngoại lệ là thực hiện bình thường và dự phòng trước tình huống nếu gặp lỗi.
Chúng ta có thể xét một ví dụ là thực hiện một phép chia biến a cho biến b. Trong TP ta sẽ viết như sau:
Mã:
if b <> 0 then c := a/b
else write ('Error: b=0.');
Trong FP, sử dụng tính năng xử lí lỗi ngoại lệ, chúng ta có thể viết như sau:
Mã:
try
c := a/b;
except
on EDivByZero do begin
c := 0;
write('Error.');
end;
end;
Các bạn có thể nói: như vậy rõ ràng phức tạp, rắc rối hơn. Tất nhiên, tôi đồng ý. Nhưng hãy nhìn vào ưu điểm của phương pháp xử lí lỗi ngoại lệ so với phương pháp truyền thống: - Phương pháp kiểm tra không phải lúc nào cũng lường trước được mọi tình huống và thường phải thực hiện những phép kiểm tra rất tốn thời gian. Phương pháp xử lỗi ngoại lệ không cần những kiểm tra như vậy nên đơn giản hơn. Hơn nữa có những tình huống phải thực hiện rồi mới biết là có lỗi (chẳng hạn đọc file, cộng 2 số..) - Phương pháp truyền thống xử lí lỗi một cách không thống nhất: ở mức nào của chương trình bạn cũng phải có những đoạn trình xử lí riêng và mỗi lỗi cũng phải có đoạn trình xử lí riêng. Với phương pháp xử lí lỗi ngoại lệ ta có thể chủ động đưa lỗi lên mức xử lí cao nhất, thậm chí tự gây ra lỗi để chuyển quyền điều khiển (bằng lệnh raise).
- Phương pháp truyền thống sau khi gặp lỗi thường rất khó phục hồi lỗi. Phương pháp xử lí lỗi ngoại lệ có nhóm lệnh try finally sẽ đảm bảo dù gặp lỗi hay không những lệnh của khối finally đều được thực hiện.
Phương pháp xử lí lỗi ngoại lệ là phương pháp rất hay nhưng không thể trình bày đơn giản trong một đoạn báo ngắn được. Các bạn nếu thấy thú vị thì có thể tự tìm hiểu trong các tài liệu của FP, Delphi hay Java.
Như vậy qua một loạt bài báo, tôi đã trình bày về những điểm mạnh của FP so với TP, dưới góc độ một môi trường lập trình dành cho học sinh phổ thông hay sinh viên đại học làm quen lập trình hoặc rèn luyện chuẩn bị cho các kì thi HSG hay Olympic. Tất nhiên FP còn rất nhiều điểm mạnh khác như lập trình hướng đối tượng (OOP), đa nhiệm, đa luồng và đa nền (multi process - multi thread - multi platform), hỗ trợ trao tác CSDL và lập trình mạng nhưng đó là những lợi thế trong lập trình chuyên nghiệp, tạm thời chúng ta chưa xét đến.
Chúng ta có thể tổng kết lại như sau những điểm mạnh của FP so với TP, những điểm đủ thuyết phục để dùng FP thay thế TP:
- Không hạn chế bộ nhớ hay kích thước kiểu dữ liệu (mảng, xâu).
- Hàm có nhiều cải tiến: trả lại kết quả kiểu cấu trúc, định nghĩa hàm trùng tên, định nghĩa phép toán, cho phép dùng tên hàm như biến, dùng biến result hoặc lệnh exit để trả lại kết quả.
- Kiểu mảng mở và kiểu con trỏ uyển chuyển hơn, cho phép dùng con trỏ như mảng động.
- Hỗ trợ các chế độ đồ hoạ cao cấp.
- Cho phép lập trình xử lí lỗi ngoại lệ.
- Tương thích hoàn toàn TP, cả về mã lệnh hay giao diện IDE. Sinh mã 32 bit tối ưu nên tốc độ nhanh hơn TP rất nhiều lần. Hơn nữa FP có thể sinh mã cho nhiều hệ máy và hệ điều hành khác nhau.
Và một điều rất quan trọng là FP là phần mềm nguồn mở, hoàn toàn miễn phí. Khi luật bản quyền ở Việt Nam được thực thi nghiêm túc, Linux sẽ trở nên phổ biến và việc sử dụng các môi trường lập trình cao cấp như .NET, Java và HĐH Windows sẽ phải trả tiền bản quyền. Khi đó thành thạo FP sẽ là một lợi thế.
Xe nâng người Boom lift được Công Ty TNHH Trung thành phân phối chính hãng tại khu vực phía Bắc. Với chi phí đầu tư ban đầu thấp hơn rất nhiều so với các loại xe nâng dầu , xe nâng động cơ loại...
Xe nâng người được trung thành nhập khẩu giá tốt