Scala编程语言中?~>运算符的含义及代码如何求值？

?~> 不是Scala标准库自带的运算符，是Scala生态里流水线/执行阶段编排类库（常见于数据处理管道、工作流引擎、测试步骤链、请求处理链路场景）自定义的中缀操作符，核心语义是容错式串联，和同一段代码里的~>（强依赖串联）是配对设计的。

核心语义 #

两个相关连接符的通用约定如下：

• ~>：强依赖连接。前一个阶段必须执行成功、返回有效输出，才会进入后面的阶段；如果前序阶段抛出异常、返回空结果，整个链路直接中断，后续节点不会执行。
• ?~>：容错可选连接。前一个阶段如果执行失败、抛出非致命异常、返回空结果，不会中断整个链路，直接跳过当前?~>后面挂载的阶段，把前序的状态（结果或者异常信息）继续往链路下游传递。

对应语句的求值执行规则 #

Scala里的中缀运算符优先级由符号首字符决定，~>和?~>首字符都是~，优先级完全一致，且都是左结合，所以整行代码从左到右依次求值，等价于如下写法：

// 中缀写法本质是调用对象的方法，按左结合规则从左到右计算
val step1 = stage1.?~>(stage2)
val step2 = step1.?~>(stage3)
val stage = step2.~>(stage4)

具体执行逻辑：

1. 先组合stage1和stage2：运行时先执行stage1，如果stage1成功就执行stage2，stage1失败就直接跳过stage2，把stage1的输出/异常状态往下传。
2. 再把上一步得到的阶段链和stage3组合：拿到前序输出后，如果前序链路有有效结果就执行stage3，否则直接跳过stage3，继续往下传递状态。
3. 最后把三阶段容错链和stage4做强连接：只要前面的链路没有抛出致命错误，不管中间有没有跳过stage2、stage3，最终都会执行stage4；如果前面抛出致命错误，stage4才会终止不执行。

补充：因为Scala的中缀运算符支持自定义，精确语义需要结合你项目引入的具体依赖确认，但目前开源生态里绝大多数使用?~>做阶段连接的类库，都遵循上面说的容错串联约定。

内容的提问来源于stack exchange，提问作者krishna Prasad