blob: 4694718f10086558592be8974063efa034b4b685 [file] [log] [blame]
Damien Neil4ae30bb2019-06-20 10:12:23 -07001// 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
5package impl
6
7import (
Damien Neil302cb322019-06-19 15:22:13 -07008 "fmt"
Damien Neil4ae30bb2019-06-20 10:12:23 -07009 "reflect"
10 "sort"
Joe Tsai0484b1a2019-08-13 15:36:08 -070011 "sync"
Damien Neil4ae30bb2019-06-20 10:12:23 -070012
Damien Neil302cb322019-06-19 15:22:13 -070013 "google.golang.org/protobuf/internal/encoding/messageset"
Damien Neil4ae30bb2019-06-20 10:12:23 -070014 "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.
22type coderMessageInfo struct {
Joe Tsai0484b1a2019-08-13 15:36:08 -070023 methods piface.Methods
24
Damien Neil4ae30bb2019-06-20 10:12:23 -070025 orderedCoderFields []*coderFieldInfo
Damien Neile91877d2019-06-27 10:54:42 -070026 denseCoderFields []*coderFieldInfo
27 coderFields map[wire.Number]*coderFieldInfo
Damien Neil4ae30bb2019-06-20 10:12:23 -070028 sizecacheOffset offset
Damien Neil4ae30bb2019-06-20 10:12:23 -070029 unknownOffset offset
Joe Tsaic0e4bb22019-07-06 13:05:11 -070030 extensionOffset offset
Damien Neil4ae30bb2019-06-20 10:12:23 -070031 needsInitCheck bool
Joe Tsai0484b1a2019-08-13 15:36:08 -070032
33 extensionFieldInfosMu sync.RWMutex
34 extensionFieldInfos map[pref.ExtensionType]*extensionFieldInfo
Damien Neil4ae30bb2019-06-20 10:12:23 -070035}
36
37type coderFieldInfo struct {
38 funcs pointerCoderFuncs // fast-path per-field functions
39 num pref.FieldNumber // field number
40 offset offset // struct field offset
41 wiretag uint64 // field tag (number + wire type)
42 tagsize int // size of the varint-encoded tag
43 isPointer bool // true if IsNil may be called on the struct field
44 isRequired bool // true if field is required
45}
46
Joe Tsai0484b1a2019-08-13 15:36:08 -070047func (mi *MessageInfo) makeCoderMethods(t reflect.Type, si structInfo) {
Joe Tsai93fd9682019-07-06 13:02:14 -070048 mi.sizecacheOffset = si.sizecacheOffset
49 mi.unknownOffset = si.unknownOffset
50 mi.extensionOffset = si.extensionOffset
Damien Neil4ae30bb2019-06-20 10:12:23 -070051
Damien Neile91877d2019-06-27 10:54:42 -070052 mi.coderFields = make(map[wire.Number]*coderFieldInfo)
Damien Neil16163b42019-08-06 15:43:25 -070053 fields := mi.Desc.Fields()
Damien Neil92f76182019-08-02 16:58:08 -070054 for i := 0; i < fields.Len(); i++ {
55 fd := fields.Get(i)
Damien Neil4ae30bb2019-06-20 10:12:23 -070056
57 fs := si.fieldsByNumber[fd.Number()]
Damien Neile91877d2019-06-27 10:54:42 -070058 if fd.ContainingOneof() != nil {
59 fs = si.oneofsByName[fd.ContainingOneof().Name()]
60 }
Damien Neil4ae30bb2019-06-20 10:12:23 -070061 ft := fs.Type
62 var wiretag uint64
63 if !fd.IsPacked() {
64 wiretag = wire.EncodeTag(fd.Number(), wireTypes[fd.Kind()])
65 } else {
66 wiretag = wire.EncodeTag(fd.Number(), wire.BytesType)
67 }
Joe Tsai6e095992019-08-10 13:56:36 -070068 var fieldOffset offset
Damien Neile91877d2019-06-27 10:54:42 -070069 var funcs pointerCoderFuncs
Joe Tsai6e095992019-08-10 13:56:36 -070070 switch {
71 case fd.ContainingOneof() != nil:
72 fieldOffset = offsetOf(fs, mi.Exporter)
73 funcs = makeOneofFieldCoder(fd, si)
74 case fd.IsWeak():
75 fieldOffset = si.weakOffset
76 funcs = makeWeakMessageFieldCoder(fd)
77 default:
78 fieldOffset = offsetOf(fs, mi.Exporter)
Damien Neile91877d2019-06-27 10:54:42 -070079 funcs = fieldCoder(fd, ft)
80 }
81 cf := &coderFieldInfo{
Damien Neil4ae30bb2019-06-20 10:12:23 -070082 num: fd.Number(),
Joe Tsai6e095992019-08-10 13:56:36 -070083 offset: fieldOffset,
Damien Neil4ae30bb2019-06-20 10:12:23 -070084 wiretag: wiretag,
85 tagsize: wire.SizeVarint(wiretag),
Damien Neile91877d2019-06-27 10:54:42 -070086 funcs: funcs,
Damien Neil4ae30bb2019-06-20 10:12:23 -070087 isPointer: (fd.Cardinality() == pref.Repeated ||
88 fd.Kind() == pref.MessageKind ||
89 fd.Kind() == pref.GroupKind ||
90 fd.Syntax() != pref.Proto3),
91 isRequired: fd.Cardinality() == pref.Required,
Damien Neile91877d2019-06-27 10:54:42 -070092 }
93 mi.orderedCoderFields = append(mi.orderedCoderFields, cf)
94 mi.coderFields[cf.num] = cf
Damien Neil4ae30bb2019-06-20 10:12:23 -070095 }
Damien Neil16163b42019-08-06 15:43:25 -070096 if messageset.IsMessageSet(mi.Desc) {
Damien Neil302cb322019-06-19 15:22:13 -070097 if !mi.extensionOffset.IsValid() {
Damien Neil16163b42019-08-06 15:43:25 -070098 panic(fmt.Sprintf("%v: MessageSet with no extensions field", mi.Desc.FullName()))
Damien Neil302cb322019-06-19 15:22:13 -070099 }
100 cf := &coderFieldInfo{
101 num: messageset.FieldItem,
102 offset: si.extensionOffset,
103 isPointer: true,
104 funcs: makeMessageSetFieldCoder(mi),
105 }
106 mi.orderedCoderFields = append(mi.orderedCoderFields, cf)
107 mi.coderFields[cf.num] = cf
108 // Invalidate the extension offset, since the field codec handles extensions.
109 mi.extensionOffset = invalidOffset
110 }
Damien Neil4ae30bb2019-06-20 10:12:23 -0700111 sort.Slice(mi.orderedCoderFields, func(i, j int) bool {
112 return mi.orderedCoderFields[i].num < mi.orderedCoderFields[j].num
113 })
114
Damien Neile91877d2019-06-27 10:54:42 -0700115 var maxDense pref.FieldNumber
116 for _, cf := range mi.orderedCoderFields {
117 if cf.num >= 16 && cf.num >= 2*maxDense {
118 break
119 }
120 maxDense = cf.num
121 }
122 mi.denseCoderFields = make([]*coderFieldInfo, maxDense+1)
123 for _, cf := range mi.orderedCoderFields {
124 if int(cf.num) > len(mi.denseCoderFields) {
125 break
126 }
127 mi.denseCoderFields[cf.num] = cf
128 }
129
Damien Neil16163b42019-08-06 15:43:25 -0700130 mi.needsInitCheck = needsInitCheck(mi.Desc)
Damien Neil37ef6912019-09-25 16:51:15 -0700131 if mi.methods.MarshalAppend == nil && mi.methods.Size == nil {
132 mi.methods.Flags |= piface.SupportMarshalDeterministic
133 mi.methods.MarshalAppend = mi.marshalAppend
134 mi.methods.Size = mi.size
135 }
136 if mi.methods.Unmarshal == nil {
137 mi.methods.Flags |= piface.SupportUnmarshalDiscardUnknown
138 mi.methods.Unmarshal = mi.unmarshal
139 }
140 if mi.methods.IsInitialized == nil {
141 mi.methods.IsInitialized = mi.isInitialized
Damien Neil4ae30bb2019-06-20 10:12:23 -0700142 }
143}