范围内的类型重新声明顺序是否应受外部范围的影响？

Question

我收到一条奇怪的错误消息cannot use []feed literal (type []feed) as type []feed in field value，经过一番摆弄和最小化源之后，我发现这种情况似乎会产生错误：type user struct {    Feeds []feed}type feed struct{}func fn() {    type user struct {        Feeds []feed // seems to refer to the outer feed type    }    type feed struct{}    _ = user{        // "cannot use []feed literal (type []feed) as type []feed in field value"        Feeds: []feed{},    }}http://play.golang.org/p/gNIGhPwAgl这是预期的行为还是错误？我花了一些时间阅读语言规范，但找不到任何明确说明范围中的类型声明顺序应该如何工作的内容。顺序在外部作用域中无关紧要，但在内部作用域中却很重要，这有点不直观。

Answer 1

这是语言规范。

引用相关部分：声明和范围：

在函数内声明的类型标识符的范围从TypeSpec中的标识符开始，并在最里面的包含块的末尾结束。

在函数内声明的类型仅在类型标识符（被声明）的范围内。在此之前，他们不是。

type user struct {

    Feeds []feed // This can only be the outer feed type

}

type feed struct{} // new feed type is in scope from this line

Answer 2

在 golang-nuts 列表上找到了讨论这个的线程：

简而言之，这是因为声明的顺序在函数内部很重要，但在外部无关紧要。在包范围内，符号按照满足其依赖关系的顺序声明，与它们在页面上的外观无关；在函数内部，它们按词法顺序声明。片刻的反思将表明为什么这种不一致是有价值的，尽管它是不一致的。
-抢