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