Question

我有以下julia功能

function fakeseq()
    let; global f(x)=unshift!(push!(x, 35) , 1);end; # not working
    #let; global f; f=x->unshift!(push!(x, 35) , 1);end; # works fine
    s1 = [rand(1:34) for i in 1:12]; 
    s2 = [rand(1:34) for i in 1:7]
    data = map(x->f(x), [s1, s2])
end

当我运行该代码时，我收到以下错误：

julia> fakeseq()
   ERROR: MethodError: no method matching f(::Array{Int64,1})
   The applicable method may be too new: running in world age 21823, while current world is 21824.
   Closest candidates are:        f(::Any) at REPL[1]:2 (method too new to be called from this world context.)
   Stacktrace:
   [1] _collect(::Array{Array{Int64,1},1}, 
   ::Base.Generator{Array{Array{Int64,1},1},##3#6}, ::Base.EltypeUnknown, 
   ::Base.HasShape) at ./array.jl:488
   [2] fakeseq() at ./REPL[1]:6

但是，用# works fine注释表示的f的第二个定义有效。我无法得到它们之间的确切差异，为什么会发生这种情况？

Answer 1

正如@AlexanderMorley指出的那样，你需要仔细研究

https://docs.julialang.org/en/latest/manual/methods.html#Redefining-Methods-1

或观看Jameson的Youtube视频：

https://www.youtube.com/watch?v=7KGZ_9D_DbI

通用函数的处理方式与Julia中的匿名函数有所不同。在通用函数的情况下，正在进行的是，程序编译知道全局函数表中的f是什么，修改f，但调用函数已编译为调用不再是正确的函数，从而导致错误。错误是停止Issue #265。匿名函数虽然不同。在匿名函数的情况下，调用函数被设置为调用该变量指向的任何函数。在这种情况下，它知道它也是一个全局变量，所以它是安全的，不会内联它或类似的东西，所以它是成功的。

let块中的julia全局变量定义

1 个答案: