关于while/until系列操作符包含与排他逻辑的权威依据问询

推导规则的合理性验证 #

你总结的逻辑完全契合主流库的实现和通用规范：

• takeWhile：排他逻辑——回调返回false时立即停止，不包含触发停止的元素。比如[1,2,3,4,5].takeWhile(a => a < 5)返回[1,2,3,4]，不会包含5。
• skipWhile：包含逻辑——回调返回false时开始保留元素，包含触发停止跳过的元素。比如[1,2,3,4,5].skipWhile(a => a < 5)返回[5]。
• takeUntil：包含逻辑——回调返回true时停止，但包含触发停止的元素及之前所有元素。
• skipUntil：排他逻辑——回调返回true时停止跳过，但不包含触发停止跳过的元素。

示例场景的明确结论 #

1. input.takeUntil(a => a > 5) 应当包含5
   这个操作符的逻辑是“一直取值，直到遇到满足a > 5的元素”。5不满足停止条件，所以会被正常包含；当遇到第一个满足条件的元素（比如6）时，会包含该元素后终止，最终结果里会包含5。

2. input.skipUntil(a => a > 4) 不应当包含5
   skipUntil的逻辑是“一直跳过元素，直到遇到满足a > 4的元素”。5是第一个满足条件的元素，会被跳过，之后的所有元素才会被保留。如果是skipWhile(a => a <= 4)，则会包含5，这是两者的核心区别。

权威依据参考 #

• ECMAScript Iterator Helpers提案（Stage 3）：虽然ES标准尚未正式纳入这些操作符，但处于标准化阶段的提案定义了takeWhile和dropWhile（即skipWhile）的行为：
  • takeWhile是排他逻辑，不包含触发回调返回false的元素；
  • dropWhile是包含逻辑，包含触发回调返回false的元素。
• RxJS：JS生态中主流的响应式库，其实现完全匹配你的推导：
  • takeWhile默认排他（可通过参数切换为包含），takeUntil（谓词版本）包含触发元素；
  • skipWhile包含触发元素，skipUntil（谓词版本）排他，跳过触发元素后保留后续内容。
• RxJava：如你所说，takeUntil为包含逻辑，其skipUntil（谓词版本）同样遵循排他逻辑，触发条件的元素会被跳过，后续元素才会被发射。

总结 #

你推导的规则完全符合行业通用实现和标准化方向，可以作为你实现JavaScript可迭代对象操作符的可靠依据。

内容的提问来源于stack exchange，提问作者vitaly-t