Starlark 是類似 Python 的設定語言,最初是為了在 Bazel 中使用而開發,後來其他工具也採用了這項語言。Bazel 的 BUILD
和 .bzl
檔案是以 Starlark 的慣用方言編寫,但通常只會簡稱為「Starlark」,特別是在強調功能是以 Build Language 表示,而不是以 Bazel 的內建或「原生」部分表示時。Bazel 會使用許多建構相關函式 (例如 glob
、genrule
、java_binary
等) 來增強核心語言。
如需更多詳細資訊,請參閱 Bazel 和 Starlark 說明文件,並參考 Rules SIG 範本,瞭解如何建立新的規則集。
空白規則
如要建立第一個規則,請建立 foo.bzl
檔案:
def _foo_binary_impl(ctx):
pass
foo_binary = rule(
implementation = _foo_binary_impl,
)
呼叫 rule
函式時,必須定義回呼函式。邏輯會放在這個位置,但您可以先將函式留空。ctx
引數會提供目標相關資訊。
您可以載入規則,並透過 BUILD
檔案使用。
在同一個目錄中建立 BUILD
檔案:
load(":foo.bzl", "foo_binary")
foo_binary(name = "bin")
現在可以建構目標:
$ bazel build bin
INFO: Analyzed target //:bin (2 packages loaded, 17 targets configured).
INFO: Found 1 target...
Target //:bin up-to-date (nothing to build)
雖然規則沒有任何作用,但其行為與其他規則相同:它有強制名稱,且支援 visibility
、testonly
和 tags
等常見屬性。
評估模型
在進一步探討前,請務必瞭解程式碼評估方式。
使用一些列印陳述式更新 foo.bzl
:
def _foo_binary_impl(ctx):
print("analyzing", ctx.label)
foo_binary = rule(
implementation = _foo_binary_impl,
)
print("bzl file evaluation")
和 BUILD:
load(":foo.bzl", "foo_binary")
print("BUILD file")
foo_binary(name = "bin1")
foo_binary(name = "bin2")
ctx.label
對應至要分析的目標標籤。ctx
物件具有許多實用的欄位和方法,您可以在 API 參考資料中找到完整清單。
查詢程式碼:
$ bazel query :all
DEBUG: /usr/home/bazel-codelab/foo.bzl:8:1: bzl file evaluation
DEBUG: /usr/home/bazel-codelab/BUILD:2:1: BUILD file
//:bin2
//:bin1
請注意以下幾點:
- 系統會先列印「bzl 檔案評估」。在評估
BUILD
檔案之前,Bazel 會評估其載入的所有檔案。如果有多個BUILD
檔案正在載入 foo.bzl,您只會看到一次「bzl 檔案評估」事件,因為 Bazel 會快取評估結果。 - 系統不會呼叫回呼函式
_foo_binary_impl
。Bazel 查詢會載入BUILD
檔案,但不會分析目標。
如要分析目標,請使用 cquery
(「已設定查詢」) 或 build
指令:
$ bazel build :all
DEBUG: /usr/home/bazel-codelab/foo.bzl:8:1: bzl file evaluation
DEBUG: /usr/home/bazel-codelab/BUILD:2:1: BUILD file
DEBUG: /usr/home/bazel-codelab/foo.bzl:2:5: analyzing //:bin1
DEBUG: /usr/home/bazel-codelab/foo.bzl:2:5: analyzing //:bin2
INFO: Analyzed 2 targets (0 packages loaded, 0 targets configured).
INFO: Found 2 targets...
如您所見,現在 _foo_binary_impl
已呼叫兩次,每個目標各一次。
有些讀者會注意到,雖然在呼叫 bazel query
後,foo.bzl 的評估結果會快取,但「bzl 檔案評估」會再次列印。Bazel 不會重新評估程式碼,只會重播列印事件。無論快取狀態為何,您都會取得相同的輸出內容。
建立檔案
如要提高規則的實用性,請更新規則來產生檔案。首先,請宣告檔案並為其命名。在此範例中,建立名稱與目標相同的檔案:
ctx.actions.declare_file(ctx.label.name)
如果現在執行 bazel build :all
,系統會顯示錯誤訊息:
The following files have no generating action:
bin2
每次宣告檔案時,您都必須建立動作,告訴 Bazel 如何產生檔案。使用 ctx.actions.write
建立含有指定內容的檔案。
def _foo_binary_impl(ctx):
out = ctx.actions.declare_file(ctx.label.name)
ctx.actions.write(
output = out,
content = "Hello\n",
)
代碼有效,但不會執行任何動作:
$ bazel build bin1
Target //:bin1 up-to-date (nothing to build)
ctx.actions.write
函式註冊了動作,可教導 Bazel 如何產生檔案。但 Bazel 只會在實際要求時才會建立檔案。因此,最後一個步驟是告知 Bazel 該檔案是規則的輸出內容,而不是規則實作中使用的暫存檔案。
def _foo_binary_impl(ctx):
out = ctx.actions.declare_file(ctx.label.name)
ctx.actions.write(
output = out,
content = "Hello!\n",
)
return [DefaultInfo(files = depset([out]))]
請稍後查看 DefaultInfo
和 depset
函式。目前,我們假設最後一行是選擇規則輸出內容的方式。
現在,請執行 Bazel:
$ bazel build bin1
INFO: Found 1 target...
Target //:bin1 up-to-date:
bazel-bin/bin1
$ cat bazel-bin/bin1
Hello!
已成功產生檔案!
屬性
如要讓規則更實用,請使用 attr
模組新增屬性,並更新規則定義。
新增名為 username
的字串屬性:
foo_binary = rule(
implementation = _foo_binary_impl,
attrs = {
"username": attr.string(),
},
)
接著,請在 BUILD
檔案中設定:
foo_binary(
name = "bin",
username = "Alice",
)
如要存取回呼函式中的值,請使用 ctx.attr.username
。例如:
def _foo_binary_impl(ctx):
out = ctx.actions.declare_file(ctx.label.name)
ctx.actions.write(
output = out,
content = "Hello {}!\n".format(ctx.attr.username),
)
return [DefaultInfo(files = depset([out]))]
請注意,您可以將屬性設為必要屬性或設定預設值。查看 attr.string
的說明文件。您也可以使用其他類型的屬性,例如布林值或整數清單。
依附元件
依附元件屬性 (例如 attr.label
和 attr.label_list
) 會將擁有該屬性的目標中的依附元件宣告至其標籤出現在屬性值的目標。這類屬性構成目標圖表的基礎。
在 BUILD
檔案中,目標標籤會顯示為字串物件,例如 //pkg:name
。在實作函式中,目標可做為 Target
物件存取。例如,使用 Target.files
查看目標傳回的檔案。
多個檔案
根據預設,只有由規則建立的目標才會顯示為依附元件 (例如 foo_library()
目標)。如果希望屬性接受輸入檔案的目標 (例如存放區中的來源檔案),可以使用 allow_files
並指定系統接受的副檔名清單 (或使用 True
來允許任何副檔名):
"srcs": attr.label_list(allow_files = [".java"]),
您可以使用 ctx.files.<attribute name>
存取檔案清單。例如,您可以透過以下方式存取 srcs
屬性中的檔案清單:
ctx.files.srcs
單一檔案
如果只需要一個檔案,請使用 allow_single_file
:
"src": attr.label(allow_single_file = [".java"])
接著,您可以在 ctx.file.<attribute name>
下存取這個檔案:
ctx.file.src
使用範本建立檔案
您可以建立規則,根據範本產生 .cc 檔案。此外,您也可以使用 ctx.actions.write
輸出規則實作函式中建構的字串,但這會產生兩個問題。首先,隨著範本變得更大,將記憶體放在獨立的檔案中,並避免在分析階段建構大型字串,會更有效率。其次,使用獨立檔案會讓使用者更為方便。請改用 ctx.actions.expand_template
,這會在範本檔案上執行替代。
建立 template
屬性,宣告範本檔案的依附元件:
def _hello_world_impl(ctx):
out = ctx.actions.declare_file(ctx.label.name + ".cc")
ctx.actions.expand_template(
output = out,
template = ctx.file.template,
substitutions = {"{NAME}": ctx.attr.username},
)
return [DefaultInfo(files = depset([out]))]
hello_world = rule(
implementation = _hello_world_impl,
attrs = {
"username": attr.string(default = "unknown person"),
"template": attr.label(
allow_single_file = [".cc.tpl"],
mandatory = True,
),
},
)
使用者可以像這樣使用規則:
hello_world(
name = "hello",
username = "Alice",
template = "file.cc.tpl",
)
cc_binary(
name = "hello_bin",
srcs = [":hello"],
)
如果您不想向使用者顯示範本,並且一律使用相同的範本,可以設定預設值並將屬性設為私密:
"_template": attr.label(
allow_single_file = True,
default = "file.cc.tpl",
),
以底線開頭的屬性為私有屬性,無法在 BUILD
檔案中設定。範本現在是「隱含依附元件」:每個 hello_world
目標都有這個檔案的依附元件。請記得更新 BUILD
檔案並使用 exports_files
,讓其他套件能夠查看這個檔案:
exports_files(["file.cc.tpl"])