Julia函数Task(func)的参数是否必须为函数类型？

结论先行 #

你给出的begin; sleep(5); println("done"); end语句块本身不是匿名函数，你观察到的运行效果实际来自Julia的@task宏语法糖和Task调度机制的共同作用。

1. 写法澄清 #

首先需要纠正一个常见的使用混淆：
如果你直接调用Task函数传入begin块，正常情况下begin块会在构造Task的瞬间同步执行，你会当场等待5秒后看到done输出，后续执行schedule(t)不会有任何输出。因为此时begin块已经执行完毕，传入Task的实际是println的返回值nothing，Task执行时只会返回这个无意义的空值。

你观察到的schedule(t)之后才输出done的效果，本质是把@task宏的用法和Task函数的用法记混了：你实际运行的代码应该是@task begin; sleep(5); println("done"); end，这是Julia标准库提供的专用宏，专门用来简化Task的构造写法。

2. 宏展开的实际逻辑 #

@task宏会在语法解析阶段自动对后面的语句块做转换，你写的：

t = @task begin
    sleep(5)
    println("done")
end

会被自动展开为等价的：

t = Task(() -> begin
    sleep(5)
    println("done")
end)

这里的()->就是Julia标准的0参数匿名函数声明语法，宏帮你省略了匿名函数的声明部分，看起来就像直接把语句块传给了Task构造函数。

3. 匿名函数的实现原理 #

上述宏生成的()->begin ... end匿名函数，Julia内部的处理逻辑如下：

• 语法lowering阶段会把这个匿名函数转换成一个编译器自动生成的结构体类型，该类型是Function的子类型，如果函数内部引用了外部作用域的变量，这些变量会作为结构体的字段被捕获
• 编译器会为这个结构体自动实现call方法，方法体就是你写的begin块内的所有语句
• 构造该结构体的实例传入Task函数后，Task会持有这个可调用实例，等到调度器分配线程执行该任务时，就会调用它的call方法，执行你写的语句块逻辑

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