Scala中Int=>Boolean类型别名Set及map函数运行逻辑疑问

核心误解澄清 #

你混淆了map方法的返回值和返回的函数的执行结果：

• map的返回类型是Set，也就是Int => Boolean的函数，不是直接返回Boolean值
• 你看到的exists(s, x => y == f(x))是这个返回的函数接收到参数y之后才会执行的判断逻辑，不是map调用时直接返回的结果

map方法的实际逻辑拆解 #

def map(s: Set, f: Int => Int): Set = y => exists(s, x => y == f(x)) 可以直译成熟悉的集合语义：

映射后的新集合，对任意输入整数y，只要原集合s中存在至少一个元素x满足f(x) = y，就说明y属于这个新集合

就拿你给出的调用示例map(Set(2,3,5), i => i * 20)来说，map执行完返回的是一个匿名函数：

y => exists(Set(2,3,5), x => y == 20 * x)

这个函数就是新的Set：

• 传入y=40，能找到x=2满足20*2=40，返回true → 40属于新集合
• 传入y=60，能找到x=3满足20*3=60，返回true → 60属于新集合
• 传入y=100，能找到x=5满足20*5=100，返回true → 100属于新集合
• 其他任意y都找不到符合条件的x，返回false → 不属于新集合

输出集合的生成逻辑 #

你看到的{40,60,100}不是map直接返回的，是toString方法完成的转换：

def toString(s: Set): String = {
  val xs = for (i <- -bound to bound if contains(s, i)) yield i
  xs.mkString("{", ",", "}")
}

这个方法的逻辑非常直白：

1. 遍历范围[-1000, 1000]内的所有整数
2. 对每个整数i，调用contains(s,i)本质就是执行Set对应的函数，判断i是否属于这个集合
3. 把所有返回true的整数收集起来，拼接成{x,y,z}格式的字符串输出

本质总结 #

这个实现里的Set不是传统意义上存储元素的集合，而是成员检测规则的函数封装：所有交、并、映射、过滤等操作都是在定义新的检测规则，只有当需要输出具体元素时，才会遍历范围内的所有整数，用检测规则筛选出属于集合的元素。

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