将更新的函数传递给现有函数

在这个简短的序列中，用户创建了一个函数userfunc()，但随后想要更新第一个定义以执行不同的操作。但是，那programfunc()已经编译了第一个版本，并继续使用它。

userfunc(str, n) = str ^ n
userfunc("hello", 3)

"hellohellohello"

# program makes use of the user's function
programfunc(func, a, b) = func(a, b)
programfunc(userfunc, "hello", 3)

"hellohellohello"

# now the user redefines the function
userfunc(str, n) = str ^ (n * n)
# userfunc("hello", 3) give "hellohellohellohellohellohellohellohellohello"

# but program still makes use of the first userfunc()
programfunc(userfunc, "hello", 3)

"hellohellohello"

那么怎么可能programfunc()被定义以便它始终使用传递给它的函数的最新定义？

invoke会做的。 （请注意，尽管这可能不会编译为漂亮的专用代码）

这里的问题是朱莉娅专注于类型。 也就是说，它为传递给它的每个类型组合编译该函数的自定义版本。 由于函数在 julia 0.5 中有一个类型 （每个函数都是单例类型。） 这导致它专注于该功能

在 0.5-rc0 上测试

julia> userfunc(str, n) = str ^ (n*n)
WARNING: Method definition userfunc(Any, Any) in module Main at REPL[16]:1 overwritten at REPL[20]:1.
userfunc (generic function with 1 method)

julia> function programfunc(func, a, b)
       invoke(func, (typeof(a), typeof(b)), a, b)
       end
programfunc (generic function with 1 method)

julia> programfunc(userfunc, "hello", 3)
"hellohellohellohellohellohellohellohellohello"

julia> userfunc(str, n) = str ^ (n)
WARNING: Method definition userfunc(Any, Any) in module Main at REPL[16]:1 overwritten at REPL[20]:1.
userfunc (generic function with 1 method)

julia> programfunc(userfunc, "hello", 3)
"hellohellohello"

请注意，这也适用于#265 https://github.com/JuliaLang/julia/issues/265

julia> foo(x)=2*x
foo (generic function with 1 method)


julia> function g(x)
       invoke(foo, (typeof(x),), x)
       end
g (generic function with 1 method)

julia> g(2)
4

julia> foo(x)=3*x
WARNING: Method definition foo(Any) in module Main at REPL[1]:1 overwritten at REPL[10]:1.
foo (generic function with 1 method)

julia> g(2)
6