Choice

Choice 状态 ("Type": "Choice") 向状态机添加分支逻辑。

除了大多数常见状态字段、Choice状态引入了以下额外字段。

选择状态示例

以下示例说明的是 Choice 状态及其转换为的其他状态。

"ChoiceStateX": {
  "Type": "Choice",
  "Choices": [
    {
      "Not": {
        "Variable": "$.type",
        "StringEquals": "Private"
      },
      "Next": "Public"
    },
    {
      "Variable": "$.value",
      "NumericEquals": 0,
      "Next": "ValueIsZero"
    },
    {
      "And": [
        {
          "Variable": "$.value",
          "NumericGreaterThanEquals": 20
        },
        {
          "Variable": "$.value",
          "NumericLessThan": 30
        }
      ],
      "Next": "ValueInTwenties"
    }
  ],
  "Default": "DefaultState"
},

"Public": {
  "Type" : "Task",
  "Resource": "arn:aws:lambda:us-east-1:123456789012:function:Foo",
  "Next": "NextState"
},

"ValueIsZero": {
  "Type" : "Task",
  "Resource": "arn:aws:lambda:us-east-1:123456789012:function:Zero",
  "Next": "NextState"
},

"ValueInTwenties": {
  "Type" : "Task",
  "Resource": "arn:aws:lambda:us-east-1:123456789012:function:Bar",
  "Next": "NextState"
},

"DefaultState": {
  "Type": "Fail",
  "Cause": "No Matches!"
}

在此示例中，状态机使用以下输入值启动。

{
  "type": "Private",
  "value": 22
}

Step Functions 过渡到ValueInTwenties基于状态value字段中返回的子位置类型。

如果 Choice 状态的 Choices 没有匹配，将改为运行 Default 字段中提供的状态。如果未指定 Default 状态，执行将失败，出现错误。

选项规则

一个Choice州必须有Choices其值为非空数组的字段。此数组中的每个元素都是一个名为 Choice Rule 的对象，其中包含以下内容：

以下示例检查数值是否等于 1。

{
  "Variable": "$.foo",
  "NumericEquals": 1,
  "Next": "FirstMatchState"
}

以下示例检查字符串是否等于 MyString。

{
  "Variable": "$.foo",
  "StringEquals": "MyString",
  "Next": "FirstMatchState"
}

以下示例检查字符串是否大于 MyStringABC。

{
  "Variable": "$.foo",
  "StringGreaterThan": "MyStringABC",
  "Next": "FirstMatchState"
}

以下示例检查字符串是否为空。

{
 "Variable": "$.possiblyNullValue",
 "IsNull": true
}

以下示例说明如何评估 StringEquals 规则：$.keyThatMightNotExist存在是因为前面IsPresent选项规则。

"And": [
 {
 "Variable": "$.keyThatMightNotExist",
 "IsPresent": true
 },
 {
 "Variable": "$.keyThatMightNotExist",
 "StringEquals": "foo"
 }
]

以下示例检查带通配符的模式是否匹配。

{
 "Variable": "$.foo",
 "StringMatches": "log-*.txt"
}

以下示例检查时间戳是否等于 2001-01-01T12:00:00Z。

{
  "Variable": "$.foo",
  "TimestampEquals": "2001-01-01T12:00:00Z",
  "Next": "FirstMatchState"
}

以下示例将变量与状态输入中的另一个值进行比较。

{
 "Variable": "$.foo",
 "StringEqualsPath": "$.bar"
}

Step Functions 按照中列出的顺序检查每个选项规则。Choices字段中返回的子位置类型。然后，根据比较运算符确定变量与值匹配的第一条选项规则，并转换为该规则中的 Next 字段指定的状态。

支持下列比较运算符：

对于每个这些运算符，对应值必须为合适的类型：字符串、数字、布尔值或时间戳。Step Functions 不尝试将数值字段与字符串值匹配。但是，由于时间戳字段在逻辑上是字符串，视为时间戳的字段可能会由 StringEquals 运算符匹配。