我可以编写像 C++ 模板函数一样“尽可能”工作的 Julia 方法吗？

rand适用于范围：

rand(1:10)

我想做rand与...一起工作Array，以及任何可索引且具有length:

import Base.Random
rand(thing) = thing[rand(1:length(thing))]

array = {1, 2, 3}
myRand(array)

range = 1:8
myRand(range)

tupple = (1, 2, 3, "a", "b", "c")
myRand(tupple)

…但是如果我尝试这样做，我的实现堆栈就会溢出，大概是因为它是完全通用的并且匹配传递的所有内容，所以它最终会调用自身？

有没有办法来解决这个问题？我想更好地理解 Julia 的多态函数，而不是修复这个特定的（可能是愚蠢的）函数专门化。

是否还有一个工具可以发现可用的各种实现，并调试将使用特定参数调用的实现？

好吧，一些挖掘。这很有趣…

我将启动一个新的 REPL，并且：

julia> import Base.Random

julia> rand(thing) = thing[rand(1:length(thing))]
rand (generic function with 1 method)

julia> rand({1,2,3})
ERROR: stack overflow
 in rand at none:1 (repeats 80000 times)

…天哪，这就是我所说的递归调用和堆栈溢出。

但是，请注意这一点。我杀死 Julia 并再次启动 REPL。这次我import Base.Random.rand:

julia> import Base.Random.rand

julia> rand(thing) = thing[rand(1:length(thing))]
rand (generic function with 33 methods)

julia> rand({1,2,3})
3

它有效 - 它将我的新实现添加到所有其他实现中，并选择了正确的实现。

所以，我的第一个问题的答案似乎是——“它确实有效”。这太棒了。这是如何运作的？！

但是有一个关于模块的听起来不太有趣的问题，为什么import Base.Random不拉进来rand方法或给出错误，但是import Base.Random.rand does.

方法扩展

正如一些人指出的那样，朱莉娅让你extend函数：您可以使用针对不同类型以不同方式工作的函数（请参阅这部分文档 http://docs.julialang.org/en/release-0.3/manual/methods/).

例如：

f(x) = 2
f(x::Int) = x

在此示例中，我们有一个版本（或method）当（且仅当）参数属于以下类型时调用的函数Int。第一个被称为其他。

我们说我们已经延长了f函数，现在有2个方法。

你的问题

那么，您想要的是延长rand功能。

你想要你的rand函数，如果使用其他方法未捕获的参数调用，则执行thing[rand(1:length(thing))]。如果操作正确，您将调用rand方法应用于Range对象，因为你正在通过1:length(thing)作为论证。

虽然有缺陷（如果thing没有长度，例如一个复数？），我想说你的第一次尝试是非常合理的。

问题: rand无法在程序的第一个版本上进行扩展。根据这篇文档 http://docs.julialang.org/en/release-0.3/manual/modules/#summary-of-module-usage， 写作import Base.Random不让rand可用于方法扩展。

在尝试延长的同时rand，你其实覆盖 the rand功能。之后，当您调用该函数时rand，只有你的方法！

请记住，您所依赖的事实是范围方法（例如rand(1:10)) 已在其他地方定义，并且它给出了您期望的结果。发生的情况是这个方法被你的方法覆盖了，所以你的方法被再次调用（递归地）。

解决方案： 进口rand例如它可以扩展。您可以在文档的表格中看到这一点。

请注意，您的第二个程序（带有import Base.Random.rand）和科林的程序（带有importall Base.Random）正是这样做的。这就是他们工作的原因。

请记住哪些方法可用于或不可用于扩展，如果文档不够清晰，将欢迎错误报告（或者可能是修复）。