Hacklang如何在concurrent块中嵌入if语句？带条件并发执行异步函数

嘿，这个问题我熟！Hack的concurrent块虽然语法有约束，但完全能实现你要的逻辑——不过得先明确你想要的是C和A、B并行执行，还是A、B完成后再判断是否执行C，两种场景的写法略有不同，我给你拆解一下：

场景1：C满足条件时和A、B并发执行 #

如果你希望三个任务（当C符合条件时）同时启动并行跑，那不能把if嵌套在concurrent块里的await之后——因为concurrent块里的顶级await会被一次性调度并行执行，嵌套的控制流会等前面的await完成后才触发，这样C就没法和A、B同步启动了。

正确的做法是用条件表达式+可选await，把C的任务提前根据条件生成，让它成为concurrent块的顶级await项：

concurrent {
  await A(...);
  await B(...);
  // 用await?语法，当条件不满足时直接跳过null的awaitable
  await? ($some_condition ? C(...) : null);
}

或者更清晰的写法，先定义可选任务：

// 提前根据条件创建C的异步任务，不满足就设为null
$c_task = $some_condition ? C(...) : null;

concurrent {
  await A(...);
  await B(...);
  if ($c_task is nonnull) {
    await $c_task;
  }
}

这两种写法都会让C（当条件满足时）和A、B同时被调度执行，完美实现并发的需求。

场景2：A、B完成后再判断是否执行C #

如果你的逻辑是必须等A和B都跑完，再决定要不要执行C，那其实没必要把if塞进concurrent块里，直接分开写更清晰：

// 先并发执行A和B，等它们都完成
concurrent {
  await A(...);
  await B(...);
}

// 再判断执行C
if ($some_condition) {
  await C(...);
}

当然，如果你非要把逻辑都放在concurrent块内，Hack也允许在块里写控制流语句，只是此时C会在A、B完成后才启动（不是并行）：

concurrent {
  await A(...);
  await B(...);
  // 这里的if会在A和B都await完成后才执行
  if ($some_condition) {
    await C(...);
  }
}

不过这种写法其实失去了concurrent块对C的并发调度意义，所以更推荐第一种分开的写法。

小提醒 #

要注意concurrent块的核心特性：所有顶级的await表达式会被并行启动，嵌套在控制流（比如if、循环）里的await会等到控制流到达时才会被调度，这会影响任务的启动时机，根据你的实际需求选择对应的写法就好。

内容的提问来源于stack exchange，提问作者kebab-case