equal.go 7.3 KB

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