为什么Scala的Set.subsets()被定义为带空括号的方法？

关于Scala不可变Set的subsets()带空括号的原因 #

首先可以明确：subsets()方法本身没有对外的副作用，不会修改原不可变Set的任何状态，它带空括号主要是符合Scala的方法命名约定，和两个核心特性相关：

• 返回值是有状态的迭代器：subsets()的返回类型是Iterator[Set[A]]，迭代器本身是有内部状态的对象，遍历过程会消费迭代器的状态，同一个迭代器只能遍历一次。同时每次调用subsets()都会生成一个全新的独立迭代器实例，不是返回预先存储好的固定值。
• 计算成本较高：对于包含n个元素的Set，子集总数为2^n个，即使Scala的迭代器是惰性计算的，遍历过程中也会产生对应的计算开销，远高于普通的属性访问开销。

Scala官方对方法括号的约定其实不止「副作用」这一条：无括号的无参方法，通常只用于计算成本极低、每次调用必然返回相同固定值的纯属性访问场景，比如List.size、case class的字段访问这类。如果是计算成本高、或者每次调用返回不同实例的纯逻辑，即使没有副作用，也推荐加上空括号，用来提示调用方当前方法调用有额外开销，且返回值不是固定的静态属性。

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