diff options
| author | Keith Randall <khr@golang.org> | 2025-08-07 15:30:54 -0700 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2025-08-08 06:51:37 -0700 |
| commit | b3388569a187ea6be48caa41265f2b4dbc2fdfd3 (patch) | |
| tree | b4c1a95ca94f80fc817637399c36557bcc31b073 /src/reflect/value.go | |
| parent | d83b16fcb8de765f25cabbea63284406ea6dd091 (diff) | |
| download | go-b3388569a187ea6be48caa41265f2b4dbc2fdfd3.tar.xz | |
reflect: handle zero-sized fields of directly-stored structures correctly
type W struct {
E struct{}
X *byte
}
type W is a "direct" type. That is, it is a pointer-ish type that can
be stored directly as the second word of an interface.
But if we ask reflect for W's first field, that value must *not* be
direct, as zero-sized things cannot be stored directly.
This was a problem introduced in CL 681937. Before that, types like W
were not eligible for directness.
Fixes #74935
Change-Id: Idefb55c23eaa59153009f863bad611593981e5cb
Reviewed-on: https://go-review.googlesource.com/c/go/+/694195
Auto-Submit: Keith Randall <khr@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Reviewed-by: Dmitri Shuralyov <dmitshur@google.com>
Diffstat (limited to 'src/reflect/value.go')
| -rw-r--r-- | src/reflect/value.go | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/reflect/value.go b/src/reflect/value.go index 6f65ef81dc..e2ca0d89dd 100644 --- a/src/reflect/value.go +++ b/src/reflect/value.go @@ -1277,6 +1277,17 @@ func (v Value) Field(i int) Value { fl |= flagStickyRO } } + if fl&flagIndir == 0 && typ.Size() == 0 { + // Special case for picking a field out of a direct struct. + // A direct struct must have a pointer field and possibly a + // bunch of zero-sized fields. We must return the zero-sized + // fields indirectly, as only ptr-shaped things can be direct. + // See issue 74935. + // We use nil instead of v.ptr as it doesn't matter and + // we can avoid pinning a possibly now-unused object. + return Value{typ, nil, fl | flagIndir} + } + // Either flagIndir is set and v.ptr points at struct, // or flagIndir is not set and v.ptr is the actual struct data. // In the former case, we want v.ptr + offset. |
