1

我有一些使用反射来处理结构字段的通用代码。这些字段可能包括也可能不包括通过 Cgo 引用的 C 类型。

我遇到的一个问题是前面提到的那些 C 类型可能是“不完整的结构”，例如：typedef struct unknown u;. 这可能会导致稍后在代码中出现恐慌。

理想情况下，我需要能够检查和跳过这样的实例，而不会意外跳过有效字段。

我考虑过检查返回的值Type.Size()是否为 0，但空的 Go 结构将返回相同的值。

有没有办法做到这一点？

4

1 回答 1

1

TL;DR 总结：Cgo 没有不完整的类型，所以这里没有什么要测试的；但是您不应该以导致运行时恐慌的方式使用不完整的类型。（显示一个最小的可重现示例，有人可能会告诉你哪里出错了。）

在 C 中，您不能拥有不完整类型的对象，但可以拥有指向（某些不完整类型）的类型指针的值，您可以将其存储在指向不完整类型的指针类型的对象中。不可能跟随（取消引用）指针。

奇怪的是，Cgo 似乎允许跟随指针。这可能是因为 Go 中没有不完整类型这样的东西，所以 Cgo 只是将 C 对象变成了一个不包含字段且大小为零的结构：

package main

// #include <stdlib.h>
//
// struct incomp;
// struct incomp *foo() {
//     return malloc(10);
// }
import "C"

import (
        "fmt"
        "reflect"
)

func newFoo() *C.struct_incomp {
        return C.foo()
}

func main() {
        p := newFoo()
        t := reflect.TypeOf(*p)
        if t.Kind() != reflect.Struct {
                panic("not a struct")
        }
        fmt.Println("Size:", t.Size())
        fmt.Println("NumFields:", t.NumField())
}

我有一些使用反射来处理结构字段的通用代码。这些字段可能包括也可能不包括通过 Cgo 引用的 C 类型。...这可能会导致稍后在代码中出现恐慌。

鉴于上述情况（不完整的“对象”本身的大小为零），永远不要将实际的不完整类型 Cgo 类型嵌入到 Go 类型中。始终使用 (C) 指针。否则 Go 类型中的任何后续字段都将覆盖 C 代码中的实际字段。

于 2021-05-14T00:58:00.763 回答