Go中的别名类型只有在未命名的情况下才能分配？

Question

在以下代码中，sn -p 最后三个赋值产生编译错误：

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 可分配给 T 类型的变量（“x 可分配给 T") 在任何这些情况下：

• [...]
• x 的类型 V 和 T 具有相同的基础类型，并且 V 或 T 中的至少一个不是命名类型。
• [...]

(Go Specification: Assignability)

和

[...] 命名类型由（可能是限定的）类型名称指定；未命名类型使用类型文字指定，该类型文字由现有类型组成新类型。 [...]

(Go Specification: Types)

结合这一点，别名assign不起作用的原因是因为命名了最后三种情况的类型。这样就违反了规则：两个命名类型是赋值的一部分。

现在是我的实际问题：

为什么不允许将别名字符串/布尔值/数字分配给实际的字符串/布尔值/数字，而不是像切片和数组这样的类型？

缺少这条规则会导致什么样的问题？

将字符串指定为命名类型会导致哪些类型的问题？

提前谢谢你。

Answer 1

可分配性规则意味着您有时必须在命名类型之间进行转换以明确地说“是的，我的意思是这个string 被用作Foo”，即使它们共享相同的底层类型。这与os.FileMode 之类的东西有关：它是下面的一个数字，但类型检查可以防止你意外地将它传递给一个接受不相关foo uint32 的函数。 （可分配性规则也会影响函数调用：您可以传递可分配给参数类型的任何类型的参数。）

通常，这意味着如果您对基础类型有不同的、可能容易混淆的用途，您可以为它们分配不同的名称。比如：底层类型[][4]float32 可能有RGBASlice、HSVASlice 和XYZWSlice 分配的类型名称。您不能将RGBASlice 传递给需要XYZWSlice 的函数。但是所有东西都可以透明地传递给不关心数字含义的东西，比如你有一些通用的向量数学例程。

因此，概括地说，通过强制您在命名类型之间进行转换，Go 可以帮助您区分在内存中可能具有相同表示的事物，即使它们具有不同的含义并且应该在不同的地方使用。