Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 1 | // Copyright 2019 The Go Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style |
| 3 | // license that can be found in the LICENSE file. |
| 4 | |
| 5 | package impl |
| 6 | |
| 7 | import ( |
Damien Neil | 302cb32 | 2019-06-19 15:22:13 -0700 | [diff] [blame] | 8 | "fmt" |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 9 | "reflect" |
| 10 | "sort" |
| 11 | |
Damien Neil | 302cb32 | 2019-06-19 15:22:13 -0700 | [diff] [blame] | 12 | "google.golang.org/protobuf/internal/encoding/messageset" |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 13 | "google.golang.org/protobuf/internal/encoding/wire" |
| 14 | pref "google.golang.org/protobuf/reflect/protoreflect" |
| 15 | piface "google.golang.org/protobuf/runtime/protoiface" |
| 16 | ) |
| 17 | |
| 18 | // coderMessageInfo contains per-message information used by the fast-path functions. |
| 19 | // This is a different type from MessageInfo to keep MessageInfo as general-purpose as |
| 20 | // possible. |
| 21 | type coderMessageInfo struct { |
| 22 | orderedCoderFields []*coderFieldInfo |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 23 | denseCoderFields []*coderFieldInfo |
| 24 | coderFields map[wire.Number]*coderFieldInfo |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 25 | sizecacheOffset offset |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 26 | unknownOffset offset |
Joe Tsai | c0e4bb2 | 2019-07-06 13:05:11 -0700 | [diff] [blame] | 27 | extensionOffset offset |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 28 | needsInitCheck bool |
| 29 | } |
| 30 | |
| 31 | type coderFieldInfo struct { |
| 32 | funcs pointerCoderFuncs // fast-path per-field functions |
| 33 | num pref.FieldNumber // field number |
| 34 | offset offset // struct field offset |
| 35 | wiretag uint64 // field tag (number + wire type) |
| 36 | tagsize int // size of the varint-encoded tag |
| 37 | isPointer bool // true if IsNil may be called on the struct field |
| 38 | isRequired bool // true if field is required |
| 39 | } |
| 40 | |
| 41 | func (mi *MessageInfo) makeMethods(t reflect.Type, si structInfo) { |
Joe Tsai | 93fd968 | 2019-07-06 13:02:14 -0700 | [diff] [blame] | 42 | mi.sizecacheOffset = si.sizecacheOffset |
| 43 | mi.unknownOffset = si.unknownOffset |
| 44 | mi.extensionOffset = si.extensionOffset |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 45 | |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 46 | mi.coderFields = make(map[wire.Number]*coderFieldInfo) |
Damien Neil | 16163b4 | 2019-08-06 15:43:25 -0700 | [diff] [blame] | 47 | fields := mi.Desc.Fields() |
Damien Neil | 92f7618 | 2019-08-02 16:58:08 -0700 | [diff] [blame] | 48 | for i := 0; i < fields.Len(); i++ { |
| 49 | fd := fields.Get(i) |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 50 | |
| 51 | fs := si.fieldsByNumber[fd.Number()] |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 52 | if fd.ContainingOneof() != nil { |
| 53 | fs = si.oneofsByName[fd.ContainingOneof().Name()] |
| 54 | } |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 55 | ft := fs.Type |
| 56 | var wiretag uint64 |
| 57 | if !fd.IsPacked() { |
| 58 | wiretag = wire.EncodeTag(fd.Number(), wireTypes[fd.Kind()]) |
| 59 | } else { |
| 60 | wiretag = wire.EncodeTag(fd.Number(), wire.BytesType) |
| 61 | } |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 62 | var funcs pointerCoderFuncs |
| 63 | if fd.ContainingOneof() != nil { |
| 64 | funcs = makeOneofFieldCoder(si, fd) |
| 65 | } else { |
| 66 | funcs = fieldCoder(fd, ft) |
| 67 | } |
| 68 | cf := &coderFieldInfo{ |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 69 | num: fd.Number(), |
Joe Tsai | c0e4bb2 | 2019-07-06 13:05:11 -0700 | [diff] [blame] | 70 | offset: offsetOf(fs, mi.Exporter), |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 71 | wiretag: wiretag, |
| 72 | tagsize: wire.SizeVarint(wiretag), |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 73 | funcs: funcs, |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 74 | isPointer: (fd.Cardinality() == pref.Repeated || |
| 75 | fd.Kind() == pref.MessageKind || |
| 76 | fd.Kind() == pref.GroupKind || |
| 77 | fd.Syntax() != pref.Proto3), |
| 78 | isRequired: fd.Cardinality() == pref.Required, |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 79 | } |
| 80 | mi.orderedCoderFields = append(mi.orderedCoderFields, cf) |
| 81 | mi.coderFields[cf.num] = cf |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 82 | } |
Damien Neil | 16163b4 | 2019-08-06 15:43:25 -0700 | [diff] [blame] | 83 | if messageset.IsMessageSet(mi.Desc) { |
Damien Neil | 302cb32 | 2019-06-19 15:22:13 -0700 | [diff] [blame] | 84 | if !mi.extensionOffset.IsValid() { |
Damien Neil | 16163b4 | 2019-08-06 15:43:25 -0700 | [diff] [blame] | 85 | panic(fmt.Sprintf("%v: MessageSet with no extensions field", mi.Desc.FullName())) |
Damien Neil | 302cb32 | 2019-06-19 15:22:13 -0700 | [diff] [blame] | 86 | } |
| 87 | cf := &coderFieldInfo{ |
| 88 | num: messageset.FieldItem, |
| 89 | offset: si.extensionOffset, |
| 90 | isPointer: true, |
| 91 | funcs: makeMessageSetFieldCoder(mi), |
| 92 | } |
| 93 | mi.orderedCoderFields = append(mi.orderedCoderFields, cf) |
| 94 | mi.coderFields[cf.num] = cf |
| 95 | // Invalidate the extension offset, since the field codec handles extensions. |
| 96 | mi.extensionOffset = invalidOffset |
| 97 | } |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 98 | sort.Slice(mi.orderedCoderFields, func(i, j int) bool { |
| 99 | return mi.orderedCoderFields[i].num < mi.orderedCoderFields[j].num |
| 100 | }) |
| 101 | |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 102 | var maxDense pref.FieldNumber |
| 103 | for _, cf := range mi.orderedCoderFields { |
| 104 | if cf.num >= 16 && cf.num >= 2*maxDense { |
| 105 | break |
| 106 | } |
| 107 | maxDense = cf.num |
| 108 | } |
| 109 | mi.denseCoderFields = make([]*coderFieldInfo, maxDense+1) |
| 110 | for _, cf := range mi.orderedCoderFields { |
| 111 | if int(cf.num) > len(mi.denseCoderFields) { |
| 112 | break |
| 113 | } |
| 114 | mi.denseCoderFields[cf.num] = cf |
| 115 | } |
| 116 | |
Damien Neil | 16163b4 | 2019-08-06 15:43:25 -0700 | [diff] [blame] | 117 | mi.needsInitCheck = needsInitCheck(mi.Desc) |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 118 | mi.methods = piface.Methods{ |
Joe Tsai | f8b855d | 2019-07-12 13:37:59 -0700 | [diff] [blame] | 119 | Flags: piface.SupportMarshalDeterministic | piface.SupportUnmarshalDiscardUnknown, |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 120 | MarshalAppend: mi.marshalAppend, |
Damien Neil | e91877d | 2019-06-27 10:54:42 -0700 | [diff] [blame] | 121 | Unmarshal: mi.unmarshal, |
Damien Neil | 4ae30bb | 2019-06-20 10:12:23 -0700 | [diff] [blame] | 122 | Size: mi.size, |
| 123 | IsInitialized: mi.isInitialized, |
| 124 | } |
| 125 | } |