相关疑难解决方法(0)

看看以下两个表达式:

baz(Foo<Bar, Bar>(0))
baz(Foo < Bar, Bar > (0))

不知道是什么,baz,Foo和Bar是(baz可以是一个类型或方法,Foo并且Bar可以是类型或变量),不存在多义性是否方式<代表了一个类型参数列表或小于操作.

// two different outcomes, difference shown with parentheses
baz((Foo<Bar,Bar>(0)))      // generics
baz((Foo < Bar), (Bar > 0)) // less-than

任何理智的编程语言都不应该依赖于什么baz,Foo并且Bar在解析像这样的表达式时.然而,无论我在哪里放置空格,Swift都设法消除下面的表达式的歧义:

println(Dictionary<String, String>(0))
println(Dictionary < String, String > (0))

编译器如何管理它？而且,更重要的是,Swift语言规范中是否有任何地方.其中描述了规则.看Language Reference一下Swift书的一部分,我只发现了这一部分:

在某些构造中,具有前导<或>可能被分成两个或更多个令牌的运算符.其余部分以相同的方式处理,可能会再次拆分.因此,不需要使用空格来消除>构造中的结束字符之间的歧义Dictionary<String, Array<Int>>.在此示例中,结束>字符不会被视为单个标记,然后可能会被误解为位移>>运算符.

certain constructs在这种情况下指的是什么？实际语法只包含一个提及类型参数的生产规则:

显式构件表达→后缀表达式 …