encode.go 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402
  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. msgFields = append(msgFields, [2]text.Value{tname, tval})
  135. }
  136. return msgFields, nerr.E
  137. }
  138. // marshalSingular converts a non-repeated field value to text.Value.
  139. // This includes all scalar types, enums, messages, and groups.
  140. func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
  141. kind := fd.Kind()
  142. switch kind {
  143. case pref.BoolKind,
  144. pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
  145. pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
  146. pref.Sfixed32Kind, pref.Fixed32Kind,
  147. pref.Sfixed64Kind, pref.Fixed64Kind,
  148. pref.FloatKind, pref.DoubleKind,
  149. pref.StringKind, pref.BytesKind:
  150. return text.ValueOf(val.Interface()), nil
  151. case pref.EnumKind:
  152. num := val.Enum()
  153. if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
  154. return text.ValueOf(desc.Name()), nil
  155. }
  156. // Use numeric value if there is no enum description.
  157. return text.ValueOf(int32(num)), nil
  158. case pref.MessageKind, pref.GroupKind:
  159. return o.marshalMessage(val.Message())
  160. }
  161. return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
  162. }
  163. // marshalList converts a protoreflect.List to []text.Value.
  164. func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
  165. var nerr errors.NonFatal
  166. size := list.Len()
  167. values := make([]text.Value, 0, size)
  168. for i := 0; i < size; i++ {
  169. item := list.Get(i)
  170. val, err := o.marshalSingular(item, fd)
  171. if !nerr.Merge(err) {
  172. // Return already marshaled values.
  173. return values, err
  174. }
  175. values = append(values, val)
  176. }
  177. return values, nerr.E
  178. }
  179. var (
  180. mapKeyName = text.ValueOf(pref.Name("key"))
  181. mapValueName = text.ValueOf(pref.Name("value"))
  182. )
  183. // marshalMap converts a protoreflect.Map to []text.Value.
  184. func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
  185. var nerr errors.NonFatal
  186. // values is a list of messages.
  187. values := make([]text.Value, 0, mmap.Len())
  188. msgFields := fd.MessageType().Fields()
  189. keyType := msgFields.ByNumber(1)
  190. valType := msgFields.ByNumber(2)
  191. mmap.Range(func(key pref.MapKey, val pref.Value) bool {
  192. keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
  193. if !nerr.Merge(err) {
  194. return false
  195. }
  196. valTxtVal, err := o.marshalSingular(val, valType)
  197. if !nerr.Merge(err) {
  198. return false
  199. }
  200. // Map entry (message) contains 2 fields, first field for key and second field for value.
  201. msg := text.ValueOf([][2]text.Value{
  202. {mapKeyName, keyTxtVal},
  203. {mapValueName, valTxtVal},
  204. })
  205. values = append(values, msg)
  206. return true
  207. })
  208. sortMap(keyType.Kind(), values)
  209. return values, nerr.E
  210. }
  211. // sortMap orders list based on value of key field for deterministic output.
  212. // TODO: Improve sort comparison of text.Value for map keys.
  213. func sortMap(keyKind pref.Kind, values []text.Value) {
  214. less := func(i, j int) bool {
  215. mi := values[i].Message()
  216. mj := values[j].Message()
  217. return mi[0][1].String() < mj[0][1].String()
  218. }
  219. switch keyKind {
  220. case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
  221. less = func(i, j int) bool {
  222. mi := values[i].Message()
  223. mj := values[j].Message()
  224. ni, _ := mi[0][1].Int(false)
  225. nj, _ := mj[0][1].Int(false)
  226. return ni < nj
  227. }
  228. case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
  229. less = func(i, j int) bool {
  230. mi := values[i].Message()
  231. mj := values[j].Message()
  232. ni, _ := mi[0][1].Int(true)
  233. nj, _ := mj[0][1].Int(true)
  234. return ni < nj
  235. }
  236. case pref.Uint32Kind, pref.Fixed32Kind:
  237. less = func(i, j int) bool {
  238. mi := values[i].Message()
  239. mj := values[j].Message()
  240. ni, _ := mi[0][1].Uint(false)
  241. nj, _ := mj[0][1].Uint(false)
  242. return ni < nj
  243. }
  244. case pref.Uint64Kind, pref.Fixed64Kind:
  245. less = func(i, j int) bool {
  246. mi := values[i].Message()
  247. mj := values[j].Message()
  248. ni, _ := mi[0][1].Uint(true)
  249. nj, _ := mj[0][1].Uint(true)
  250. return ni < nj
  251. }
  252. }
  253. sort.Slice(values, less)
  254. }
  255. // appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
  256. func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
  257. var nerr errors.NonFatal
  258. xtTypes := knownFields.ExtensionTypes()
  259. xtFields := make([][2]text.Value, 0, xtTypes.Len())
  260. var err error
  261. xtTypes.Range(func(xt pref.ExtensionType) bool {
  262. // TODO: Handle MessageSet. Field name should be message_set_extension
  263. // of message type without any fields and has message option
  264. // message_set_wire_format=true.
  265. num := xt.Number()
  266. if knownFields.Has(num) {
  267. // Use string type to produce [name] format.
  268. tname := text.ValueOf(string(xt.FullName()))
  269. pval := knownFields.Get(num)
  270. xtFields, err = o.appendField(xtFields, tname, pval, xt)
  271. if err != nil {
  272. return false
  273. }
  274. }
  275. return true
  276. })
  277. if !nerr.Merge(err) {
  278. return msgFields, err
  279. }
  280. // Sort extensions lexicographically and append to output.
  281. sort.SliceStable(xtFields, func(i, j int) bool {
  282. return xtFields[i][0].String() < xtFields[j][0].String()
  283. })
  284. return append(msgFields, xtFields...), nerr.E
  285. }
  286. // appendUnknown parses the given []byte and appends field(s) into the given fields slice.
  287. // This function assumes proper encoding in the given []byte.
  288. func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
  289. for len(b) > 0 {
  290. var value interface{}
  291. num, wtype, n := wire.ConsumeTag(b)
  292. b = b[n:]
  293. switch wtype {
  294. case wire.VarintType:
  295. value, n = wire.ConsumeVarint(b)
  296. case wire.Fixed32Type:
  297. value, n = wire.ConsumeFixed32(b)
  298. case wire.Fixed64Type:
  299. value, n = wire.ConsumeFixed64(b)
  300. case wire.BytesType:
  301. value, n = wire.ConsumeBytes(b)
  302. case wire.StartGroupType:
  303. var v []byte
  304. v, n = wire.ConsumeGroup(num, b)
  305. var msg [][2]text.Value
  306. value = appendUnknown(msg, v)
  307. default:
  308. panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
  309. }
  310. fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
  311. b = b[n:]
  312. }
  313. return fields
  314. }
  315. // marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
  316. func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
  317. var nerr errors.NonFatal
  318. fds := m.Type().Fields()
  319. tfd := fds.ByName("type_url")
  320. if tfd == nil || tfd.Kind() != pref.StringKind {
  321. return text.Value{}, errors.New("invalid google.protobuf.Any message")
  322. }
  323. vfd := fds.ByName("value")
  324. if vfd == nil || vfd.Kind() != pref.BytesKind {
  325. return text.Value{}, errors.New("invalid google.protobuf.Any message")
  326. }
  327. knownFields := m.KnownFields()
  328. typeURL := knownFields.Get(tfd.Number())
  329. value := knownFields.Get(vfd.Number())
  330. emt, err := o.Resolver.FindMessageByURL(typeURL.String())
  331. if !nerr.Merge(err) {
  332. return text.Value{}, err
  333. }
  334. em := emt.New()
  335. // TODO: Need to set types registry in binary unmarshaling.
  336. err = proto.Unmarshal(value.Bytes(), em)
  337. if !nerr.Merge(err) {
  338. return text.Value{}, err
  339. }
  340. msg, err := o.marshalMessage(em.ProtoReflect())
  341. if !nerr.Merge(err) {
  342. return text.Value{}, err
  343. }
  344. // Expanded Any field value contains only a single field with the embedded
  345. // message type as the field name in [] and a text marshaled field value of
  346. // the embedded message.
  347. msgFields := [][2]text.Value{
  348. {
  349. text.ValueOf(string(emt.FullName())),
  350. msg,
  351. },
  352. }
  353. return text.ValueOf(msgFields), nerr.E
  354. }