Starlark 言語

問題を報告 ソースを表示 Nightly · 7.4 . 7.3 · 7.2 · 7.1 · 7.0 · 6.5

このページでは、Starlark の概要について説明します。 (旧称 Skylark)(Bazel で使用されている言語)です。Google 広告ヘルプセンターの Bazel API リファレンスをご覧ください。

言語の詳細については、Starlark の GitHub リポジトリをご覧ください。

Starlark の構文と動作の正式な仕様については、Starlark 言語仕様をご覧ください。

構文

Starlark の構文は Python3 に触発されています。これは Starlark の有効な構文です。

def fizz_buzz(n):
  """Print Fizz Buzz numbers from 1 to n."""
  for i in range(1, n + 1):
    s = ""
    if i % 3 == 0:
      s += "Fizz"
    if i % 5 == 0:
      s += "Buzz"
    print(s if s else i)

fizz_buzz(20)

Starlark のセマンティクスは Python と異なる場合がありますが、Starlark がエラーをスローする場合を除き、動作の違いはほとんどありません。次の Python 型がサポートされています。

可変性

Starlark は不変性を重視しています。変更可能なデータ構造には、リスト辞書の 2 つがあります。可変への変更 リストへの値の追加や ディクショナリは、現在のコンテキストで作成されたオブジェクトに対してのみ有効です。アフター その値は不変になります。

これは、Bazel ビルドが並列実行を使用するためです。ビルド中に、各 .bzl が ファイルと各 BUILD ファイルは、独自の実行コンテキストを取得します。また、各ルールは 独自のコンテキストで分析できます。

foo.bzl ファイルを使用した例を見てみましょう。

# `foo.bzl`
var = [] # declare a list

def fct(): # declare a function
  var.append(5) # append a value to the list

fct() # execute the fct function

foo.bzl が読み込まれると、Bazel は var を作成します。varfoo.bzl のコンテキストの一部です。fct() が実行されると、foo.bzl のコンテキスト内で実行されます。使用後 foo.bzl の評価が完了すると、環境に不変のエントリが含まれます。 var(値は [5])。

別の bar.bzlfoo.bzl からシンボルをロードしても、ロードされた値はそのまま残ります。 不変。このため、bar.bzl の次のコードは不正です。

# `bar.bzl`
load(":foo.bzl", "var", "fct") # loads `var`, and `fct` from `./foo.bzl`

var.append(6)  # runtime error, the list stored in var is frozen

fct()          # runtime error, fct() attempts to modify a frozen list

bzl ファイルで定義されたグローバル変数は、定義した bzl ファイルの外部で変更することはできません。bzl ファイルを使用した上記の例と同様に、 値は変更できません。

BUILD ファイルと .bzl ファイルの違い

BUILD ファイルは、ルールを呼び出してターゲットを登録します。.bzl ファイルには、定数、ルール、マクロ、関数の定義が含まれています。

ネイティブ関数ネイティブ ルールは、 BUILD ファイル。bzl ファイルは、native モジュールを使用して読み込む必要があります。

BUILD ファイルには次の 2 つの構文上の制限があります。1)関数の宣言 不正、2)*args 引数と **kwargs 引数は使用できません。

Python との違い

  • グローバル変数は不変です。

  • for ステートメントはトップレベルには使用できません。代わりに、関数内で使用してください。BUILD ファイルでは、リストの理解を使用できます。

  • if ステートメントはトップレベルには使用できません。ただし、if 式は使用できます。first = data[0] if len(data) > 0 else None

  • 辞書型の反復処理の確定的順序。

  • 再帰は許可されていません。

  • Int 型は 32 ビットの符号付き整数に制限されています。オーバーフローするとエラーがスローされます。

  • 反復処理中にコレクションを変更すると、エラーになります。

  • 等価テストを除き、比較演算子 <<=>=> などは値型間で定義されていません。要するに、5 < 'foo' はエラーをスローし、 5 == "5" は false を返します。

  • タプルの場合、末尾のカンマはタプルが かっこ - 1, ではなく (1,) と指定した場合。

  • 辞書リテラルには重複するキーを含めることはできません。たとえば、これは エラー: {"a": 4, "b": 7, "a": 1}

  • 文字列は二重引用符で表します( repr)。

  • 文字列は反復処理できません。

次の Python 機能はサポートされていません。

  • 文字列の暗黙的な連結(明示的な + 演算子を使用)。
  • 連結された比較(1 < x < 5 など)。
  • classstruct 関数を参照)。
  • importload ステートメントを参照)。
  • whileyield
  • 浮動小数点型とセット型。
  • ジェネレータとジェネレータ式。
  • is(代わりに == を使用)。
  • tryraiseexceptfinally(致命的なエラーについては fail を参照)。
  • globalnonlocal
  • 大部分の組み込み関数、ほとんどのメソッドに対応できます。