function - 关于 Julia 函数参数语法的问题

Question

考虑以下函数签名:function f(xs::AbstractVector{T},::Val{U},::Val{V}) where {T, U, V}。我理解 value types 的概念, 但我不确定我是否理解前置双冒号的含义，而且我似乎无法找到任何专门关于这个主题的信息。

在 C++ 中，类似的语法将确保名称的解析发生在全局而不是当前命名空间，但我不确定这是否适用于 Julia(如果适用，如何)。我可以推断这与类型有关，因为使用相同的语法来表示变量的类型，但是没有受让人的类型赋值意味着什么？ TIA。

Answer 1

function f(xs :: AbstractVector{T}, ::Val{U}, ::Val{V}) where {T, U, V}

表示对f的调用必须分别传递AbstractVector、Val和Val三个类型的参数。但是，您仅为第一个参数 xs 捕获传递变量的值。第二个和第三个参数的值未被捕获(在这种情况下，您并不真正需要它们，因为 Val 是单例类型)。但是您捕获类型 T、U 和 V，并且可以在函数体中引用它们。