Types Go中的别名类型仅在未命名时可分配？
在以下代码段中，最后三个赋值产生编译错误：Types Go中的别名类型仅在未命名时可分配？,types,go,assign,Types,Go,Assign,在以下代码段中，最后三个赋值产生编译错误： package main type ( Foo []float64 Baz [2]float64 Meh map[string]string Faq chan int Tet func() Hue interface{} Tai bool Foz string Bar float64 ) func main() { var ( foo Foo = []
package main
type (
Foo []float64
Baz [2]float64
Meh map[string]string
Faq chan int
Tet func()
Hue interface{}
Tai bool
Foz string
Bar float64
)
func main() {
var (
foo Foo = []float64{1, 2, 3}
_ []float64 = foo
baz Baz = [...]float64{1, 2}
_ [2]float64 = baz
meh Meh = make(map[string]string)
_ map[string]string = meh
faq Faq = make(chan int)
_ chan int = faq
tet Tet = func() { return }
_ func() = tet
hue Hue = "Hello, World"
_ interface{} = hue
tai Tai = true
_ bool = tai // error
foz Foz = "Hello, World"
_ string = foz // error
bar Bar = 1
_ float64 = bar // error
)
}
- [……]
- x的类型V和T具有相同的底层类型，并且V或T中至少有一个不是命名类型
- [……]
提前感谢。可分配性规则意味着您有时必须在命名类型之间进行转换，以明确表示“是的，我的意思是此
字符串Fooos.FileModefoo uint32[[4]float32RGBASliceHSVASliceXYZWSliceRGBASliceXYZWSlice因此，广义上讲，通过强制您在命名类型之间进行转换，Go可以帮助您区分内存中可能具有相同表示形式的事物，即使它们具有不同的含义并且应该在不同的位置使用。您当然可以问“为什么我不能使用不同的语言？”有关堆栈溢出的问题，答案可能是“看起来你可以，现在你只需要实际建造它。”不过，我更喜欢回答帮助人们建造东西的问题，而不是学术问题。@Two好吧，我问这个问题的主要原因是因为我知道Go的设计师花了很多心思，因此，这项决定背后大概有某种想法，我看不到。很抱歉，这个问题不是为了解决一个特定的问题，而是一个关于语言设计的问题（一般来说，因为我认为围棋并不是唯一一种执行这一规则的语言）。我在这里问的是希望比我更了解语言设计的人能够解释为什么事情通常是这样做的。我认为有一种方法可以将此作为一个编程问题来解决（“我如何使用两个命名类型的不可赋值性？”），我给你一个机会。如果你真的喜欢用花哨的类型技巧做什么，那就看看ML或Rust之类的语言。Go试图让事情比较基本。首先，谢谢。第二，这本质上是否意味着Go声明为命名类型的类型在实践中更容易被其他类型混淆别名？您的答案使严格的可赋值性看起来像是命名类型的一个优势（“[…]但类型检查将防止您意外地将其传递给一个使用不相关的foo uint32”的函数），但同时，反转参数像是未命名类型的一个优势（“但是，所有这些都可以透明地传递给那些不关心数字含义的东西[…]”。嗯，我认为这里的一种思考方式是，您命名一个类型，以声明在组件之外还有一些特殊含义。
[…]float32RGBASliceRGBASliceXYZWSlice[]4]的一种方式float32RGBASliceuint32FileMode[[4]float32RGBASlice