Tổng quan về phần mở rộng

Trang này mô tả cách mở rộng ngôn ngữ BUILD bằng cách sử dụng macro và quy tắc.

Tiện ích Bazel là các tệp có đuôi .bzl. Sử dụng câu lệnh tải để nhập một ký hiệu từ một tiện ích.

Trước khi tìm hiểu các khái niệm nâng cao hơn, trước tiên hãy:

Macro và quy tắc

Macro là một hàm khởi tạo các quy tắc. Macro có 2 loại: macro tượng trưng (mới trong Bazel 8) và macro cũ. Hai loại macro được xác định khác nhau, nhưng hoạt động gần giống nhau theo quan điểm của người dùng. Macro rất hữu ích khi tệp BUILD trở nên quá lặp lại hoặc quá phức tạp, vì macro cho phép bạn sử dụng lại một số mã. Hàm được đánh giá ngay khi tệp BUILD được đọc. Sau khi đánh giá tệp BUILD, Bazel có ít thông tin về macro. Nếu macro của bạn tạo ra genrule, Bazel sẽ hoạt động gần như như thể bạn đã khai báo genrule đó trong tệp BUILD. (Một trường hợp ngoại lệ là các mục tiêu được khai báo trong macro tượng trưng có ngữ nghĩa đặc biệt về khả năng hiển thị: macro tượng trưng có thể ẩn các mục tiêu nội bộ của mình khỏi phần còn lại của gói.)

Một quy tắc mạnh hơn macro. Quy tắc có thể truy cập vào các thành phần nội bộ của Bazel và kiểm soát hoàn toàn những gì đang diễn ra. Ví dụ: quy tắc có thể truyền thông tin cho các quy tắc khác.

Nếu bạn muốn sử dụng lại logic đơn giản, hãy bắt đầu bằng macro; bạn nên dùng macro tượng trưng, trừ phi bạn cần hỗ trợ các phiên bản Bazel cũ hơn. Nếu macro trở nên phức tạp, thì thường là bạn nên chuyển macro đó thành quy tắc. Việc hỗ trợ ngôn ngữ mới thường được thực hiện bằng quy tắc. Quy tắc dành cho người dùng nâng cao và hầu hết người dùng sẽ không bao giờ phải viết quy tắc; họ sẽ chỉ tải và gọi các quy tắc hiện có.

Mô hình đánh giá

Quy trình xây dựng gồm 3 giai đoạn.

  • Giai đoạn tải. Trước tiên, hãy tải và đánh giá tất cả tiện ích và tất cả tệp BUILD cần thiết cho quy trình xây dựng. Việc thực thi các tệp BUILD chỉ đơn giản là khởi tạo các quy tắc (mỗi khi một quy tắc được gọi, quy tắc đó sẽ được thêm vào biểu đồ). Đây là nơi các macro được đánh giá.

  • Giai đoạn phân tích. Mã của các quy tắc được thực thi (hàm implementation) và các hành động được khởi tạo. Một hành động mô tả cách tạo một tập hợp đầu ra từ một tập hợp đầu vào, chẳng hạn như "chạy gcc trên hello.c và nhận hello.o". Bạn phải liệt kê rõ ràng những tệp sẽ được tạo trước khi thực thi các lệnh thực tế. Nói cách khác, giai đoạn phân tích sẽ lấy biểu đồ do giai đoạn tải tạo ra và tạo biểu đồ hành động.

  • Giai đoạn thực thi. Các hành động được thực thi khi cần ít nhất một trong các đầu ra của chúng. Nếu một tệp bị thiếu hoặc nếu một lệnh không tạo được một đầu ra, thì quy trình xây dựng sẽ không thành công. Các bài kiểm thử cũng được chạy trong giai đoạn này.

Bazel sử dụng tính song song để đọc, phân tích cú pháp và đánh giá các tệp .bzl và tệp BUILD. Một tệp được đọc tối đa một lần cho mỗi quy trình xây dựng và kết quả đánh giá được lưu vào bộ nhớ đệm và sử dụng lại. Một tệp chỉ được đánh giá một lần sau khi tất cả các phần phụ thuộc của tệp đó (câu lệnh load()) đã được giải quyết. Theo thiết kế, việc tải tệp .bzl không có tác dụng phụ hữu hình, mà chỉ xác định các giá trị và hàm.

Bazel cố gắng thông minh: Bazel sử dụng tính năng phân tích phần phụ thuộc để biết những tệp nào phải được tải, những quy tắc nào phải được phân tích và những hành động nào phải được thực thi. Ví dụ: nếu một quy tắc tạo ra các hành động mà bạn không cần cho quy trình xây dựng hiện tại, thì các hành động đó sẽ không được thực thi.

Tạo tiện ích

Hai đường liên kết bên dưới sẽ rất hữu ích khi bạn viết tiện ích của riêng mình. Hãy lưu giữ các đường liên kết này trong tầm tay:

Tìm hiểu thêm

Ngoài macro và quy tắc, bạn có thể muốn viết các khía cạnh và quy tắc kho lưu trữ.