Julia中涉及外部作用域的匿名函数类型疑问

1. 匿名函数的类型本质 #

Julia里，不捕获外部变量的匿名函数（比如x->x）的类型是Function的直接子类型，所以typeof(x->x) <: Function会返回true。但一旦匿名函数捕获了外部变量（比如x->x+a里的a），它就变成了闭包——Julia会为每个闭包生成一个独特的匿名类型，这类类型直接继承自Any，而非Function。但要注意：闭包实例本身是Function的实例，所以x->x+a isa Function会返回true，只是它的类型本身不是Function的子类型，这就是typeof(x->x+a) <: Function返回false的原因。

2. 普通函数与闭包的类型差异 #

用function关键字定义的普通函数，不管有没有引用外部变量，它的类型都是Function的子类型。这是因为普通函数是全局（或局部）作用域的命名实体，Julia为它们生成的类型是统一的函数子类型；而闭包是动态生成的、携带捕获环境的匿名对象，Julia只为这类对象的实例保证符合Function接口，但它们的类型本身不继承自Function。

3. 列表推导式中的类型问题 #

你提到的几种推导式情况，本质都是Julia为每个匿名函数/闭包表达式生成独立的类型：

• [x->x, x->x]：两个看起来完全一样的匿名函数，其实是两个独立的表达式，Julia会生成两个不同的匿名类型，所以数组的元素类型是这两个类型的联合，而非Function；
• [x->x+i for i in 1:2]：每个迭代生成的闭包捕获了不同的i，自然生成不同的闭包类型；
• [x->x for i in 1:2]：哪怕不捕获变量，推导式里的每个x->x都是独立的表达式，同样会生成独立的匿名类型。

如果想要得到Vector{Function}类型的数组，只需要显式指定类型即可：

# 显式指定数组类型
Vector{Function}([x->x, x->x])
# 推导式中显式转换元素类型
[Function(x->x+i) for i in 1:2]

总结 #

核心逻辑可以归纳为三点：

• 无捕获的匿名函数类型属于Function子类型，但每个匿名表达式对应独立的类型；
• 闭包（捕获外部变量的匿名函数）的类型是动态生成的匿名类型，仅实例属于Function，类型本身不继承Function；
• 普通函数是命名的静态实体，其类型统一属于Function子类型。

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