

翻訳は機械翻訳により提供されています。提供された翻訳内容と英語版の間で齟齬、不一致または矛盾がある場合、英語版が優先します。

# Verified Access ポリシーのビルトイン演算子
<a name="built-in-policy-operators"></a>

「」で説明されているように、さまざまな条件を使用して AWS Verified Access ポリシーのコンテキストを作成する場合[Verified Access ポリシーステートメントの構造](auth-policies-policy-statement-struct.md)、 `&&`演算子を使用して条件を追加できます。ポリシー条件にさらに表現力を加えるために使用できるビルトイン演算子は他にも多数あります。参照用にすべてのビルトイン演算子を下表に示します。



- ** \! **
  - **タイプとオーバーロード:** Boolean → Boolean
  - **説明:** 論理否定。

- ** == **
  - **タイプとオーバーロード:** any → any
  - **説明:** 等価。タイプが一致しなくても、いずれかのタイプの引数で機能します。異なるタイプの値が互いに等しくなることはありません。

- **\!=**
  - **タイプとオーバーロード:** any → any
  - **説明:** 不等価。等価の正反対 (上記参照)。

- ** < **
  - **タイプとオーバーロード:** (long, long) → Boolean
  - **説明:** Long integer less-than.

- ** <= **
  - **タイプとオーバーロード:** (long, long) → Boolean
  - **説明:** Long integer less-than-or-equal-to.

- ** > **
  - **タイプとオーバーロード:** (long, long) → Boolean
  - **説明:** Long integer greater-than.

- ** >= **
  - **タイプとオーバーロード:** (long, long) → Boolean
  - **説明:** Long integer greater-than-or-equal-to.

- **in**
  - **タイプとオーバーロード:** (entity, entity) → Boolean / **説明:** 階層メンバーシップ (再帰形：A の A は常にトゥルー)。
  - **タイプとオーバーロード:** (entity, set(entity)) → Boolean / **説明:** 階層メンバーシップ：(A and B) \|\| (A in C) \|\| であれば A in [B, C, ...] はトゥルー... セットに non-entity が含まれている場合はエラーになります。

- **&&**
  - **タイプとオーバーロード:** (Boolean, Boolean) → Boolean
  - **説明:** Logical and (short-circuiting).

- **\|\|**
  - **タイプとオーバーロード:** (Boolean, Boolean) → Boolean
  - **説明:** Logical or (short-circuiting).

- **.exists()**
  - **タイプとオーバーロード:** entity → Boolean
  - **説明:** Entity existence.

- **has**
  - **タイプとオーバーロード:** (entity, attribute) → Boolean
  - **説明:** 中置演算子。 e has f レコードまたはエンティティに e 属性 f へのバインディングがあるかどうかをテストします。e が存在しないか、e が存在しても属性 f を持たない場合は false を返します。属性は識別子または文字列リテラルとして表現できます。

- **like**
  - **タイプとオーバーロード:** (string, string) → Boolean
  - **説明:** 中置演算子。 t like p テキスト t がパターン p と一致するかどうかを確認します。パターンには、0 個以上の文字と一致するワイルドカード文字 \* が含まれる場合があります。t のリテラルスター文字と一致させるには、p で特殊なエスケープ文字シーケンス \\\* を使用できます。

- **.contains()**
  - **タイプとオーバーロード:** (set, any) → Boolean
  - **説明:** メンバーシップ (B が A の要素かどうか) を設定します。

- **.containsAll()**
  - **タイプとオーバーロード:** (set, set) → Boolean
  - **説明:** セット A にセット B のすべての要素が含まれているかどうかをテストします。

- **.containsAny()**
  - **タイプとオーバーロード:** (set, set) → Boolean
  - **説明:** セット A にセット B の要素のいずれかが含まれているかどうかをテストします。

