go - 类型转换运算符重载为 'GO' 中的全局函数

Question

我想做的事情如下。我有一个应用程序代码(比如 MyApp)，一个包(可能)来自第三方，另一个来自 gccgo。它们分别是 golang.org/sys/unix 和 syscall。

MyApp 尝试将 syscall.Timespec 变量分配给 unix.Timespec 变量。当我使用来自 gccgo 的系统调用时这是不匹配的，而当系统调用来自 Gc 时则不是。

我想避免更改这两个库。我想对 MyApp 进行更改。但是，补丁不会到达 MyApp 的上游。我或我的雇主应该在本地维护补丁。也就是说，如果 MyApp 的 git repo 更新了，我们将需要再次拉取它并对其应用另一个补丁。

从这个意义上说，我想尽量减少 future 维护的工作量。

不匹配本身如下，如果我简化的话:

// example.go
package main

import "fmt"

type aliased_int int

type SrcStruct struct {
    x aliased_int
}

type DstStruct struct {
    x int
}

func main() {
    src := SrcStruct{x: 30}
    dst := DstStruct(src)
    fmt.Println(dst.x)
}

由于“x aliased_int”行，上面的代码导致了编译错误。如果它是“x int”，则代码编译成功。

如果这是一个 C++ 应用程序和库，我会定义一个从 SrcStruct 到 DstStruct 的类型转换运算符重载。 (%p.s. 这行不通，因为 C++ 不允许将类型转换运算符重载为全局函数。但是，我想知道 Go 中是否有这样的解决方案。)

我不确定我是否可以在 Go 中做同样的事情。 (即将自定义类型转换运算符定义为全局函数等)如果不是，那么对于 Go 编程，什么是最好的？

%附言

Michael Hampton 友善地指出 gccgo 的 Timespec 不同于 Google Go 编译器 Gc 的 Timespec。然而，不同之处在于，gccgo 使用 int64 的别名，例如 Timespec_sec_t 或 Timespec_nsec_t。

Gccgo 的Timespec 是在Gccgo 的包中定义的。 Gc 的 Timespec 包含在 MyApp 的源代码树中。 MyApp 假定 Timespec 与 Gc 定义的相同。我只想最少地接触 MyApp 代码。

Answer 1

好吧，首先，您的代码示例似乎没有准确反射(reflect)您在散文中描述的问题，所以我将暂时忽略它并编写更类似于您实际描述的代码:

package main

import (
    "fmt"
    "reflect"
    "syscall"

    "golang.org/x/sys/unix"
)

func main() {
    src := syscall.Timespec{3, 4}
    dst := unix.Timespec(src)

    fmt.Printf("%v is a %s\n", dst, reflect.TypeOf(dst))
}

我们只是在做一个简单的类型转换，这是有效的，因为两个结构中的字段具有完全相同的名称和类型。

{3 4} is a unix.Timespec

syscall.Timespec

type Timespec struct {
        Sec  int64
        Nsec int64
}

unix.Timespec

type Timespec struct {
    Sec  int64
    Nsec int64
}

您可以通过简单的类型转换来复制它们，因为结构完全相同并且字段已导出。

请注意，您可以在 cgo 中执行此操作，但不能在拒绝类型转换的 gccgo 中执行。 language specification声明此类型转换应该有效(因为结构具有相同的基础类型)。

明显的解决方法是自己深度复制结构，例如:

    dst := unix.Timespec{src.Sec, src.Nsec}

但这不起作用，因为 gccgo 提示:

# command-line-arguments
./x.go:13:29: error: incompatible type for field 1 in struct construction (cannot use type syscall.Timespec_sec_t as type int64)
     dst := unix.Timespec{src.Sec, src.Nsec}
                             ^
./x.go:13:38: error: incompatible type for field 2 in struct construction (cannot use type syscall.Timespec_nsec_t as type int64)
     dst := unix.Timespec{src.Sec, src.Nsec}
                                      ^

所以我们看到问题的根源是 gccgo 的 syscall.Timespec 与 unix.Timespec 不相同，甚至不相同与 cgo 标准库中的 syscall.Timespec 相同。

你是 not the first person也遇到这个问题。不幸的是，该问题在没有适合您的明显解决方法的情况下被关闭。当然，最好的办法是重写有问题的代码，使其不使用系统调用包。或者停止使用 gccgo。

---

您在问题中发布的示例代码有点不同。在这种情况下，字段具有不同 类型。 Go 并不真正关心 aliased_int “实际上”是下面的 int。它将它们视为单独的类型，因为在 Go 中预先声明的数字类型也被视为已定义类型，因此您不能在此处使用简单的类型转换。规范指出了在什么情况下允许类型转换，这似乎不属于其中任何一个。

您必须自己进行深拷贝。有许多 Go 库可以帮助进行结构的深度复制。

此代码中的另一个问题是结构字段未导出。您根本无法真正深入复制它们。如果您导出字段，则可以。