julia-0.6 函数定义中的`where`

Question

我正在尝试了解 Julia v0.6 中的新类型系统，基于阅读 release notes。

谁能告诉我

inv(M::Matrix{T}) where T <: AbstractFloat

给了我与使用经典不同的地方

inv{T<:AbstractFloat}(M::Matrix{T})

?

Answer 1

新语法的含义相同，但可以在更多情况下使用，可以表达更多构造并消除许多概念上的歧义，尤其是围绕参数构造函数。旧语法将在 0.6 中弃用，一些旧语法将在 1.0 中以不同的含义回收。从根本上说，F{T}(args...) 的问题在于，F{T} 部分在概念上是模棱两可的——解析器知道它的含义，但它常常让人类感到困惑：

• 孤立地F{T}表示参数类型F和类型参数T。

• 后跟括号，不作为方法定义的一部分，F{T}(args...) 表示将类型 F{T} 作为函数应用到参数 args...，通常构造 F{T} 类型的实例。

• 后跟parens和equals，即作为F{T}(args...) = expr中方法定义的一部分，这意味着将F的方法定义为函数，类型参数T形式参数args...和定义expr。

特别是，其中任何一个都没有语法：

• 在F{T} 中添加一个方法来获取当前范围内T 的具体值。

• 为每个参数值T 添加一个方法到F{T}。

这种情况导致 Julia 0.5 和之前的构造函数语法比必要的更加混乱和不直观。在 Julia 1.0 中，类型参数和构造函数将更加直观和一致，遵循以下原则：

• 用于定义方法的语法始终与用于调用它的语法相匹配。
• F{T} 语法始终引用带有参数T 的类型F。
• 类型参数始终由where 子句引入。

当 0.6 发布时，将会有更详细的更改解释，可能在一篇关于 0.6 版本亮点的博客文章中。