blob: a86468a5cbdf07f9896eb99e96663fbaeec0a635 [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 Neil316febd2020-02-09 12:26:50 -080038 mi *MessageInfo // field's message
39 ft reflect.Type
40 validation validationInfo // information used by message validation
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
Damien Neil4ae30bb2019-06-20 10:12:23 -070047}
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
Damien Neil316febd2020-02-09 12:26:50 -080072 var childMessage *MessageInfo
Joe Tsai6e095992019-08-10 13:56:36 -070073 switch {
74 case fd.ContainingOneof() != nil:
75 fieldOffset = offsetOf(fs, mi.Exporter)
Joe Tsai6e095992019-08-10 13:56:36 -070076 case fd.IsWeak():
77 fieldOffset = si.weakOffset
78 funcs = makeWeakMessageFieldCoder(fd)
79 default:
80 fieldOffset = offsetOf(fs, mi.Exporter)
Damien Neil316febd2020-02-09 12:26:50 -080081 childMessage, funcs = fieldCoder(fd, ft)
Damien Neile91877d2019-06-27 10:54:42 -070082 }
83 cf := &coderFieldInfo{
Damien Neilb0c26f12019-12-16 09:37:59 -080084 num: fd.Number(),
85 offset: fieldOffset,
86 wiretag: wiretag,
Damien Neil316febd2020-02-09 12:26:50 -080087 ft: ft,
Damien Neilb0c26f12019-12-16 09:37:59 -080088 tagsize: wire.SizeVarint(wiretag),
89 funcs: funcs,
Damien Neil316febd2020-02-09 12:26:50 -080090 mi: childMessage,
Damien Neilb0c26f12019-12-16 09:37:59 -080091 validation: newFieldValidationInfo(mi, si, fd, ft),
Damien Neil4ae30bb2019-06-20 10:12:23 -070092 isPointer: (fd.Cardinality() == pref.Repeated ||
93 fd.Kind() == pref.MessageKind ||
94 fd.Kind() == pref.GroupKind ||
95 fd.Syntax() != pref.Proto3),
96 isRequired: fd.Cardinality() == pref.Required,
Damien Neile91877d2019-06-27 10:54:42 -070097 }
98 mi.orderedCoderFields = append(mi.orderedCoderFields, cf)
99 mi.coderFields[cf.num] = cf
Damien Neil4ae30bb2019-06-20 10:12:23 -0700100 }
Damien Neilce413af2019-12-05 16:36:28 -0800101 for i, oneofs := 0, mi.Desc.Oneofs(); i < oneofs.Len(); i++ {
102 mi.initOneofFieldCoders(oneofs.Get(i), si)
103 }
Damien Neil16163b42019-08-06 15:43:25 -0700104 if messageset.IsMessageSet(mi.Desc) {
Damien Neil302cb322019-06-19 15:22:13 -0700105 if !mi.extensionOffset.IsValid() {
Damien Neil16163b42019-08-06 15:43:25 -0700106 panic(fmt.Sprintf("%v: MessageSet with no extensions field", mi.Desc.FullName()))
Damien Neil302cb322019-06-19 15:22:13 -0700107 }
Damien Neilce3384c2019-11-06 13:18:28 -0800108 if !mi.unknownOffset.IsValid() {
109 panic(fmt.Sprintf("%v: MessageSet with no unknown field", mi.Desc.FullName()))
Damien Neil302cb322019-06-19 15:22:13 -0700110 }
Damien Neilce3384c2019-11-06 13:18:28 -0800111 mi.isMessageSet = true
Damien Neil302cb322019-06-19 15:22:13 -0700112 }
Damien Neil4ae30bb2019-06-20 10:12:23 -0700113 sort.Slice(mi.orderedCoderFields, func(i, j int) bool {
114 return mi.orderedCoderFields[i].num < mi.orderedCoderFields[j].num
115 })
116
Damien Neile91877d2019-06-27 10:54:42 -0700117 var maxDense pref.FieldNumber
118 for _, cf := range mi.orderedCoderFields {
119 if cf.num >= 16 && cf.num >= 2*maxDense {
120 break
121 }
122 maxDense = cf.num
123 }
124 mi.denseCoderFields = make([]*coderFieldInfo, maxDense+1)
125 for _, cf := range mi.orderedCoderFields {
126 if int(cf.num) > len(mi.denseCoderFields) {
127 break
128 }
129 mi.denseCoderFields[cf.num] = cf
130 }
131
Damien Neil01c0e8d2019-11-12 12:33:12 -0800132 // To preserve compatibility with historic wire output, marshal oneofs last.
133 if mi.Desc.Oneofs().Len() > 0 {
134 sort.Slice(mi.orderedCoderFields, func(i, j int) bool {
135 fi := fields.ByNumber(mi.orderedCoderFields[i].num)
136 fj := fields.ByNumber(mi.orderedCoderFields[j].num)
137 return fieldsort.Less(fi, fj)
138 })
139 }
140
Damien Neil16163b42019-08-06 15:43:25 -0700141 mi.needsInitCheck = needsInitCheck(mi.Desc)
Damien Neil61781dd2020-01-21 13:29:51 -0800142 if mi.methods.Marshal == nil && mi.methods.Size == nil {
Damien Neil37ef6912019-09-25 16:51:15 -0700143 mi.methods.Flags |= piface.SupportMarshalDeterministic
Damien Neil61781dd2020-01-21 13:29:51 -0800144 mi.methods.Marshal = mi.marshal
Damien Neil37ef6912019-09-25 16:51:15 -0700145 mi.methods.Size = mi.size
146 }
147 if mi.methods.Unmarshal == nil {
148 mi.methods.Flags |= piface.SupportUnmarshalDiscardUnknown
149 mi.methods.Unmarshal = mi.unmarshal
150 }
Joe Tsaif26a9e72020-02-20 10:05:37 -0800151 if mi.methods.CheckInitialized == nil {
152 mi.methods.CheckInitialized = mi.checkInitialized
Damien Neil4ae30bb2019-06-20 10:12:23 -0700153 }
Damien Neile8e88752020-02-11 11:25:16 -0800154 if mi.methods.Merge == nil {
155 mi.methods.Merge = mi.merge
156 }
Damien Neil4ae30bb2019-06-20 10:12:23 -0700157}