equal.go 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281
  1. // Copyright 2011 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. // Protocol buffer comparison.
  5. package proto
  6. import (
  7. "bytes"
  8. "log"
  9. "reflect"
  10. "strings"
  11. "github.com/golang/protobuf/protoapi"
  12. "github.com/golang/protobuf/v2/reflect/protoreflect"
  13. )
  14. /*
  15. Equal returns true iff protocol buffers a and b are equal.
  16. The arguments must both be pointers to protocol buffer structs.
  17. Equality is defined in this way:
  18. - Two messages are equal iff they are the same type,
  19. corresponding fields are equal, unknown field sets
  20. are equal, and extensions sets are equal.
  21. - Two set scalar fields are equal iff their values are equal.
  22. If the fields are of a floating-point type, remember that
  23. NaN != x for all x, including NaN. If the message is defined
  24. in a proto3 .proto file, fields are not "set"; specifically,
  25. zero length proto3 "bytes" fields are equal (nil == {}).
  26. - Two repeated fields are equal iff their lengths are the same,
  27. and their corresponding elements are equal. Note a "bytes" field,
  28. although represented by []byte, is not a repeated field and the
  29. rule for the scalar fields described above applies.
  30. - Two unset fields are equal.
  31. - Two unknown field sets are equal if their current
  32. encoded state is equal.
  33. - Two extension sets are equal iff they have corresponding
  34. elements that are pairwise equal.
  35. - Two map fields are equal iff their lengths are the same,
  36. and they contain the same set of elements. Zero-length map
  37. fields are equal.
  38. - Every other combination of things are not equal.
  39. The return value is undefined if a and b are not protocol buffers.
  40. */
  41. func Equal(a, b Message) bool {
  42. if a == nil || b == nil {
  43. return a == b
  44. }
  45. v1, v2 := reflect.ValueOf(a), reflect.ValueOf(b)
  46. if v1.Type() != v2.Type() {
  47. return false
  48. }
  49. if v1.Kind() == reflect.Ptr {
  50. if v1.IsNil() {
  51. return v2.IsNil()
  52. }
  53. if v2.IsNil() {
  54. return false
  55. }
  56. v1, v2 = v1.Elem(), v2.Elem()
  57. }
  58. if v1.Kind() != reflect.Struct {
  59. return false
  60. }
  61. return equalStruct(v1, v2)
  62. }
  63. // v1 and v2 are known to have the same type.
  64. func equalStruct(v1, v2 reflect.Value) bool {
  65. sprop := GetProperties(v1.Type())
  66. for i := 0; i < v1.NumField(); i++ {
  67. f := v1.Type().Field(i)
  68. if strings.HasPrefix(f.Name, "XXX_") {
  69. continue
  70. }
  71. f1, f2 := v1.Field(i), v2.Field(i)
  72. if f.Type.Kind() == reflect.Ptr {
  73. if n1, n2 := f1.IsNil(), f2.IsNil(); n1 && n2 {
  74. // both unset
  75. continue
  76. } else if n1 != n2 {
  77. // set/unset mismatch
  78. return false
  79. }
  80. f1, f2 = f1.Elem(), f2.Elem()
  81. }
  82. if !equalAny(f1, f2, sprop.Prop[i]) {
  83. return false
  84. }
  85. }
  86. if em1 := v1.FieldByName("XXX_InternalExtensions"); em1.IsValid() {
  87. em2 := v2.FieldByName("XXX_InternalExtensions")
  88. m1 := protoapi.ExtensionFieldsOf(em1.Addr().Interface())
  89. m2 := protoapi.ExtensionFieldsOf(em2.Addr().Interface())
  90. if !equalExtensions(v1.Type(), m1, m2) {
  91. return false
  92. }
  93. }
  94. if em1 := v1.FieldByName("XXX_extensions"); em1.IsValid() {
  95. em2 := v2.FieldByName("XXX_extensions")
  96. m1 := protoapi.ExtensionFieldsOf(em1.Addr().Interface())
  97. m2 := protoapi.ExtensionFieldsOf(em2.Addr().Interface())
  98. if !equalExtensions(v1.Type(), m1, m2) {
  99. return false
  100. }
  101. }
  102. uf := v1.FieldByName("XXX_unrecognized")
  103. if !uf.IsValid() {
  104. return true
  105. }
  106. u1 := uf.Bytes()
  107. u2 := v2.FieldByName("XXX_unrecognized").Bytes()
  108. return bytes.Equal(u1, u2)
  109. }
  110. // v1 and v2 are known to have the same type.
  111. // prop may be nil.
  112. func equalAny(v1, v2 reflect.Value, prop *Properties) bool {
  113. if v1.Type() == protoMessageType {
  114. m1, _ := v1.Interface().(Message)
  115. m2, _ := v2.Interface().(Message)
  116. return Equal(m1, m2)
  117. }
  118. switch v1.Kind() {
  119. case reflect.Bool:
  120. return v1.Bool() == v2.Bool()
  121. case reflect.Float32, reflect.Float64:
  122. return v1.Float() == v2.Float()
  123. case reflect.Int32, reflect.Int64:
  124. return v1.Int() == v2.Int()
  125. case reflect.Interface:
  126. // Probably a oneof field; compare the inner values.
  127. n1, n2 := v1.IsNil(), v2.IsNil()
  128. if n1 || n2 {
  129. return n1 == n2
  130. }
  131. e1, e2 := v1.Elem(), v2.Elem()
  132. if e1.Type() != e2.Type() {
  133. return false
  134. }
  135. return equalAny(e1, e2, nil)
  136. case reflect.Map:
  137. if v1.Len() != v2.Len() {
  138. return false
  139. }
  140. for _, key := range v1.MapKeys() {
  141. val2 := v2.MapIndex(key)
  142. if !val2.IsValid() {
  143. // This key was not found in the second map.
  144. return false
  145. }
  146. if !equalAny(v1.MapIndex(key), val2, nil) {
  147. return false
  148. }
  149. }
  150. return true
  151. case reflect.Ptr:
  152. // Maps may have nil values in them, so check for nil.
  153. if v1.IsNil() && v2.IsNil() {
  154. return true
  155. }
  156. if v1.IsNil() != v2.IsNil() {
  157. return false
  158. }
  159. return equalAny(v1.Elem(), v2.Elem(), prop)
  160. case reflect.Slice:
  161. if v1.Type().Elem().Kind() == reflect.Uint8 {
  162. // short circuit: []byte
  163. // Edge case: if this is in a proto3 message, a zero length
  164. // bytes field is considered the zero value.
  165. if prop != nil && prop.proto3 && v1.Len() == 0 && v2.Len() == 0 {
  166. return true
  167. }
  168. if v1.IsNil() != v2.IsNil() {
  169. return false
  170. }
  171. return bytes.Equal(v1.Interface().([]byte), v2.Interface().([]byte))
  172. }
  173. if v1.Len() != v2.Len() {
  174. return false
  175. }
  176. for i := 0; i < v1.Len(); i++ {
  177. if !equalAny(v1.Index(i), v2.Index(i), prop) {
  178. return false
  179. }
  180. }
  181. return true
  182. case reflect.String:
  183. return v1.Interface().(string) == v2.Interface().(string)
  184. case reflect.Struct:
  185. return equalStruct(v1, v2)
  186. case reflect.Uint32, reflect.Uint64:
  187. return v1.Uint() == v2.Uint()
  188. }
  189. // unknown type, so not a protocol buffer
  190. log.Printf("proto: don't know how to compare %v", v1)
  191. return false
  192. }
  193. func equalExtensions(base reflect.Type, em1, em2 protoapi.ExtensionFields) bool {
  194. if em1.Len() != em2.Len() {
  195. return false
  196. }
  197. equal := true
  198. em1.Range(func(extNum protoreflect.FieldNumber, e1 Extension) bool {
  199. if !em2.Has(extNum) {
  200. equal = false
  201. return false
  202. }
  203. e2 := em2.Get(extNum)
  204. m1 := extensionAsLegacyType(e1.Value)
  205. m2 := extensionAsLegacyType(e2.Value)
  206. if m1 == nil && m2 == nil {
  207. // Both have only encoded form.
  208. if bytes.Equal(e1.Raw, e2.Raw) {
  209. return true
  210. }
  211. // The bytes are different, but the extensions might still be
  212. // equal. We need to decode them to compare.
  213. }
  214. if m1 != nil && m2 != nil {
  215. // Both are unencoded.
  216. if !equalAny(reflect.ValueOf(m1), reflect.ValueOf(m2), nil) {
  217. equal = false
  218. return false
  219. }
  220. return true
  221. }
  222. // At least one is encoded. To do a semantically correct comparison
  223. // we need to unmarshal them first.
  224. var desc *ExtensionDesc
  225. mz := reflect.Zero(reflect.PtrTo(base)).Interface().(Message)
  226. if m := protoapi.RegisteredExtensions(mz); m != nil {
  227. desc = m[int32(extNum)]
  228. }
  229. if desc == nil {
  230. // If both have only encoded form and the bytes are the same,
  231. // it is handled above. We get here when the bytes are different.
  232. // We don't know how to decode it, so just compare them as byte
  233. // slices.
  234. log.Printf("proto: don't know how to compare extension %d of %v", extNum, base)
  235. equal = false
  236. return false
  237. }
  238. var err error
  239. if m1 == nil {
  240. m1, err = decodeExtension(e1.Raw, desc)
  241. }
  242. if m2 == nil && err == nil {
  243. m2, err = decodeExtension(e2.Raw, desc)
  244. }
  245. if err != nil {
  246. // The encoded form is invalid.
  247. log.Printf("proto: badly encoded extension %d of %v: %v", extNum, base, err)
  248. equal = false
  249. return false
  250. }
  251. if !equalAny(reflect.ValueOf(m1), reflect.ValueOf(m2), nil) {
  252. equal = false
  253. return false
  254. }
  255. return true
  256. })
  257. return equal
  258. }