encode.go 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406
  1. // Copyright 2018 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. package textpb
  5. import (
  6. "fmt"
  7. "sort"
  8. "github.com/golang/protobuf/v2/internal/encoding/text"
  9. "github.com/golang/protobuf/v2/internal/encoding/wire"
  10. "github.com/golang/protobuf/v2/internal/errors"
  11. "github.com/golang/protobuf/v2/internal/pragma"
  12. "github.com/golang/protobuf/v2/proto"
  13. pref "github.com/golang/protobuf/v2/reflect/protoreflect"
  14. "github.com/golang/protobuf/v2/reflect/protoregistry"
  15. )
  16. // Marshal writes the given proto.Message in textproto format using default options.
  17. // TODO: may want to describe when Marshal returns error.
  18. func Marshal(m proto.Message) ([]byte, error) {
  19. return MarshalOptions{}.Marshal(m)
  20. }
  21. // MarshalOptions is a configurable text format marshaler.
  22. type MarshalOptions struct {
  23. pragma.NoUnkeyedLiterals
  24. // Set Compact to true to have output in a single line with no line breaks.
  25. Compact bool
  26. // Resolver is the registry used for type lookups when marshaling out
  27. // google.protobuf.Any messages in expanded form. If Resolver is not set,
  28. // marshaling will default to using protoregistry.GlobalTypes. If a type is
  29. // not found, an Any message will be marshaled as a regular message.
  30. Resolver *protoregistry.Types
  31. }
  32. // Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
  33. func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
  34. if o.Resolver == nil {
  35. o.Resolver = protoregistry.GlobalTypes
  36. }
  37. var nerr errors.NonFatal
  38. var v text.Value
  39. var err error
  40. v, err = o.marshalMessage(m.ProtoReflect())
  41. if !nerr.Merge(err) {
  42. return nil, err
  43. }
  44. indent := " "
  45. if o.Compact {
  46. indent = ""
  47. }
  48. delims := [2]byte{'{', '}'}
  49. const outputASCII = false
  50. b, err := text.Marshal(v, indent, delims, outputASCII)
  51. if !nerr.Merge(err) {
  52. return nil, err
  53. }
  54. return b, nerr.E
  55. }
  56. // marshalMessage converts a protoreflect.Message to a text.Value.
  57. func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
  58. var nerr errors.NonFatal
  59. var msgFields [][2]text.Value
  60. msgType := m.Type()
  61. // Handle Any expansion.
  62. if msgType.FullName() == "google.protobuf.Any" {
  63. msg, err := o.marshalAny(m)
  64. if err == nil || nerr.Merge(err) {
  65. // Return as is for nil or non-fatal error.
  66. return msg, nerr.E
  67. }
  68. // For other errors, continue on to marshal Any as a regular message.
  69. }
  70. // Handle known fields.
  71. fieldDescs := msgType.Fields()
  72. knownFields := m.KnownFields()
  73. size := fieldDescs.Len()
  74. for i := 0; i < size; i++ {
  75. fd := fieldDescs.Get(i)
  76. num := fd.Number()
  77. if !knownFields.Has(num) {
  78. if fd.Cardinality() == pref.Required {
  79. // Treat unset required fields as a non-fatal error.
  80. nerr.AppendRequiredNotSet(string(fd.FullName()))
  81. }
  82. continue
  83. }
  84. tname := text.ValueOf(fd.Name())
  85. pval := knownFields.Get(num)
  86. var err error
  87. msgFields, err = o.appendField(msgFields, tname, pval, fd)
  88. if !nerr.Merge(err) {
  89. return text.Value{}, err
  90. }
  91. }
  92. // Handle extensions.
  93. var err error
  94. msgFields, err = o.appendExtensions(msgFields, knownFields)
  95. if !nerr.Merge(err) {
  96. return text.Value{}, err
  97. }
  98. // Handle unknown fields.
  99. // TODO: Provide option to exclude or include unknown fields.
  100. m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
  101. msgFields = appendUnknown(msgFields, raw)
  102. return true
  103. })
  104. return text.ValueOf(msgFields), nerr.E
  105. }
  106. // appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
  107. func (o MarshalOptions) appendField(msgFields [][2]text.Value, tname text.Value, pval pref.Value, fd pref.FieldDescriptor) ([][2]text.Value, error) {
  108. var nerr errors.NonFatal
  109. if fd.Cardinality() == pref.Repeated {
  110. // Map or repeated fields.
  111. var items []text.Value
  112. var err error
  113. if fd.IsMap() {
  114. items, err = o.marshalMap(pval.Map(), fd)
  115. if !nerr.Merge(err) {
  116. return msgFields, err
  117. }
  118. } else {
  119. items, err = o.marshalList(pval.List(), fd)
  120. if !nerr.Merge(err) {
  121. return msgFields, err
  122. }
  123. }
  124. // Add each item as key: value field.
  125. for _, item := range items {
  126. msgFields = append(msgFields, [2]text.Value{tname, item})
  127. }
  128. } else {
  129. // Required or optional fields.
  130. tval, err := o.marshalSingular(pval, fd)
  131. if !nerr.Merge(err) {
  132. return msgFields, err
  133. }
  134. // Use type name for group field name.
  135. if fd.Kind() == pref.GroupKind {
  136. tname = text.ValueOf(fd.MessageType().Name())
  137. }
  138. msgFields = append(msgFields, [2]text.Value{tname, tval})
  139. }
  140. return msgFields, nerr.E
  141. }
  142. // marshalSingular converts a non-repeated field value to text.Value.
  143. // This includes all scalar types, enums, messages, and groups.
  144. func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
  145. kind := fd.Kind()
  146. switch kind {
  147. case pref.BoolKind,
  148. pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
  149. pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
  150. pref.Sfixed32Kind, pref.Fixed32Kind,
  151. pref.Sfixed64Kind, pref.Fixed64Kind,
  152. pref.FloatKind, pref.DoubleKind,
  153. pref.StringKind, pref.BytesKind:
  154. return text.ValueOf(val.Interface()), nil
  155. case pref.EnumKind:
  156. num := val.Enum()
  157. if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
  158. return text.ValueOf(desc.Name()), nil
  159. }
  160. // Use numeric value if there is no enum description.
  161. return text.ValueOf(int32(num)), nil
  162. case pref.MessageKind, pref.GroupKind:
  163. return o.marshalMessage(val.Message())
  164. }
  165. return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
  166. }
  167. // marshalList converts a protoreflect.List to []text.Value.
  168. func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
  169. var nerr errors.NonFatal
  170. size := list.Len()
  171. values := make([]text.Value, 0, size)
  172. for i := 0; i < size; i++ {
  173. item := list.Get(i)
  174. val, err := o.marshalSingular(item, fd)
  175. if !nerr.Merge(err) {
  176. // Return already marshaled values.
  177. return values, err
  178. }
  179. values = append(values, val)
  180. }
  181. return values, nerr.E
  182. }
  183. var (
  184. mapKeyName = text.ValueOf(pref.Name("key"))
  185. mapValueName = text.ValueOf(pref.Name("value"))
  186. )
  187. // marshalMap converts a protoreflect.Map to []text.Value.
  188. func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
  189. var nerr errors.NonFatal
  190. // values is a list of messages.
  191. values := make([]text.Value, 0, mmap.Len())
  192. msgFields := fd.MessageType().Fields()
  193. keyType := msgFields.ByNumber(1)
  194. valType := msgFields.ByNumber(2)
  195. mmap.Range(func(key pref.MapKey, val pref.Value) bool {
  196. keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
  197. if !nerr.Merge(err) {
  198. return false
  199. }
  200. valTxtVal, err := o.marshalSingular(val, valType)
  201. if !nerr.Merge(err) {
  202. return false
  203. }
  204. // Map entry (message) contains 2 fields, first field for key and second field for value.
  205. msg := text.ValueOf([][2]text.Value{
  206. {mapKeyName, keyTxtVal},
  207. {mapValueName, valTxtVal},
  208. })
  209. values = append(values, msg)
  210. return true
  211. })
  212. sortMap(keyType.Kind(), values)
  213. return values, nerr.E
  214. }
  215. // sortMap orders list based on value of key field for deterministic output.
  216. // TODO: Improve sort comparison of text.Value for map keys.
  217. func sortMap(keyKind pref.Kind, values []text.Value) {
  218. less := func(i, j int) bool {
  219. mi := values[i].Message()
  220. mj := values[j].Message()
  221. return mi[0][1].String() < mj[0][1].String()
  222. }
  223. switch keyKind {
  224. case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
  225. less = func(i, j int) bool {
  226. mi := values[i].Message()
  227. mj := values[j].Message()
  228. ni, _ := mi[0][1].Int(false)
  229. nj, _ := mj[0][1].Int(false)
  230. return ni < nj
  231. }
  232. case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
  233. less = func(i, j int) bool {
  234. mi := values[i].Message()
  235. mj := values[j].Message()
  236. ni, _ := mi[0][1].Int(true)
  237. nj, _ := mj[0][1].Int(true)
  238. return ni < nj
  239. }
  240. case pref.Uint32Kind, pref.Fixed32Kind:
  241. less = func(i, j int) bool {
  242. mi := values[i].Message()
  243. mj := values[j].Message()
  244. ni, _ := mi[0][1].Uint(false)
  245. nj, _ := mj[0][1].Uint(false)
  246. return ni < nj
  247. }
  248. case pref.Uint64Kind, pref.Fixed64Kind:
  249. less = func(i, j int) bool {
  250. mi := values[i].Message()
  251. mj := values[j].Message()
  252. ni, _ := mi[0][1].Uint(true)
  253. nj, _ := mj[0][1].Uint(true)
  254. return ni < nj
  255. }
  256. }
  257. sort.Slice(values, less)
  258. }
  259. // appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
  260. func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
  261. var nerr errors.NonFatal
  262. xtTypes := knownFields.ExtensionTypes()
  263. xtFields := make([][2]text.Value, 0, xtTypes.Len())
  264. var err error
  265. xtTypes.Range(func(xt pref.ExtensionType) bool {
  266. // TODO: Handle MessageSet. Field name should be message_set_extension
  267. // of message type without any fields and has message option
  268. // message_set_wire_format=true.
  269. num := xt.Number()
  270. if knownFields.Has(num) {
  271. // Use string type to produce [name] format.
  272. tname := text.ValueOf(string(xt.FullName()))
  273. pval := knownFields.Get(num)
  274. xtFields, err = o.appendField(xtFields, tname, pval, xt)
  275. if err != nil {
  276. return false
  277. }
  278. }
  279. return true
  280. })
  281. if !nerr.Merge(err) {
  282. return msgFields, err
  283. }
  284. // Sort extensions lexicographically and append to output.
  285. sort.SliceStable(xtFields, func(i, j int) bool {
  286. return xtFields[i][0].String() < xtFields[j][0].String()
  287. })
  288. return append(msgFields, xtFields...), nerr.E
  289. }
  290. // appendUnknown parses the given []byte and appends field(s) into the given fields slice.
  291. // This function assumes proper encoding in the given []byte.
  292. func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
  293. for len(b) > 0 {
  294. var value interface{}
  295. num, wtype, n := wire.ConsumeTag(b)
  296. b = b[n:]
  297. switch wtype {
  298. case wire.VarintType:
  299. value, n = wire.ConsumeVarint(b)
  300. case wire.Fixed32Type:
  301. value, n = wire.ConsumeFixed32(b)
  302. case wire.Fixed64Type:
  303. value, n = wire.ConsumeFixed64(b)
  304. case wire.BytesType:
  305. value, n = wire.ConsumeBytes(b)
  306. case wire.StartGroupType:
  307. var v []byte
  308. v, n = wire.ConsumeGroup(num, b)
  309. var msg [][2]text.Value
  310. value = appendUnknown(msg, v)
  311. default:
  312. panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
  313. }
  314. fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
  315. b = b[n:]
  316. }
  317. return fields
  318. }
  319. // marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
  320. func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
  321. var nerr errors.NonFatal
  322. fds := m.Type().Fields()
  323. tfd := fds.ByName("type_url")
  324. if tfd == nil || tfd.Kind() != pref.StringKind {
  325. return text.Value{}, errors.New("invalid google.protobuf.Any message")
  326. }
  327. vfd := fds.ByName("value")
  328. if vfd == nil || vfd.Kind() != pref.BytesKind {
  329. return text.Value{}, errors.New("invalid google.protobuf.Any message")
  330. }
  331. knownFields := m.KnownFields()
  332. typeURL := knownFields.Get(tfd.Number())
  333. value := knownFields.Get(vfd.Number())
  334. emt, err := o.Resolver.FindMessageByURL(typeURL.String())
  335. if !nerr.Merge(err) {
  336. return text.Value{}, err
  337. }
  338. em := emt.New().Interface()
  339. // TODO: Need to set types registry in binary unmarshaling.
  340. err = proto.Unmarshal(value.Bytes(), em)
  341. if !nerr.Merge(err) {
  342. return text.Value{}, err
  343. }
  344. msg, err := o.marshalMessage(em.ProtoReflect())
  345. if !nerr.Merge(err) {
  346. return text.Value{}, err
  347. }
  348. // Expanded Any field value contains only a single field with the embedded
  349. // message type as the field name in [] and a text marshaled field value of
  350. // the embedded message.
  351. msgFields := [][2]text.Value{
  352. {
  353. text.ValueOf(string(emt.FullName())),
  354. msg,
  355. },
  356. }
  357. return text.ValueOf(msgFields), nerr.E
  358. }