为什么Clojure的complement函数被定义为多元数函数？

核心原因是为了优化高频调用场景的性能，减少可变参数带来的额外开销，具体可以拆解为三点：

• 可变参数的固有开销：你给出的简化实现用到了[& args]可变参数声明，Clojure在调用这类函数时，会自动把所有入参打包成一个序列对象，后续的apply调用还需要遍历这个序列再把参数传递给原始谓词f，这两步操作都会产生额外的内存分配和计算开销。而且固定参数的函数在JVM平台更容易被JIT编译器内联优化，进一步提升执行效率，而可变参数的函数内联门槛要高很多。
• 场景覆盖的权衡：实际开发中，complement接收的谓词函数90%以上的使用场景都是0参、1参、2参：
  • 0参：通常是返回固定布尔值的状态谓词
  • 1参：最常用，比如(filter (complement empty?) coll)这类集合处理场景，单次遍历就会调用几十万次
  • 2参：用于比较类谓词，比如(complement =)、(complement contains?)这类场景
    单独为这三类场景做分支处理，就能覆盖绝大多数使用场景的性能需求，剩下的多参场景再用可变参数兜底，完美平衡通用性和性能。
• 这是Clojure标准库的通用设计思路：不止complement，你去查看map、filter等绝大多数核心高阶函数的实现，都会对高频参数个数做特殊分支处理，就是为了在不损失功能灵活性的前提下，尽可能降低基础函数的调用开销，避免标准库成为性能瓶颈。

如果只是业务场景下的自用工具函数，用你写的简化版完全没有问题，这类性能优化只有在函数会被高频调用、或者作为公共库能力对外输出的时候才有明显价值。

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