blob: b4d632e60c4204a449e1e3d906214594acbe4290 [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"
Damien Neil01c0e8d2019-11-12 12:33:12 -080015 "google.golang.org/protobuf/internal/fieldsort"
Damien Neil4ae30bb2019-06-20 10:12:23 -070016 pref "google.golang.org/protobuf/reflect/protoreflect"
17 piface "google.golang.org/protobuf/runtime/protoiface"
18)
19
20// coderMessageInfo contains per-message information used by the fast-path functions.
21// This is a different type from MessageInfo to keep MessageInfo as general-purpose as
22// possible.
23type coderMessageInfo struct {
Joe Tsai0484b1a2019-08-13 15:36:08 -070024 methods piface.Methods
25
Damien Neil4ae30bb2019-06-20 10:12:23 -070026 orderedCoderFields []*coderFieldInfo
Damien Neile91877d2019-06-27 10:54:42 -070027 denseCoderFields []*coderFieldInfo
28 coderFields map[wire.Number]*coderFieldInfo
Damien Neil4ae30bb2019-06-20 10:12:23 -070029 sizecacheOffset offset
Damien Neil4ae30bb2019-06-20 10:12:23 -070030 unknownOffset offset
Joe Tsaic0e4bb22019-07-06 13:05:11 -070031 extensionOffset offset
Damien Neil4ae30bb2019-06-20 10:12:23 -070032 needsInitCheck bool
Damien Neilce3384c2019-11-06 13:18:28 -080033 isMessageSet bool
Joe Tsai0484b1a2019-08-13 15:36:08 -070034
35 extensionFieldInfosMu sync.RWMutex
36 extensionFieldInfos map[pref.ExtensionType]*extensionFieldInfo
Damien Neil4ae30bb2019-06-20 10:12:23 -070037}
38
39type coderFieldInfo struct {
40 funcs pointerCoderFuncs // fast-path per-field functions
41 num pref.FieldNumber // field number
42 offset offset // struct field offset
43 wiretag uint64 // field tag (number + wire type)
44 tagsize int // size of the varint-encoded tag
45 isPointer bool // true if IsNil may be called on the struct field
46 isRequired bool // true if field is required
47}
48
Joe Tsai0484b1a2019-08-13 15:36:08 -070049func (mi *MessageInfo) makeCoderMethods(t reflect.Type, si structInfo) {
Joe Tsai93fd9682019-07-06 13:02:14 -070050 mi.sizecacheOffset = si.sizecacheOffset
51 mi.unknownOffset = si.unknownOffset
52 mi.extensionOffset = si.extensionOffset
Damien Neil4ae30bb2019-06-20 10:12:23 -070053
Damien Neile91877d2019-06-27 10:54:42 -070054 mi.coderFields = make(map[wire.Number]*coderFieldInfo)
Damien Neil16163b42019-08-06 15:43:25 -070055 fields := mi.Desc.Fields()
Damien Neil92f76182019-08-02 16:58:08 -070056 for i := 0; i < fields.Len(); i++ {
57 fd := fields.Get(i)
Damien Neil4ae30bb2019-06-20 10:12:23 -070058
59 fs := si.fieldsByNumber[fd.Number()]
Damien Neile91877d2019-06-27 10:54:42 -070060 if fd.ContainingOneof() != nil {
61 fs = si.oneofsByName[fd.ContainingOneof().Name()]
62 }
Damien Neil4ae30bb2019-06-20 10:12:23 -070063 ft := fs.Type
64 var wiretag uint64
65 if !fd.IsPacked() {
66 wiretag = wire.EncodeTag(fd.Number(), wireTypes[fd.Kind()])
67 } else {
68 wiretag = wire.EncodeTag(fd.Number(), wire.BytesType)
69 }
Joe Tsai6e095992019-08-10 13:56:36 -070070 var fieldOffset offset
Damien Neile91877d2019-06-27 10:54:42 -070071 var funcs pointerCoderFuncs
Joe Tsai6e095992019-08-10 13:56:36 -070072 switch {
73 case fd.ContainingOneof() != nil:
74 fieldOffset = offsetOf(fs, mi.Exporter)
75 funcs = makeOneofFieldCoder(fd, si)
76 case fd.IsWeak():
77 fieldOffset = si.weakOffset
78 funcs = makeWeakMessageFieldCoder(fd)
79 default:
80 fieldOffset = offsetOf(fs, mi.Exporter)
Damien Neile91877d2019-06-27 10:54:42 -070081 funcs = fieldCoder(fd, ft)
82 }
83 cf := &coderFieldInfo{
Damien Neil4ae30bb2019-06-20 10:12:23 -070084 num: fd.Number(),
Joe Tsai6e095992019-08-10 13:56:36 -070085 offset: fieldOffset,
Damien Neil4ae30bb2019-06-20 10:12:23 -070086 wiretag: wiretag,
87 tagsize: wire.SizeVarint(wiretag),
Damien Neile91877d2019-06-27 10:54:42 -070088 funcs: funcs,
Damien Neil4ae30bb2019-06-20 10:12:23 -070089 isPointer: (fd.Cardinality() == pref.Repeated ||
90 fd.Kind() == pref.MessageKind ||
91 fd.Kind() == pref.GroupKind ||
92 fd.Syntax() != pref.Proto3),
93 isRequired: fd.Cardinality() == pref.Required,
Damien Neile91877d2019-06-27 10:54:42 -070094 }
95 mi.orderedCoderFields = append(mi.orderedCoderFields, cf)
96 mi.coderFields[cf.num] = cf
Damien Neil4ae30bb2019-06-20 10:12:23 -070097 }
Damien Neil16163b42019-08-06 15:43:25 -070098 if messageset.IsMessageSet(mi.Desc) {
Damien Neil302cb322019-06-19 15:22:13 -070099 if !mi.extensionOffset.IsValid() {
Damien Neil16163b42019-08-06 15:43:25 -0700100 panic(fmt.Sprintf("%v: MessageSet with no extensions field", mi.Desc.FullName()))
Damien Neil302cb322019-06-19 15:22:13 -0700101 }
Damien Neilce3384c2019-11-06 13:18:28 -0800102 if !mi.unknownOffset.IsValid() {
103 panic(fmt.Sprintf("%v: MessageSet with no unknown field", mi.Desc.FullName()))
Damien Neil302cb322019-06-19 15:22:13 -0700104 }
Damien Neilce3384c2019-11-06 13:18:28 -0800105 mi.isMessageSet = true
Damien Neil302cb322019-06-19 15:22:13 -0700106 }
Damien Neil4ae30bb2019-06-20 10:12:23 -0700107 sort.Slice(mi.orderedCoderFields, func(i, j int) bool {
108 return mi.orderedCoderFields[i].num < mi.orderedCoderFields[j].num
109 })
110
Damien Neile91877d2019-06-27 10:54:42 -0700111 var maxDense pref.FieldNumber
112 for _, cf := range mi.orderedCoderFields {
113 if cf.num >= 16 && cf.num >= 2*maxDense {
114 break
115 }
116 maxDense = cf.num
117 }
118 mi.denseCoderFields = make([]*coderFieldInfo, maxDense+1)
119 for _, cf := range mi.orderedCoderFields {
120 if int(cf.num) > len(mi.denseCoderFields) {
121 break
122 }
123 mi.denseCoderFields[cf.num] = cf
124 }
125
Damien Neil01c0e8d2019-11-12 12:33:12 -0800126 // To preserve compatibility with historic wire output, marshal oneofs last.
127 if mi.Desc.Oneofs().Len() > 0 {
128 sort.Slice(mi.orderedCoderFields, func(i, j int) bool {
129 fi := fields.ByNumber(mi.orderedCoderFields[i].num)
130 fj := fields.ByNumber(mi.orderedCoderFields[j].num)
131 return fieldsort.Less(fi, fj)
132 })
133 }
134
Damien Neil16163b42019-08-06 15:43:25 -0700135 mi.needsInitCheck = needsInitCheck(mi.Desc)
Damien Neil37ef6912019-09-25 16:51:15 -0700136 if mi.methods.MarshalAppend == nil && mi.methods.Size == nil {
137 mi.methods.Flags |= piface.SupportMarshalDeterministic
138 mi.methods.MarshalAppend = mi.marshalAppend
139 mi.methods.Size = mi.size
140 }
141 if mi.methods.Unmarshal == nil {
142 mi.methods.Flags |= piface.SupportUnmarshalDiscardUnknown
143 mi.methods.Unmarshal = mi.unmarshal
144 }
145 if mi.methods.IsInitialized == nil {
146 mi.methods.IsInitialized = mi.isInitialized
Damien Neil4ae30bb2019-06-20 10:12:23 -0700147 }
148}