Lua là gì: lịch sử, thiết kế, ứng dụng thực tế và các tính năng chính của ngôn ngữ

Informatec Digital » Thành ngữ » Lua là gì: lịch sử, thiết kế, ứng dụng thực tế và các tính năng chính của ngôn ngữ

Lua là một trong những ngôn ngữ gây bất ngờ bởi sự cân bằng của nó : nhỏ gọn, nhanh chóng và được thiết kế để nhúng vào các ứng dụng, nhưng lại đủ biểu đạt để bao quát nhiều phong cách lập trình khác nhau. Nếu bạn đang tự hỏi chính xác nó là gì, nó được sử dụng để làm gì và tại sao rất nhiều công cụ lại lựa chọn nó, thì đây là một hướng dẫn thực tế và được ghi chép đầy đủ.

Trước khi đi sâu vào chi tiết, cần làm rõ hai điểm quan trọng: Lua được tạo ra vào năm 1993 tại Brazil (PUC-Rio, nhóm TeCGraf) với mục tiêu trở nên nhẹ và có khả năng mở rộng, và kể từ phiên bản 5.0, nó được phân phối theo giấy phép MIT (trước đây là giấy phép tương tự BSD). Quá trình thực thi của nó không trực tiếp diễn giải mã nguồn: nó biên dịch thành mã byte và thực thi trong máy ảo riêng; ngoài ra, còn có LuaJIT để biên dịch trong thời gian chạy.

Lua là gì và nó xuất phát từ đâu?

Lua có nghĩa là "mặt trăng" trong tiếng Bồ Đào Nha và được tạo ra bởi Roberto Ierusalimschy, Luiz Henrique de Figueiredo và Waldemar Celes. Mục tiêu của nó rất rõ ràng ngay từ đầu: trở thành một ngôn ngữ có thể nhúng, di động và tối giản , với cú pháp đơn giản lấy cảm hứng từ C và khả năng mở rộng tương tự như Perl. Qua nhiều năm, nó đã khẳng định vị thế của mình như một công cụ lập trình kịch bản cho trò chơi điện tử, plugin và hệ thống nhúng.

Ngay từ khi ra đời, tính di động đã là trọng tâm chính : được triển khai bằng ngôn ngữ ISO C , nó có thể chạy ở hầu hết mọi nơi, từ các máy chủ lớn đến các bộ vi điều khiển chỉ với vài trăm kilobyte bộ nhớ. Các phiên bản đầu tiên được cấp phép theo giấy phép kiểu BSD, và kể từ Lua 5.0, chúng đã sử dụng giấy phép MIT , hoàn toàn tuân thủ GPL.

Triết lý và thiết kế: nhẹ, lõm và đa dạng

Lua ưu tiên "ít thành phần nhưng rất mạnh mẽ". Khung khái niệm của nó được tóm tắt trong ba trụ cột : bảng là cấu trúc dữ liệu duy nhất, hàm là các thành phần hạng nhất và coroutine để điều khiển luồng cộng tác. Với những nền tảng này, người dùng có thể xây dựng các mô-đun, đối tượng, môi trường và các khái niệm trừu tượng tùy chỉnh.

Ngôn ngữ này thường được mô tả là ngôn ngữ lập trình theo thủ tục, nhưng nó tự nhiên áp dụng các phong cách lập trình chức năng (các hàm đóng, các lệnh cấp cao), các phương pháp hướng đối tượng (thông qua các bảng siêu dữ liệu và nguyên mẫu), và một phương pháp hướng dữ liệu. Tính tối giản của nó không hàm ý sự cứng nhắc: ngôn ngữ này mở rộng và thích ứng bằng cách định nghĩa lại các hành vi thông qua các bảng siêu dữ liệu.

Cú pháp và thực thi thiết yếu

Trong Lua, các biến không có kiểu dữ liệu tĩnh ; giá trị của chúng được gán kiểu. Nó cung cấp tám kiểu dữ liệu cơ bản : nil , boolean , number , string , table , function , userdata và thread (coroutines). Hơn nữa, nó hỗ trợ chuyển đổi có kiểm soát giữa số và chuỗi trong thời gian chạy.

Ngôn ngữ được tổ chức trong miếng, mảnh nhỏ (các đoạn mã) mà trình biên dịch chuyển đổi thành các hàm ẩn danh; điều này giúp ích đóng gói trạng thái bây giờ chạy mà không có “ma thuật toàn cục” ngẫu nhiên. Các bình luận, ý kiến được đánh dấu bằng -- và hỗ trợ chuỗi ký tự với dấu ngoặc kép dài hoặc dấu ngoặc vuông; các nhà khai thác bao gồm số học, quan hệ, logic ngắn mạch (and, or, not), nối (..) và độ dài (#).

Về kiểm soát lưu lượng, chúng tôi đã tìm thấy if/elseif/else, while, repeat until (cơ thể được đảm bảo ít nhất một lần) và hai biến thể của for: số (có đầu, cuối và bước) và chung chung (các trình lặp như pairs o ipairs). Các tuyên bố địa phương giới hạn phạm vi từ vựng và trở lại cho phép nhiều giá trị.

Kiểu dữ liệu và ép buộc

Theo thiết kế, Lua là ngôn ngữ kiểu động . Việc chuyển đổi tự động chủ yếu diễn ra giữa chuỗi và số trong các phép toán số học hoặc ngữ cảnh văn bản. Câu lệnh điều kiện chỉ coi false và nil là false ; mọi thứ khác đều là true (bao gồm cả 0 và chuỗi rỗng).

Các kiểu dữ liệu chính bao gồm bảng (từ điển/mảng liên kết), hàm (giá trị hạng nhất), dữ liệu người dùng (khối bộ nhớ C) và luồng (coroutine). Bảng có tính chất không đồng nhất , chấp nhận bất kỳ kiểu khóa nào ngoại trừ nil , và tạo thành cơ sở của các cấu trúc phức tạp như danh sách, bản ghi, cây và mảng thưa.

Bảng và siêu bảng: trái tim của ngôn ngữ

Bảng là cấu trúc dữ liệu duy nhất và được sử dụng cho mọi thứ: từ một mảng đơn giản ({10,20,30}) vào danh mục, đối tượng, mô-đun và môi trường. Truy cập vào t y t.x tương đương khi khóa là một tên. Các hàm tạo có dấu ngoặc nhọn cho phép biểu thức rất nhỏ gọn của khởi tạo.

với bảng siêu dữ liệu se định nghĩa lại hành vi của các nhà điều hành và truy cập: __add, __eq, __lt, __concat, __len, __index, __newindex, __call, v.v. Điều đó cho phép quá tải phép cộng, phép so sánh, phép nối, hoặc cách phản hồi khi truy cập vào một trường bị thiếu, cùng nhiều phép tính khác. Do đó, bạn có thể xây dựng các lớp số phức, proxy, trình xác thực hoặc trình bao bọc chỉ với một vài dòng.

Mô-đun và môi trường

Chức năng require tải một mô-đun (một khối mà khi được thực thi, thường trả về một bảng với các hàm và hằng số). Bên trong, Lua biên dịch mã thành một hàm và thực thi nó trong môi trường, trả về kết quả của nó để được sử dụng lại. Biến toàn cục “sống” trong một bảng, có thể truy cập dưới dạng _G và, trong các phiên bản hiện đại hơn, thông qua môi trường có thể nhìn thấy của hàm (_ENV).

Kiến trúc này giúp giảm kích thước tệp nhị phân : thay vì tải mọi thứ, mỗi mô-đun chỉ hiển thị những gì cần thiết, và nhà phát triển quyết định những gì cần đưa vào. Khả năng hiển thị từ vựng và sự phân tách môi trường giúp giảm thiểu tác dụng phụ giữa các đoạn mã.

Các hàm, đóng và khối

Trong Lua, một hàm là một giá trị : nó được gán cho các biến, được truyền làm đối số và được trả về làm kết quả. Không có quy tắc cố định về số lượng đối số: các đối số thừa sẽ bị bỏ qua ; các đối số thiếu sẽ được điền bằng nil . Ngay cả các khối mã cũng được coi là các hàm ẩn danh, giúp dễ dàng đóng gói trạng thái cục bộ mà không làm ô nhiễm môi trường toàn cục.

Là cú pháp đường, toán tử : (dấu hai chấm) cho phép bạn định nghĩa và gọi "phương thức" bằng cách truyền self ngầm hiểu: obj:metodo(x) Equivale a obj.metodo(obj, x). Các đóng cửa Chúng nắm bắt các giá trị tăng, đây là cơ sở rất mạnh mẽ để xây dựng các trình lặp, nhà máy và API sạch.

Hướng đối tượng “theo cách của Lua”

Mặc dù nó không có các lớp như vậy, Lua triển khai OOP bằng cách sử dụng các bảng và siêu bảngMẫu sử dụng phổ biến nhất __index Để ủy quyền cho một nguyên mẫu: Các đối tượng lưu trữ trạng thái và tra cứu các phương thức của chúng trong "mẫu" (bảng nguyên mẫu). Một hàm tạo có thể dễ dàng gán metatable và trả về các thể hiện mới.

Kết hợp các hàm tạo, __index và sugar:, một OOP thực dụng được thu được: các phương pháp với self, thừa kế giả (nguyên mẫu được nối tiếp), khả năng ghi đè và thành phần linh hoạt. Đây là cách tiếp cận đơn giản và rất hiệu quả đối với các plugin, trò chơi hoặc tập lệnh cấu hình.

Coroutines: đa nhiệm hợp tác

các các coroutine Chúng cung cấp khả năng kiểm soát dòng chảy rất tốt: chúng có thể yield y resume tại các điểm cụ thể, bảo toàn pin của chúng. Chúng hoạt động như đa luồng hợp tác, lý tưởng cho logic trò chơi, hệ thống phản ứng, người lập kế hoạch đơn giản hoặc trình lặp lười biếngNgoài ra, chúng còn cho phép chuyển đổi linh hoạt giữa Lua và mã máy chủ (ví dụ: C/C++).

Về mặt thực tế, một coroutine chạy cho đến khi kết thúc , trả về các giá trị cho người khởi động lại nó, và sau đó tiếp tục ngay tại điểm đã dừng lại. Đối với các tác vụ tương tác, trí tuệ nhân tạo có trạng thái hoặc mô phỏng, nó là một công cụ rất có giá trị nhờ chi phí thấp và tính rõ ràng.

Thư viện và Tiện ích Tiêu chuẩn

Lua đi kèm với một bộ thư viện chuẩn nhỏ gọn nhưng rất hữu ích: cơ bản (assert, type, pairs, require…), chuỗi (patterns, gsub, gmatch, format), bảng (insert, remove, sort, concat), toán học (lượng giác, hàm mũ, số ngẫu nhiên), I/O ( tệp), hệ điều hành (ngày tháng, môi trường, tiến trình) và gỡ lỗi (hooks, traces, inspection). Chúng được thiết kế để đáp ứng 80% nhu cầu thực tế với dung lượng tối thiểu.

Hệ thống mẫu chuỗi cung cấp khả năng tìm kiếm, nắm bắt và thay thế mạnh mẽ mà không cần dùng đến biểu thức chính quy đầy đủ; với các tính năng như gmatch o gsub Hầu hết các trường hợp xử lý văn bản thông thường đều được giải quyết theo cách đơn giản. ngắn gọn.

Được nhúng trong C/C++ và API tích hợp

Một trong những điểm mạnh của nó là API trong C. Máy chủ tạo ra một lua_State, tải các khối (lua_load), gọi các hàm (lua_pcall để thực hiện được bảo vệ), đăng ký chức năng bản địa có thể truy cập từ Lua và di chuyển dữ liệu qua ngăn xếp ảoCó các tiện ích xử lý lỗi, thu gom rác, bảng siêu dữ liệu và "dữ liệu người dùng" giúp hiển thị các cấu trúc C-world.

Thiết kế này biến Lua thành một công cụ kịch bản đa năng cho các ứng dụng C/C++: logic được ủy thác cho Lua (dễ dàng lặp lại và triển khai) trong khi vẫn duy trì hiệu năng của nhân hệ điều hành gốc. Kích thước nhỏ gọn của nó (mã nguồn khoảng 25.000 dòng C và các tệp nhị phân chỉ vài trăm KB) giúp tích hợp nó ngay cả trên các thiết bị có cấu hình khiêm tốn.

Lua trong IoT và vi điều khiển (ESP8266/NodeMCU)

Lua rất phù hợp với IoT vì tính đơn giản và chu kỳ phát triển nhanh chóng. NodeMCU cho ESP8266 cung cấp một chương trình cơ sở chạy Lua và với các công cụ như Trình tải lên Lua o ESPlorer Bạn có thể tải lên các tập lệnh, mở bảng điều khiển, kiểm tra các đoạn mã và gỡ lỗi ngay lập tức. Tệp init.lua thông thường bắt đầu logic của thiết bị (ví dụ: nhấp nháy đèn LED hoặc cấu hình GPIO).

Khả năng của thực thi các phần mã một cách tuần tự, không cần biên dịch lại mọi thứ, giúp bạn thoải mái thử nghiệm: khai báo biến, tạo print(a+b), chốt chuyển đổi, v.v. Đối với những người đến từ Arduino, luồng này là nhanh nhẹn và có tính giáo huấnvà thường thì những thay đổi nhỏ cũng đủ để chuyển các tập lệnh sang các thiết bị tương thích khác.

Ứng dụng đáng chú ý trong trò chơi điện tử và phần mềm

Nhờ tính chất nhẹ nhàng, hiệu năng cao và giấy phép sử dụng rộng rãi , Lua là ngôn ngữ được ưa chuộng trong các công cụ và bản mod. Các nền tảng như Roblox đã quảng bá một biến thể có kiểu dữ liệu (Luau); các tựa game và công cụ như World of Warcraft , game sandbox Garry's Mod (dựa trên Half-Life 2), game chiến lược thời gian thực Supreme Commander , một phần của STALKER , các game phiêu lưu của LucasArts như Grim Fandango và Escape from Monkey Island , Worms 4: Mayhem , và các framework như LÖVE2D đã chứng minh sức mạnh của nó trong việc lập trình giao diện, logic trò chơi và các bản mod.

Nó cũng xuất hiện trong các game MMO và nền tảng như Tibia (với khả năng tùy chỉnh mở rộng cùng với XML), Ragnarok Online (AI hình người nhân tạo), các máy chủ và bản mod như Multi Theft Auto: San Andreas hoặc FiveM , các trò chơi như Factorio (các bản mod dựa trên Lua), Hedgewars , Transformice , Minetest (tạo mod hoặc toàn bộ trò chơi), StepMania (hoạt hình và lệnh), và thậm chí cả trong các tựa game như The Binding of Isaac: Rebirth (DLC Afterbirth+ bổ sung hỗ trợ mod Lua).

Trong lĩnh vực công cụ và hệ thống, các trình quản lý cửa sổ như Ion và Awesome sử dụng Lua để cấu hình và mở rộng, trong khi các ứng dụng như REAPER , Rockbox và Renoise DAW tận dụng nó để lập trình và tùy chỉnh sâu (API tùy chỉnh, OSC, MIDI, menu, cửa sổ nổi, thiết bị đầu cuối tích hợp). Nó cũng được sử dụng để xử lý dữ liệu đầu vào , cấu hình ứng dụng, điều khiển phần cứng và tự động hóa các tác vụ.

Hiệu suất, triển khai và thu gom rác

Lua được biên dịch thành mã bytecode và chạy trong một máy ảo hiệu quả; đối với các trường hợp đòi hỏi cao hơn, LuaJIT bổ sung thêm tính năng biên dịch thời gian chạy. Bộ thu gom rác hoạt động theo kiểu tăng dần, quét cờ , có thể cấu hình (tạm dừng và hệ số nhân bước), và hỗ trợ các hàm hoàn tất (__gc) cho dữ liệu người dùng và các bảng yếu (các khóa/giá trị không ngăn cản việc giải phóng bộ nhớ).

Sự kết hợp giữa tốc độ và khả năng điều khiển này tạo ra độ trễ thấp, chấp nhận được đối với các trò chơi, plugin và hệ thống nhúng. Kích thước nhỏ gọn cho phép triển khai trên các thiết bị có tài nguyên rất hạn chế mà không làm giảm khả năng thể hiện.

So sánh và học tập thiết kế

Không giống như các ngôn ngữ nặng nề hơn, Lua ưu tiên tính tiết kiệm và khả năng tương tác . Nó không nhằm mục đích thay thế Python hay JavaScript như một "hệ sinh thái hoàn chỉnh", mà là lựa chọn tốt nhất khi tính đơn giản, tính di động và khả năng mở rộng của C là yếu tố then chốt . Cuốn sách "Programming in Lua" và các bài viết kỹ thuật đi sâu vào những quyết định giải thích cho thiết kế thanh lịch của nó.

Những người đến từ Pascal, C hoặc các ngôn ngữ có cú pháp rõ ràng tìm một đường cong nhập cảnh trơn tru: khối với do ... end, các điều kiện có thể đọc được, 20 từ khóa được xác định rõ ràng và mẫu local para hạn chế tác dụng phụ“Chất kết dính” của nó với C và ngữ nghĩa bảng linh hoạt khuyến khích xây dựng từ dưới lên chỉ những gì cần thiết.

Những trường hợp và giai thoại thường gặp

Về mặt khả năng tương thích, việc chuyển một ứng dụng Lua giữa các hệ điều hành thường chỉ yêu cầu những thay đổi tối thiểu. Trên các máy chơi game và thiết bị, có các bản dựng dành cho PSP , Wii và SEGA Saturn (với các thư viện cụ thể), và cộng đồng lập trình viên tự phát triển đã sử dụng Lua vì tính đơn giản của nó.

Trên các máy chủ riêng và các bản mod (ví dụ: Tibia ), người ta sử dụng Lua để tạo ra các hệ thống, kịch bản và tiện ích mở rộng cấp cao . Và nếu bạn làm việc trên các nền tảng sáng tạo như Friday Night Funkin' , Lua được sử dụng để chỉnh sửa HUD, bảng mod và trang trí cảnh, thể hiện tính linh hoạt của nó trong việc dàn dựng động lực học.

Điểm mạnh giải thích cho sự thành công của nó

Nhẹ và nhanh : các tệp nhị phân rất nhỏ, tiêu thụ bộ nhớ tối thiểu và trình thông dịch/máy ảo hiệu quả. Trên các thiết bị có tài nguyên hạn chế, sự tiết kiệm này tạo nên sự khác biệt lớn.

API C tuyệt vời : việc đăng ký các hàm gốc và hiển thị các cấu trúc rất đơn giản. Đối với các ứng dụng phức tạp, được chuyển đổi thành "máy chủ", Lua là cầu nối lý tưởng giữa nhân gốc và logic cấp cao.

Đa mô hình và có tính mô-đun : với các bảng, siêu bảng, hàm và coroutine, bạn xây dựng chính xác những gì mình cần, không thừa không thiếu. Cấu trúc tối thiểu được thiết kế kỹ lưỡng này giúp tránh sự phức tạp không cần thiết.

Cộng đồng và tài liệu : một cẩm nang tham khảo ngắn gọn, nhiều ví dụ và tài liệu bằng nhiều ngôn ngữ (tiếng Anh, tiếng Tây Ban Nha, tiếng Bồ Đào Nha). Văn hóa "hiểu cách thức hoạt động" được thể hiện qua mã nguồn rõ ràng và mạnh mẽ.

Chi tiết cú pháp và toán tử cần nhớ

Toán tử logic với mạch ngắn trả về các toán hạng (không chỉ là boolean): a and b y a or b có thể trả về các giá trị không phải boolean, rất hữu ích cho các phép gán mặc định (x = x or {}).

Nối với .., chiều dài với # (trong chuỗi và trong các bảng “kiểu mảng”), lũy thừa với ^và các ưu tiên tương tự như C với các đặc điểm riêng như tính kết hợp đúng trong .. y ^. Các mẫu chuỗi Chúng cung cấp khả năng chụp và tìm kiếm thuận tiện mà không phụ thuộc vào bên ngoài.

Tại sao nhiều động cơ và công cụ lại chọn nó?

Bởi vì nó giảm thiểu ma sát giữa thiết kế và thực thi : việc lặp lại trong Lua rất nhanh, các kịch bản dễ dàng phân phối và kiểm tra, và nhân hệ điều hành gốc được bảo vệ khỏi những thay đổi thường xuyên. Hơn nữa, là phần mềm tự do với giấy phép cho phép sử dụng rộng rãi , nó hoàn toàn phù hợp với các sản phẩm thương mại và các dự án cộng đồng.

Và có một yếu tố văn hóa quan trọng: sự rõ ràng của ngôn ngữ khuyến khích việc học các khái niệm lập trình (hàm bậc cao, closure, iterator) mà sau đó có thể được áp dụng trong các môi trường khác. Đối với các nhóm hỗn hợp (thiết kế, lập trình kịch bản, phát triển engine), điều này giúp đẩy nhanh tiến độ bàn giao sản phẩm mà không làm giảm chất lượng.

Sau khi tìm hiểu về lịch sử, thiết kế và các ứng dụng của nó, thật dễ hiểu tại sao Lua lại có được một vị trí đặc biệt: một ngôn ngữ nhỏ nhưng làm được những điều lớn lao . Từ trò chơi điện tử và phần mềm DAW đến IoT và cửa sổ nổi, sự kết hợp giữa bảng và siêu bảng, các hàm hạng nhất và coroutine của nó tạo ra các giải pháp gọn gàng, có tính mô-đun và dễ bảo trì. Nếu bạn đang tìm kiếm một công cụ kịch bản đáng tin cậy để tích hợp vào ứng dụng của mình hoặc một ngôn ngữ đơn giản để tự động hóa mà không làm giảm sức mạnh, Lua là một đối tác tuyệt vời.