函数名称前带下划线的结构标签

Question

我正在使用go，特别是QT绑定。但是，我不理解以下结构中前导下划线的使用。我知道一般使用下划线，但不知道此特定示例。

type CustomLabel struct {
    core.QObject

    _ func() `constructor:"init"`
    _ string `property:"text"`
}

它与struct标签有关吗？

Answer 1

这些称为空白字段，因为空白标识符用作字段名称。

不能引用它们（就像任何以空白标识符作为名称的变量一样），但它们会参与结构的内存布局。通常，实际上，它们被用作填充，以将后续字段与字节位置（或内存位置）对齐，以匹配来自（或进入）另一个系统的数据的布局。这样做的好处是可以一步一步地简单有效地转储或读取这些结构值（或更确切地说，它们的存储空间）。

@mkopriva的答案详细说明了问题中的特定用例。

提示： 这些空白字段作为“类型注释”应谨慎使用，因为它们会为此类结构的 所有
（！）值增加不必要的开销。这些字段不能被引用，但是它们仍然需要内存。如果添加大小为8个字节的空白字段（例如int64），则创建一百万个元素时，这8个字节将计数一百万次。因此，这是对空白字段的“错误”使用：目的是向
类型 本身（而不是其实例）添加元信息，但是代价是所有元素都需要增加内存。

您可能会说然后使用大小为0的类型，例如struct{}。最好使用正确的位置（例如，作为第一个字段，出于推理的原因，它们会更好不会更改结构的大小。尽管如此，使用反射来遍历结构域的代码仍然必须遍历这些字段，因此这会使此类代码的效率降低（通常是所有编组/解组过程）。另外，由于现在我们不能使用任意类型，因此我们失去了携带类型信息的优势。

struct{}可以绕过最后一个声明（关于何时使用我们会丢失携带的类型信息）。struct{}不是唯一具有0大小的类型，所有具有0长度的数组也具有零大小（与实际元素类型无关）。因此，我们可以通过使用要合并的类型的0大小的数组来保留类型信息，例如：

type CustomLabel struct {
    _ [0]func() `constructor:"init"`
    _ [0]string `property:"text"`
}

现在，此CustomLabel类型的性能在性能上要好于所讨论的类型：它的大小仍为0。仍然可以使用Type.Elem()此示例中的方法访问数组的元素类型：

type CustomLabel struct {
    _ [0]func() `constructor:"init"`
    _ [0]string `property:"text"`
}

func main() {
    f := reflect.ValueOf(CustomLabel{}).Type().Field(0)
    fmt.Println(f.Tag)
    fmt.Println(f.Type)
    fmt.Println(f.Type.Elem())
}

输出（在Go Playground上尝试）：

constructor:"init"
[0]func()
func()