Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 1 | // 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 | |
| 5 | package proto |
| 6 | |
| 7 | import ( |
| 8 | "bytes" |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 9 | "reflect" |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 10 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 11 | "google.golang.org/protobuf/internal/encoding/wire" |
Damien Neil | e89e624 | 2019-05-13 23:55:40 -0700 | [diff] [blame] | 12 | pref "google.golang.org/protobuf/reflect/protoreflect" |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 13 | ) |
| 14 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 15 | // Equal reports whether two messages are equal. |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 16 | // |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 17 | // Two messages are equal if they belong to the same message descriptor, |
| 18 | // have the same set of populated known and extension field values, |
| 19 | // and the same set of unknown fields values. |
| 20 | // |
| 21 | // Scalar values are compared with the equivalent of the == operator in Go, |
| 22 | // except bytes values which are compared using bytes.Equal. |
| 23 | // Note that this means that floating point NaNs are considered inequal. |
| 24 | // Message values are compared by recursively calling Equal. |
| 25 | // Lists are equal if each element value is also equal. |
| 26 | // Maps are equal if they have the same set of keys, where the pair of values |
| 27 | // for each key is also equal. |
| 28 | func Equal(x, y Message) bool { |
| 29 | return equalMessage(x.ProtoReflect(), y.ProtoReflect()) |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 30 | } |
| 31 | |
| 32 | // equalMessage compares two messages. |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 33 | func equalMessage(mx, my pref.Message) bool { |
| 34 | if mx.Descriptor() != my.Descriptor() { |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 35 | return false |
| 36 | } |
| 37 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 38 | if mx.Len() != my.Len() { |
| 39 | return false |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 40 | } |
| 41 | equal := true |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 42 | mx.Range(func(fd pref.FieldDescriptor, vx pref.Value) bool { |
| 43 | vy := my.Get(fd) |
| 44 | equal = my.Has(fd) && equalField(fd, vx, vy) |
| 45 | return equal |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 46 | }) |
| 47 | if !equal { |
| 48 | return false |
| 49 | } |
| 50 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 51 | return equalUnknown(mx.GetUnknown(), my.GetUnknown()) |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 52 | } |
| 53 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 54 | // equalField compares two fields. |
| 55 | func equalField(fd pref.FieldDescriptor, x, y pref.Value) bool { |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 56 | switch { |
Joe Tsai | ac31a35 | 2019-05-13 14:32:56 -0700 | [diff] [blame] | 57 | case fd.IsList(): |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 58 | return equalList(fd, x.List(), y.List()) |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 59 | case fd.IsMap(): |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 60 | return equalMap(fd, x.Map(), y.Map()) |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 61 | default: |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 62 | return equalValue(fd, x, y) |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 63 | } |
| 64 | } |
| 65 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 66 | // equalMap compares two maps. |
| 67 | func equalMap(fd pref.FieldDescriptor, x, y pref.Map) bool { |
| 68 | if x.Len() != y.Len() { |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 69 | return false |
| 70 | } |
| 71 | equal := true |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 72 | x.Range(func(k pref.MapKey, vx pref.Value) bool { |
| 73 | vy := y.Get(k) |
| 74 | equal = y.Has(k) && equalValue(fd.MapValue(), vx, vy) |
| 75 | return equal |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 76 | }) |
| 77 | return equal |
| 78 | } |
| 79 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 80 | // equalList compares two lists. |
| 81 | func equalList(fd pref.FieldDescriptor, x, y pref.List) bool { |
| 82 | if x.Len() != y.Len() { |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 83 | return false |
| 84 | } |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 85 | for i := x.Len() - 1; i >= 0; i-- { |
| 86 | if !equalValue(fd, x.Get(i), y.Get(i)) { |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 87 | return false |
| 88 | } |
| 89 | } |
| 90 | return true |
| 91 | } |
| 92 | |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 93 | // equalValue compares two singular values. |
| 94 | func equalValue(fd pref.FieldDescriptor, x, y pref.Value) bool { |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 95 | switch { |
| 96 | case fd.Message() != nil: |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 97 | return equalMessage(x.Message(), y.Message()) |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 98 | case fd.Kind() == pref.BytesKind: |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 99 | return bytes.Equal(x.Bytes(), y.Bytes()) |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 100 | default: |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 101 | return x.Interface() == y.Interface() |
Damien Neil | e6f060f | 2019-04-23 17:11:02 -0700 | [diff] [blame] | 102 | } |
| 103 | } |
Joe Tsai | 378c132 | 2019-04-25 23:48:08 -0700 | [diff] [blame^] | 104 | |
| 105 | // equalUnknown compares unknown fields by direct comparison on the raw bytes |
| 106 | // of each individual field number. |
| 107 | func equalUnknown(x, y pref.RawFields) bool { |
| 108 | if len(x) != len(y) { |
| 109 | return false |
| 110 | } |
| 111 | if bytes.Equal([]byte(x), []byte(y)) { |
| 112 | return true |
| 113 | } |
| 114 | |
| 115 | mx := make(map[pref.FieldNumber]pref.RawFields) |
| 116 | my := make(map[pref.FieldNumber]pref.RawFields) |
| 117 | for len(x) > 0 { |
| 118 | fnum, _, n := wire.ConsumeField(x) |
| 119 | mx[fnum] = append(mx[fnum], x[:n]...) |
| 120 | x = x[n:] |
| 121 | } |
| 122 | for len(y) > 0 { |
| 123 | fnum, _, n := wire.ConsumeField(y) |
| 124 | my[fnum] = append(my[fnum], y[:n]...) |
| 125 | y = y[n:] |
| 126 | } |
| 127 | return reflect.DeepEqual(mx, my) |
| 128 | } |