为什么Julia中的`where`语法对新行敏感?

时间:2017-05-15 15:48:04

标签: julia

在Stack Overflow上的另一个问题中,答案包括以下功能:

julia> function nzcols(b::SubArray{T,2,P,Tuple{UnitRange{Int64},UnitRange{Int64}}}) where {T,P<:SparseMatrixCSC}
           return collect(i+1-start(b.indexes[2]) 
             for i in b.indexes[2]
             if b.parent.colptr[i]<b.parent.colptr[i+1] && 
               inrange(b.parent.rowval[nzrange(b.parent,i)],b.indexes[1]))
       end
nzcols (generic function with 3 methods)

它被解析没有错误。在where子句之前添加换行符以提高可读性时,突然出现错误:

julia> function nzcols(b::SubArray{T,2,P,Tuple{UnitRange{Int64},UnitRange{Int64}}})
        where {T,P<:SparseMatrixCSC}
           return collect(i+1-start(b.indexes[2]) 
             for i in b.indexes[2]
             if b.parent.colptr[i]<b.parent.colptr[i+1] && 
               inrange(b.parent.rowval[nzrange(b.parent,i)],b.indexes[1]))
       end
ERROR: syntax: space before "{" not allowed in "where {"

最后,当参数列表括号移动到where行时,错误会再次消失:

julia> function nzcols(b::SubArray{T,2,P,Tuple{UnitRange{Int64},UnitRange{Int64}}}
        ) where {T,P<:SparseMatrixCSC}
           return collect(i+1-start(b.indexes[2]) 
             for i in b.indexes[2]
             if b.parent.colptr[i]<b.parent.colptr[i+1] && 
               inrange(b.parent.rowval[nzrange(b.parent,i)],b.indexes[1]))
       end
nzcols (generic function with 3 methods)

这种语法背后的逻辑是什么,应该修复吗?

1 个答案:

答案 0 :(得分:8)

这与该语言中的许多其他语法类似;如果解析器有一个完整的&#34;在一行结尾处的语法,它将使用它并继续前进。

julia> parse("begin; 1 \n+ 2; end")
quote  # none, line 1:
    1 # none, line 2:
    +2
end

julia> parse("begin; 1 +\n 2; end")
quote  # none, line 1:
    1 + 2
end

请注意,这意味着您仍然可以将where子句分解为单独的行,但where本身需要与函数末尾位于同一行。