blob: 87a0394aace7d90c2c2c16ecd55b64e2e3c37c41 [file] [log] [blame]
Damien Neil99f24c32019-03-13 17:06:42 -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 proto
6
7import (
Damien Neil99f24c32019-03-13 17:06:42 -07008 "sort"
9
Damien Neile89e6242019-05-13 23:55:40 -070010 "google.golang.org/protobuf/internal/encoding/wire"
Damien Neile89e6242019-05-13 23:55:40 -070011 "google.golang.org/protobuf/internal/mapsort"
12 "google.golang.org/protobuf/internal/pragma"
13 "google.golang.org/protobuf/reflect/protoreflect"
14 "google.golang.org/protobuf/runtime/protoiface"
Damien Neil99f24c32019-03-13 17:06:42 -070015)
16
17// MarshalOptions configures the marshaler.
18//
19// Example usage:
20// b, err := MarshalOptions{Deterministic: true}.Marshal(m)
21type MarshalOptions struct {
Damien Neil96c229a2019-04-03 12:17:24 -070022 // AllowPartial allows messages that have missing required fields to marshal
23 // without returning an error. If AllowPartial is false (the default),
24 // Marshal will return an error if there are any missing required fields.
25 AllowPartial bool
26
Damien Neil99f24c32019-03-13 17:06:42 -070027 // Deterministic controls whether the same message will always be
28 // serialized to the same bytes within the same binary.
29 //
30 // Setting this option guarantees that repeated serialization of
31 // the same message will return the same bytes, and that different
32 // processes of the same binary (which may be executing on different
33 // machines) will serialize equal messages to the same bytes.
34 //
35 // Note that the deterministic serialization is NOT canonical across
36 // languages. It is not guaranteed to remain stable over time. It is
37 // unstable across different builds with schema changes due to unknown
38 // fields. Users who need canonical serialization (e.g., persistent
39 // storage in a canonical form, fingerprinting, etc.) must define
40 // their own canonicalization specification and implement their own
41 // serializer rather than relying on this API.
42 //
43 // If deterministic serialization is requested, map entries will be
44 // sorted by keys in lexographical order. This is an implementation
45 // detail and subject to change.
46 Deterministic bool
47
Damien Neil03e74862019-04-07 18:18:31 -070048 // UseCachedSize indicates that the result of a previous Size call
49 // may be reused.
50 //
51 // Setting this option asserts that:
52 //
53 // 1. Size has previously been called on this message with identical
54 // options (except for UseCachedSize itself).
55 //
56 // 2. The message and all its submessages have not changed in any
57 // way since the Size call.
58 //
59 // If either of these invariants is broken, the results are undefined
60 // but may include panics or invalid output.
61 //
62 // Implementations MAY take this option into account to provide
63 // better performance, but there is no guarantee that they will do so.
64 // There is absolutely no guarantee that Size followed by Marshal with
65 // UseCachedSize set will perform equivalently to Marshal alone.
66 UseCachedSize bool
67
Damien Neil99f24c32019-03-13 17:06:42 -070068 pragma.NoUnkeyedLiterals
69}
70
Damien Neil0d3e8cc2019-04-01 13:31:55 -070071var _ = protoiface.MarshalOptions(MarshalOptions{})
72
Damien Neil99f24c32019-03-13 17:06:42 -070073// Marshal returns the wire-format encoding of m.
74func Marshal(m Message) ([]byte, error) {
75 return MarshalOptions{}.MarshalAppend(nil, m)
76}
77
78// Marshal returns the wire-format encoding of m.
79func (o MarshalOptions) Marshal(m Message) ([]byte, error) {
Damien Neil0d3e8cc2019-04-01 13:31:55 -070080 return o.MarshalAppend(nil, m)
Damien Neil99f24c32019-03-13 17:06:42 -070081}
82
83// MarshalAppend appends the wire-format encoding of m to b,
84// returning the result.
85func (o MarshalOptions) MarshalAppend(b []byte, m Message) ([]byte, error) {
Damien Neilc37adef2019-04-01 13:49:56 -070086 // Set AllowPartial in recursive calls to marshal to avoid duplicating
87 // effort with the single initialization check below.
88 allowPartial := o.AllowPartial
89 o.AllowPartial = true
Damien Neil3016b732019-04-07 12:43:10 -070090 out, err := o.marshalMessageFast(b, m)
Damien Neil4686e232019-04-05 13:31:40 -070091 if err == errInternalNoFast {
Damien Neil3016b732019-04-07 12:43:10 -070092 out, err = o.marshalMessage(b, m.ProtoReflect())
Damien Neil4686e232019-04-05 13:31:40 -070093 }
Damien Neil8c86fc52019-06-19 09:28:29 -070094 if err != nil {
95 return nil, err
Damien Neil0d3e8cc2019-04-01 13:31:55 -070096 }
Damien Neil8c86fc52019-06-19 09:28:29 -070097 if allowPartial {
98 return out, nil
Damien Neil4686e232019-04-05 13:31:40 -070099 }
Damien Neil8c86fc52019-06-19 09:28:29 -0700100 return out, IsInitialized(m)
Damien Neil99f24c32019-03-13 17:06:42 -0700101}
102
Damien Neil0d3e8cc2019-04-01 13:31:55 -0700103func (o MarshalOptions) marshalMessageFast(b []byte, m Message) ([]byte, error) {
Damien Neil0d3e8cc2019-04-01 13:31:55 -0700104 methods := protoMethods(m)
105 if methods == nil ||
106 methods.MarshalAppend == nil ||
107 (o.Deterministic && methods.Flags&protoiface.MethodFlagDeterministicMarshal == 0) {
108 return nil, errInternalNoFast
109 }
110 if methods.Size != nil {
111 sz := methods.Size(m)
112 if cap(b) < len(b)+sz {
113 x := make([]byte, len(b), len(b)+sz)
114 copy(x, b)
115 b = x
116 }
Damien Neil03e74862019-04-07 18:18:31 -0700117 o.UseCachedSize = true
Damien Neil0d3e8cc2019-04-01 13:31:55 -0700118 }
119 return methods.MarshalAppend(b, m, protoiface.MarshalOptions(o))
120}
121
Damien Neil99f24c32019-03-13 17:06:42 -0700122func (o MarshalOptions) marshalMessage(b []byte, m protoreflect.Message) ([]byte, error) {
123 // There are many choices for what order we visit fields in. The default one here
124 // is chosen for reasonable efficiency and simplicity given the protoreflect API.
Joe Tsai378c1322019-04-25 23:48:08 -0700125 // It is not deterministic, since Message.Range does not return fields in any
Damien Neil99f24c32019-03-13 17:06:42 -0700126 // defined order.
127 //
128 // When using deterministic serialization, we sort the known fields by field number.
Damien Neil99f24c32019-03-13 17:06:42 -0700129 var err error
Joe Tsai378c1322019-04-25 23:48:08 -0700130 o.rangeFields(m, func(fd protoreflect.FieldDescriptor, v protoreflect.Value) bool {
131 b, err = o.marshalField(b, fd, v)
Damien Neil8c86fc52019-06-19 09:28:29 -0700132 return err == nil
Damien Neil99f24c32019-03-13 17:06:42 -0700133 })
134 if err != nil {
Damien Neil96c229a2019-04-03 12:17:24 -0700135 return b, err
Damien Neil99f24c32019-03-13 17:06:42 -0700136 }
Joe Tsai378c1322019-04-25 23:48:08 -0700137 b = append(b, m.GetUnknown()...)
Damien Neil8c86fc52019-06-19 09:28:29 -0700138 return b, nil
Damien Neil99f24c32019-03-13 17:06:42 -0700139}
140
Joe Tsai378c1322019-04-25 23:48:08 -0700141// rangeFields visits fields in field number order when deterministic
Damien Neil99f24c32019-03-13 17:06:42 -0700142// serialization is enabled.
Joe Tsai378c1322019-04-25 23:48:08 -0700143func (o MarshalOptions) rangeFields(m protoreflect.Message, f func(protoreflect.FieldDescriptor, protoreflect.Value) bool) {
Damien Neil99f24c32019-03-13 17:06:42 -0700144 if !o.Deterministic {
Joe Tsai378c1322019-04-25 23:48:08 -0700145 m.Range(f)
Damien Neil99f24c32019-03-13 17:06:42 -0700146 return
147 }
Joe Tsai378c1322019-04-25 23:48:08 -0700148 fds := make([]protoreflect.FieldDescriptor, 0, m.Len())
149 m.Range(func(fd protoreflect.FieldDescriptor, _ protoreflect.Value) bool {
150 fds = append(fds, fd)
Damien Neil99f24c32019-03-13 17:06:42 -0700151 return true
152 })
Joe Tsai378c1322019-04-25 23:48:08 -0700153 sort.Slice(fds, func(a, b int) bool {
154 return fds[a].Number() < fds[b].Number()
Damien Neil99f24c32019-03-13 17:06:42 -0700155 })
Joe Tsai378c1322019-04-25 23:48:08 -0700156 for _, fd := range fds {
157 if !f(fd, m.Get(fd)) {
Damien Neil99f24c32019-03-13 17:06:42 -0700158 break
159 }
160 }
161}
162
Joe Tsaiac31a352019-05-13 14:32:56 -0700163func (o MarshalOptions) marshalField(b []byte, fd protoreflect.FieldDescriptor, value protoreflect.Value) ([]byte, error) {
Damien Neil99f24c32019-03-13 17:06:42 -0700164 switch {
Joe Tsaiac31a352019-05-13 14:32:56 -0700165 case fd.IsList():
Joe Tsai378c1322019-04-25 23:48:08 -0700166 return o.marshalList(b, fd, value.List())
Joe Tsaiac31a352019-05-13 14:32:56 -0700167 case fd.IsMap():
Joe Tsai378c1322019-04-25 23:48:08 -0700168 return o.marshalMap(b, fd, value.Map())
Damien Neil99f24c32019-03-13 17:06:42 -0700169 default:
Joe Tsai378c1322019-04-25 23:48:08 -0700170 b = wire.AppendTag(b, fd.Number(), wireTypes[fd.Kind()])
171 return o.marshalSingular(b, fd, value)
Damien Neil99f24c32019-03-13 17:06:42 -0700172 }
173}
174
Joe Tsai378c1322019-04-25 23:48:08 -0700175func (o MarshalOptions) marshalList(b []byte, fd protoreflect.FieldDescriptor, list protoreflect.List) ([]byte, error) {
176 if fd.IsPacked() && list.Len() > 0 {
177 b = wire.AppendTag(b, fd.Number(), wire.BytesType)
Joe Tsaiac31a352019-05-13 14:32:56 -0700178 b, pos := appendSpeculativeLength(b)
Joe Tsaiac31a352019-05-13 14:32:56 -0700179 for i, llen := 0, list.Len(); i < llen; i++ {
180 var err error
Joe Tsai378c1322019-04-25 23:48:08 -0700181 b, err = o.marshalSingular(b, fd, list.Get(i))
Damien Neil8c86fc52019-06-19 09:28:29 -0700182 if err != nil {
Joe Tsaiac31a352019-05-13 14:32:56 -0700183 return b, err
184 }
185 }
186 b = finishSpeculativeLength(b, pos)
Damien Neil8c86fc52019-06-19 09:28:29 -0700187 return b, nil
Joe Tsaiac31a352019-05-13 14:32:56 -0700188 }
189
190 kind := fd.Kind()
Joe Tsaiac31a352019-05-13 14:32:56 -0700191 for i, llen := 0, list.Len(); i < llen; i++ {
192 var err error
Joe Tsai378c1322019-04-25 23:48:08 -0700193 b = wire.AppendTag(b, fd.Number(), wireTypes[kind])
194 b, err = o.marshalSingular(b, fd, list.Get(i))
Damien Neil8c86fc52019-06-19 09:28:29 -0700195 if err != nil {
Joe Tsaiac31a352019-05-13 14:32:56 -0700196 return b, err
197 }
198 }
Damien Neil8c86fc52019-06-19 09:28:29 -0700199 return b, nil
Joe Tsaiac31a352019-05-13 14:32:56 -0700200}
201
Joe Tsai378c1322019-04-25 23:48:08 -0700202func (o MarshalOptions) marshalMap(b []byte, fd protoreflect.FieldDescriptor, mapv protoreflect.Map) ([]byte, error) {
Joe Tsaiac31a352019-05-13 14:32:56 -0700203 keyf := fd.MapKey()
204 valf := fd.MapValue()
Damien Neil99f24c32019-03-13 17:06:42 -0700205 var err error
206 o.rangeMap(mapv, keyf.Kind(), func(key protoreflect.MapKey, value protoreflect.Value) bool {
Joe Tsai378c1322019-04-25 23:48:08 -0700207 b = wire.AppendTag(b, fd.Number(), wire.BytesType)
Damien Neil99f24c32019-03-13 17:06:42 -0700208 var pos int
209 b, pos = appendSpeculativeLength(b)
210
211 b, err = o.marshalField(b, keyf, key.Value())
Damien Neil8c86fc52019-06-19 09:28:29 -0700212 if err != nil {
Damien Neil99f24c32019-03-13 17:06:42 -0700213 return false
214 }
215 b, err = o.marshalField(b, valf, value)
Damien Neil8c86fc52019-06-19 09:28:29 -0700216 if err != nil {
Damien Neil99f24c32019-03-13 17:06:42 -0700217 return false
218 }
Damien Neil99f24c32019-03-13 17:06:42 -0700219 b = finishSpeculativeLength(b, pos)
220 return true
221 })
Damien Neil8c86fc52019-06-19 09:28:29 -0700222 return b, err
Damien Neil99f24c32019-03-13 17:06:42 -0700223}
224
225func (o MarshalOptions) rangeMap(mapv protoreflect.Map, kind protoreflect.Kind, f func(protoreflect.MapKey, protoreflect.Value) bool) {
226 if !o.Deterministic {
227 mapv.Range(f)
228 return
229 }
230 mapsort.Range(mapv, kind, f)
231}
232
Damien Neil99f24c32019-03-13 17:06:42 -0700233// When encoding length-prefixed fields, we speculatively set aside some number of bytes
234// for the length, encode the data, and then encode the length (shifting the data if necessary
235// to make room).
236const speculativeLength = 1
237
238func appendSpeculativeLength(b []byte) ([]byte, int) {
239 pos := len(b)
240 b = append(b, "\x00\x00\x00\x00"[:speculativeLength]...)
241 return b, pos
242}
243
244func finishSpeculativeLength(b []byte, pos int) []byte {
245 mlen := len(b) - pos - speculativeLength
246 msiz := wire.SizeVarint(uint64(mlen))
247 if msiz != speculativeLength {
248 for i := 0; i < msiz-speculativeLength; i++ {
249 b = append(b, 0)
250 }
251 copy(b[pos+msiz:], b[pos+speculativeLength:])
252 b = b[:pos+msiz+mlen]
253 }
254 wire.AppendVarint(b[:pos], uint64(mlen))
255 return b
256}