blob: e487a26e0a513dc440e56924d16a5fd31f5835a5 [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"
11
Damien Neil302cb322019-06-19 15:22:13 -070012 "google.golang.org/protobuf/internal/encoding/messageset"
Damien Neil4ae30bb2019-06-20 10:12:23 -070013 "google.golang.org/protobuf/internal/encoding/wire"
Damien Neil01c0e8d2019-11-12 12:33:12 -080014 "google.golang.org/protobuf/internal/fieldsort"
Damien Neil4ae30bb2019-06-20 10:12:23 -070015 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
Damien Neilce3384c2019-11-06 13:18:28 -080032 isMessageSet bool
Damien Neilb0c26f12019-12-16 09:37:59 -080033 numRequiredFields uint8
Damien Neil4ae30bb2019-06-20 10:12:23 -070034}
35
36type coderFieldInfo struct {
37 funcs pointerCoderFuncs // fast-path per-field functions
Damien Neilb0c26f12019-12-16 09:37:59 -080038 validation validationInfo // information used by message validation
Damien Neil4ae30bb2019-06-20 10:12:23 -070039 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)
Joe Tsai6e095992019-08-10 13:56:36 -070073 case fd.IsWeak():
74 fieldOffset = si.weakOffset
75 funcs = makeWeakMessageFieldCoder(fd)
76 default:
77 fieldOffset = offsetOf(fs, mi.Exporter)
Damien Neile91877d2019-06-27 10:54:42 -070078 funcs = fieldCoder(fd, ft)
79 }
80 cf := &coderFieldInfo{
Damien Neilb0c26f12019-12-16 09:37:59 -080081 num: fd.Number(),
82 offset: fieldOffset,
83 wiretag: wiretag,
84 tagsize: wire.SizeVarint(wiretag),
85 funcs: funcs,
86 validation: newFieldValidationInfo(mi, si, fd, ft),
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 Neilce413af2019-12-05 16:36:28 -080096 for i, oneofs := 0, mi.Desc.Oneofs(); i < oneofs.Len(); i++ {
97 mi.initOneofFieldCoders(oneofs.Get(i), si)
98 }
Damien Neil16163b42019-08-06 15:43:25 -070099 if messageset.IsMessageSet(mi.Desc) {
Damien Neil302cb322019-06-19 15:22:13 -0700100 if !mi.extensionOffset.IsValid() {
Damien Neil16163b42019-08-06 15:43:25 -0700101 panic(fmt.Sprintf("%v: MessageSet with no extensions field", mi.Desc.FullName()))
Damien Neil302cb322019-06-19 15:22:13 -0700102 }
Damien Neilce3384c2019-11-06 13:18:28 -0800103 if !mi.unknownOffset.IsValid() {
104 panic(fmt.Sprintf("%v: MessageSet with no unknown field", mi.Desc.FullName()))
Damien Neil302cb322019-06-19 15:22:13 -0700105 }
Damien Neilce3384c2019-11-06 13:18:28 -0800106 mi.isMessageSet = true
Damien Neil302cb322019-06-19 15:22:13 -0700107 }
Damien Neil4ae30bb2019-06-20 10:12:23 -0700108 sort.Slice(mi.orderedCoderFields, func(i, j int) bool {
109 return mi.orderedCoderFields[i].num < mi.orderedCoderFields[j].num
110 })
111
Damien Neile91877d2019-06-27 10:54:42 -0700112 var maxDense pref.FieldNumber
113 for _, cf := range mi.orderedCoderFields {
114 if cf.num >= 16 && cf.num >= 2*maxDense {
115 break
116 }
117 maxDense = cf.num
118 }
119 mi.denseCoderFields = make([]*coderFieldInfo, maxDense+1)
120 for _, cf := range mi.orderedCoderFields {
121 if int(cf.num) > len(mi.denseCoderFields) {
122 break
123 }
124 mi.denseCoderFields[cf.num] = cf
125 }
126
Damien Neil01c0e8d2019-11-12 12:33:12 -0800127 // To preserve compatibility with historic wire output, marshal oneofs last.
128 if mi.Desc.Oneofs().Len() > 0 {
129 sort.Slice(mi.orderedCoderFields, func(i, j int) bool {
130 fi := fields.ByNumber(mi.orderedCoderFields[i].num)
131 fj := fields.ByNumber(mi.orderedCoderFields[j].num)
132 return fieldsort.Less(fi, fj)
133 })
134 }
135
Damien Neil16163b42019-08-06 15:43:25 -0700136 mi.needsInitCheck = needsInitCheck(mi.Desc)
Damien Neil37ef6912019-09-25 16:51:15 -0700137 if mi.methods.MarshalAppend == nil && mi.methods.Size == nil {
138 mi.methods.Flags |= piface.SupportMarshalDeterministic
139 mi.methods.MarshalAppend = mi.marshalAppend
140 mi.methods.Size = mi.size
141 }
142 if mi.methods.Unmarshal == nil {
143 mi.methods.Flags |= piface.SupportUnmarshalDiscardUnknown
144 mi.methods.Unmarshal = mi.unmarshal
145 }
146 if mi.methods.IsInitialized == nil {
147 mi.methods.IsInitialized = mi.isInitialized
Damien Neil4ae30bb2019-06-20 10:12:23 -0700148 }
149}