为什么无法转换 Slice 类型？

我想知道为什么你不能这样做：

type Foo struct { A int }
type Bar Foo

foos := []Foo{Foo{1}, Foo{2}}
bars := []Bar(foos)
//cannot convert foos (type []Foo) to type []Bar

我发现这需要运行时对切片执行循环来转换每个元素，这不是 Go 惯用的做法。这是有道理的。

但是，这不能通过编译器仅使用别名来解决吗？Bar as Foo，所以在内部它们是相同的并且它们在下面使用相同的类型标头？我猜答案是否定的，尽管我很好奇为什么。

This:

[]Bar(foos)

是一种类型转换。根据规范，转换有特定的规则：

非常数值x可以转换为类型T在任何这些情况下：

• x is 可分配的 to T.
• x的类型和T具有相同的基础类型。
• x的类型和T是未命名的指针类型，并且它们的指针基类型具有相同的基础类型。
• x的类型和T都是整数或浮点类型。
• x的类型和T都是复杂类型。
• x是一个整数或字节或符文的切片并且T是字符串类型。
• x是一个字符串并且T是字节或符文的切片。

此处均不适用。为什么？

因为底层类型[]Foo与底层类型不同[]Bar.和类型的值[]Foo不可分配给类型的变量[]Bar, see 可分配性规则在这里.

底层类型为Foo与底层类型相同Bar，但这同样不适用于元素类型为的切片Foo and Bar.

所以以下工作：

type Foo struct{ A int }

type Foos []Foo
type Bars Foos

func main() {
    foos := []Foo{Foo{1}, Foo{2}}
    bars := Bars(foos)

    fmt.Println(bars)
}

输出（尝试一下去游乐场):

[{1} {2}]

请注意，由于实际的内存表示Foo and Bar是相同的（因为底层类型Bar is Foo），在这种情况下使用包unsafe您可以“查看”的值[]Foo作为一个值[]Bar:

type Foo struct{ A int }
type Bar Foo

func main() {
    foos := []Foo{Foo{1}, Foo{2}}

    bars := *(*[]Bar)(unsafe.Pointer(&foos))

    fmt.Println(bars)
    fmt.Printf("%T", bars)
}

This: *(*[]Bar)(unsafe.Pointer(&foos))意味着取地址foos，将其转换为unsafe.Pointer (根据规格所有指针都可以转换为unsafe.Pointer），那么这个Pointer被转换为*[]Bar（再次根据规范Pointer可以转换为任何其他指针类型），然后该指针被取消引用（*运算符），因此结果是类型的值[]Bar如输出中所示。

输出（尝试一下去游乐场):

[{1} {2}]
[]main.Bar

Notes:

引用包文档unsafe:

unsafe 包包含绕过 Go 程序类型安全的操作。

导入不安全的包可能是不可移植的，并且不受 Go 1 兼容性指南的保护。

这是什么意思？这意味着您不应该恢复使用包usafe每次它都会让你的生活变得更轻松。你应该只在特殊情况下使用它，如果不使用它会使你的程序变得非常缓慢和复杂。

在您的程序中，情况并非如此，因为我提出了一个仅进行一点重构的工作示例（Foos and Bars是切片）。

unsafe围绕 Go 类型安全的步骤。这是什么意思？如果你想改变类型foos（例如非常像foos := "trap!"），您的程序仍会编译并运行，但很可能会发生运行时恐慌。使用usafe你会失去编译器的类型检查。

而如果你使用我的其他建议（Foos and Bars），此类更改/拼写错误会在编译时检测到。