長寬比

7.3 · 7.2 · 7.1 · 7.0 · 6.5

本頁面將說明使用切面的基礎知識和好處,並提供簡單和進階範例。

切面可擴增建構依附元件圖表,提供額外資訊和動作。以下是一些可使用面向的常見情境:

  • 整合 Bazel 的 IDE 可使用面向收集專案相關資訊。
  • 程式碼生成工具可以利用切面,以「跨目標鎖定」的方式執行輸入內容。舉例來說,BUILD 檔案可指定 protobuf 程式庫定義的階層,而語言特定規則可使用面向附加動作,為特定語言產生 protobuf 支援程式碼。

顯示比例基本概念

BUILD 檔案會提供專案原始碼的說明:專案包含哪些來源檔案、應從這些檔案建構哪些構件 (目標)、這些檔案之間的相依性為何等等。Bazel 會使用這些資訊執行建構作業,也就是找出產生構件的必要動作集合 (例如執行編譯器或連結器),並執行這些動作。Bazel 會在目標之間建構相依關係圖,並查看這張圖表來收集這些動作。

請參考下列 BUILD 檔案:

java_library(name = 'W', ...)
java_library(name = 'Y', deps = [':W'], ...)
java_library(name = 'Z', deps = [':W'], ...)
java_library(name = 'Q', ...)
java_library(name = 'T', deps = [':Q'], ...)
java_library(name = 'X', deps = [':Y',':Z'], runtime_deps = [':T'], ...)

這個 BUILD 檔案定義了依附元件圖表,如下圖所示:

建構圖表

圖 1. BUILD 檔案依附元件圖。

Bazel 會針對上述範例中的每個目標,為相應的規則 (在本例中為「java_library」) 呼叫實作函式,藉此分析這個相依關係圖。規則實作函式會產生動作,這些動作會建構 .jar 檔案等構件,並將位置和這些構件的名稱等資訊傳遞至 供應器中這些目標的反向依附元件。

層面與規則類似,因為它們都有實作函式,可產生動作並傳回提供者。不過,這些功能的強大之處在於依附元件圖表的建構方式。一個面向會具有實作項目,以及一份列出其沿途會傳播的所有屬性清單。請考慮沿著名為「deps」的屬性傳播的 A 層面。這個切面可套用至目標 X,產生切面應用程式節點 A(X)。在應用期間,A 會遞迴套用至 X 在其「deps」屬性 (A 傳播清單中的所有屬性) 中參照的所有目標。

因此,將 A 層面套用至目標 X 的單一動作,會產生目標原始依附圖表的「陰影圖表」,如下圖所示:

使用 Aspect 建構圖表

圖 2. 使用面向建立圖表。

唯一遮蔽的邊緣是傳播集中屬性沿途的邊緣,因此在本例中,runtime_deps 邊緣不會遮住。接著,系統會在陰影圖表的所有節點上叫用面向實作函式,這與在原始圖表的節點上叫用規則實作方式相似。

簡單範例

以下範例說明如何以遞迴方式顯示規則的來源檔案及其所有具有 deps 屬性的依附元件。這份文件會說明面向性實作、面向性定義,以及如何從 Bazel 指令列叫用面向性。

def _print_aspect_impl(target, ctx):
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the files that make up the sources and
        # print their paths.
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                print(f.path)
    return []

print_aspect = aspect(
    implementation = _print_aspect_impl,
    attr_aspects = ['deps'],
)

我們將這個範例分成幾個部分,並逐一檢查。

切面定義

print_aspect = aspect(
    implementation = _print_aspect_impl,
    attr_aspects = ['deps'],
)

面向定義與規則定義類似,且使用 aspect 函式定義。

就像規則一樣,面向也有實作函式,在本例中為 _print_aspect_impl

attr_aspects 是規則屬性清單,可沿著該屬性傳播。在這種情況下,切面會透過其套用規則的 deps 屬性傳播。

attr_aspects 的另一個常見引數是 ['*'],可將切面傳播至規則的所有屬性。

實作方面

def _print_aspect_impl(target, ctx):
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the files that make up the sources and
        # print their paths.
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                print(f.path)
    return []

面向實作函式與規則實作函式類似。這些方法會傳回提供者、可產生動作,並採用兩個引數:

  • target:要套用特徵的目標
  • ctx:可用於存取屬性及產生輸出內容和動作的 ctx 物件。

實作函式可以透過 ctx.rule.attr 存取目標規則的屬性。它可以檢查由所套用的目標提供的供應工具 (透過 target 引數)。

您必須有切面才能傳回提供者清單。在這個範例中,切面不提供任何資料,因此會傳回空白清單。

使用指令列叫用切面

套用切面最簡單的方法是透過使用 --aspects 引數的指令列執行。假設上述顯示比例是在名為 print.bzl 的檔案中定義:

bazel build //MyExample:example --aspects print.bzl%print_aspect

會將 print_aspect 套用至目標 example,以及可透過 deps 屬性遞迴存取的所有目標規則。

--aspects 旗標會採用一個引數,也就是以 <extension file label>%<aspect top-level name> 格式指定的顯示比例。

進階範例

下例示範如何使用目標規則中的切面,計算目標中的檔案數量,但可能按照副檔名篩選這些檔案。本節說明如何使用提供者傳回值、如何使用參數將引數傳遞至面向實作項目,以及如何從規則叫用面向。

file_count.bzl 檔案:

FileCountInfo = provider(
    fields = {
        'count' : 'number of files'
    }
)

def _file_count_aspect_impl(target, ctx):
    count = 0
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the sources counting files
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                if ctx.attr.extension == '*' or ctx.attr.extension == f.extension:
                    count = count + 1
    # Get the counts from our dependencies.
    for dep in ctx.rule.attr.deps:
        count = count + dep[FileCountInfo].count
    return [FileCountInfo(count = count)]

file_count_aspect = aspect(
    implementation = _file_count_aspect_impl,
    attr_aspects = ['deps'],
    attrs = {
        'extension' : attr.string(values = ['*', 'h', 'cc']),
    }
)

def _file_count_rule_impl(ctx):
    for dep in ctx.attr.deps:
        print(dep[FileCountInfo].count)

file_count_rule = rule(
    implementation = _file_count_rule_impl,
    attrs = {
        'deps' : attr.label_list(aspects = [file_count_aspect]),
        'extension' : attr.string(default = '*'),
    },
)

BUILD.bazel 檔案:

load('//:file_count.bzl', 'file_count_rule')

cc_library(
    name = 'lib',
    srcs = [
        'lib.h',
        'lib.cc',
    ],
)

cc_binary(
    name = 'app',
    srcs = [
        'app.h',
        'app.cc',
        'main.cc',
    ],
    deps = ['lib'],
)

file_count_rule(
    name = 'file_count',
    deps = ['app'],
    extension = 'h',
)

切面定義

file_count_aspect = aspect(
    implementation = _file_count_aspect_impl,
    attr_aspects = ['deps'],
    attrs = {
        'extension' : attr.string(values = ['*', 'h', 'cc']),
    }
)

這個範例說明如何透過 deps 屬性傳播相片。

attrs 會定義某個面向的一組屬性。公開切面屬性的類型為 string,稱為參數。參數必須指定 values 屬性。這個範例包含名為 extension 的參數,可使用 '*'、'h' 或 'cc' 做為值。

子集的參數值會從字串屬性取得,該屬性名稱與要求子集的規則相同 (請參閱 file_count_rule 的定義)。由於沒有定義參數的語法,因此無法透過指令列使用含有參數的子集。

層面也允許使用 labellabel_list 類型的私人屬性。私人品牌屬性可用於指定依附元件,以便在執行方面產生的動作所需的工具或程式庫。這個範例中並未定義私人屬性,但下列程式碼片段示範如何將工具傳入至某個面向:

...
    attrs = {
        '_protoc' : attr.label(
            default = Label('//tools:protoc'),
            executable = True,
            cfg = "exec"
        )
    }
...

切面實作

FileCountInfo = provider(
    fields = {
        'count' : 'number of files'
    }
)

def _file_count_aspect_impl(target, ctx):
    count = 0
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the sources counting files
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                if ctx.attr.extension == '*' or ctx.attr.extension == f.extension:
                    count = count + 1
    # Get the counts from our dependencies.
    for dep in ctx.rule.attr.deps:
        count = count + dep[FileCountInfo].count
    return [FileCountInfo(count = count)]

就像規則實作函式一樣,面向切面的實作函式會傳回可供依附元件存取的提供者結構體。

在本範例中,FileCountInfo 定義為具有一個欄位 count 的供應器。最佳做法是使用 fields 屬性明確定義提供者的欄位。

切面應用程式 A(X) 的供應商組合是指來自目標 X 規則實作及從切面 A 實作的提供者組合。規則導入程序會在套用面向之前建立並凍結提供者,因此無法從面向修改。如果目標和套用至目標的層面各自為提供者提供相同類型的資料,則會發生錯誤,但 OutputGroupInfo (只要規則和層面指定不同的輸出群組,就會合併) 和 InstrumentedFilesInfo (取自層面) 除外。這表示切面的實作可能永遠不會傳回 DefaultInfo

參數和私人屬性會在 ctx 的屬性中傳遞。這個範例會參照 extension 參數,並決定要計算哪些檔案。

對於傳回的供應商,沿著傳播層面 (來自 attr_aspects 清單) 的屬性值會替換為將層面套用至這些屬性的結果。舉例來說,如果目標 X 的依附元件包含 Y 和 Z,則 A(X) 的 ctx.rule.attr.deps 會是 [A(Y), A(Z)]。在本例中,ctx.rule.attr.deps 是 Target 物件,是將層面套用至已套用層面的原始目標的「deps」所產生的結果。

在範例中,切面會從目標的依附元件存取 FileCountInfo 供應器,累積檔案的總量。

從規則叫用切面

def _file_count_rule_impl(ctx):
    for dep in ctx.attr.deps:
        print(dep[FileCountInfo].count)

file_count_rule = rule(
    implementation = _file_count_rule_impl,
    attrs = {
        'deps' : attr.label_list(aspects = [file_count_aspect]),
        'extension' : attr.string(default = '*'),
    },
)

規則實作項目示範如何透過 ctx.attr.deps 存取 FileCountInfo

規則定義說明如何定義參數 (extension) 並為其指定預設值 (*)。請注意,如果預設值不是 'cc'、'h' 或 '*' 中的任一值,就會發生錯誤,因為在面向的定義中,參數受到限制。

透過目標規則叫用切面

load('//:file_count.bzl', 'file_count_rule')

cc_binary(
    name = 'app',
...
)

file_count_rule(
    name = 'file_count',
    deps = ['app'],
    extension = 'h',
)

這裡示範如何透過規則將 extension 參數傳遞至面向。由於 extension 參數在規則實作中具有預設值,因此系統會將 extension 視為選用參數。

建構 file_count 目標時,系統會評估自身的層面,以及可透過 deps 遞迴存取的所有目標。