Bạn vui lòng hiểu rằng "một biến" ở đây có nghĩa là trong khai báo var của toàn chương trình (kể cả khai báo tham biến, tham trị của chương trình con) chỉ có một biến duy nhất được khai báo. Không được phép khai báo record để lấy các trường làm các biến riêng biệt. Nếu thế thì quá dễ dàng rồi O_o
Suy nghĩ đầu tiên của mình khi nhìn thấy vấn đề này là pointer. Mình đã thử khai báo "s: pointer;" nhưng lại gặp vấn đề về ép kiểu để nhập chuỗi vào.
Tới đây mình nhận thấy rằng vấn đề quan trọng nhất chính là làm sao đọc được chuỗi vào. Vì thế "biến duy nhất" của ta chỉ có thể là "s: shortString;" hoặc "s: ^shortString". Và mình đã chọn cách thứ hai, bởi nếu khai báo theo cách thứ nhất thì việc duy nhất có thể làm được chỉ là nhập xâu vào.
Cần phải có một chút gợi nhớ về cái khai báo "s: ^shortString" này. Ta đã biết rằng, khi khai báo như trên thì s ở đây chỉ là một "con số" đại diện cho một byte trong bộ nhớ máy tính, là vị trí của shortString tương ứng với s trong bộ nhớ. Nói cách khác, s chỉ là địa chỉ nhà của một shortString thật sự mà thôi, không phải là chính shortString đó.
Như vậy ý tưởng của chúng ta sẽ là dùng chính biến địa chỉ s đó để in ra các kí tự.
Nhắc lại rằng, mỗi shortString có độ dài 256 byte, và byte đầu tiên (kí hiệu 0 ở trên) sẽ lưu độ dài thực của xâu đang chứa (vậy thì nó phải có giá trị là #4 mới đúng, ở đây dùng '0' cho dễ thấy).
Bởi vậy, ý tưởng là mình sẽ tìm cách cho s chạy tới vị trí chữ D (tức là vị trí cuối cùng của xâu) rồi từ đó chạy ngược về vị trí A, lần lượt in ra các giá trị hiện tại sẽ được xâu đảo ngược. Thế nhưng việc này không hề dễ dàng bởi không thể lắp biến s vào một câu lệnh lặp for để lợi dụng "hai biến ẩn" của nó được (nói nhỏ: "hai biến ẩn" của for là cách nói của mình, ám chỉ lNumber1 và lNumber2 trong câu lệnh "for i := lNumber1 to lNumber2 do". Khi thực hiện lệnh này, máy tính sẽ xây dựng hai ô nhớ lưu hai giá trị lNumber1 và lNumber2 riêng biệt với i, vì thế câu lệnh "for i := i to i+5 do" là hoàn toàn hợp lệ).
Bởi vậy, ý tưởng là mình sẽ tìm cách cho s chạy tới vị trí chữ D (tức là vị trí cuối cùng của xâu) rồi từ đó chạy ngược về vị trí A, lần lượt in ra các giá trị hiện tại sẽ được xâu đảo ngược. Thế nhưng việc này không hề dễ dàng bởi không thể lắp biến s vào một câu lệnh lặp for để lợi dụng "hai biến ẩn" của nó được (nói nhỏ: "hai biến ẩn" của for là cách nói của mình, ám chỉ lNumber1 và lNumber2 trong câu lệnh "for i := lNumber1 to lNumber2 do". Khi thực hiện lệnh này, máy tính sẽ xây dựng hai ô nhớ lưu hai giá trị lNumber1 và lNumber2 riêng biệt với i, vì thế câu lệnh "for i := i to i+5 do" là hoàn toàn hợp lệ).
Nhưng với lệnh lặp while...do hay repeat...until, điều đó ("biến ẩn") không còn đúng nữa. Biến đếm sẽ mang giá trị của chính nó, chính ô nhớ đó, vì vậy nó sẽ thay đổi. Trớ trêu thay, biến con trỏ không được phép cho vào lệnh lặp ("for s := address1 to address2 do" là một câu lệnh sai). Ta buộc phải tìm cách sử dụng lệnh lặp while...do hoặc repeat...until.
Ở đây mình đã chọn while...do mà không chọn repeat...until bởi còn xét tới người dùng nhập xâu rỗng, repeat...until sẽ gây khó khăn cho xử lí trường hợp này. Mà giờ...while cái gì do ? Phải có một điều kiện để dừng việc "nhảy tới vị trí chữ D". Thế là nghĩ ngay tới kĩ thuật "lính canh": Đặt cho vị trí sau chữ D một giá trị không thể nhập vào được, thí dụ như mình chọn #5. Vì sau này cũng sẽ phải đi ngược lại về ban đầu để in xâu ngược, mình cũng đặt luôn vị trí 0 (tức là s^[0] theo ngôn ngữ Pascal) là #5 luôn. Mọi sự chuẩn bị đã sẵn sàng.
Chú ý rằng bây giờ gọi s^ sẽ không còn trả về 'ABCD' nữa mà sẽ trả về 'ABCD' cùng với kí tự #5 cuối cùng (bởi độ dài xâu đã bị đặt lại là 5 ở phần tử s^[0] đầu tiên rồi, nhưng điều đó không quan trọng).
Hình như còn điều gì đó chưa ổn. Làm cách nào để s có thể dịch từ từ từng byte như ý ta muốn ? Ta có phép tính s := s+1, nhưng điều đó chỉ khiến cho s dịch phải một khoảng bằng kích thước của s (256 byte thay vì 1 byte như ta muốn). Mọi cách hòng thay đổi giá trị của s đều khiến cho nó nhảy tới hoặc nhảy lui một bội của 256. Tới đây gần như vô vọng.
Nhưng không. Vẫn còn một con đường để thoát khỏi bế tắc này, đó chính là kí tự "@". Trong ngôn ngữ Pascal, "@" là toán tử trả về địa chỉ của một biến, ví dụ "@i" sẽ trả về địa chỉ ô nhớ biến i trong bộ nhớ. Đó chính là chìa khóa của chúng ta. Bằng cách đặt "s := @s^[1]", ta đã "đặt địa chỉ s bằng địa chỉ của s^[1], nghĩa là s giờ đang nằm ở vị trí này:
Tới đây thì hình như mọi chuyện đã quá rõ ràng rồi. Bằng kĩ thuật đặt "s := @s^[1]", ta nhảy lần lượt đến khi gặp s^[1] (ô tiếp theo) bằng #5 thì dừng. Đến đây, một cuộc phiêu lưu khác lại diễn ra.
(Chờ hồi sau)
.jpg)