为什么 gocmp Equal() 说 struct 不是完全相等的，即使所有字段都非常相等

发布于04月18日

我一直在使用reflect.DeepEqual来深入比较使用循环指针的 struct .由于这不适用于 map 和更好的测试输出，我已经切换到go-cmp.

现在我必须注意到，虽然cmp.Equal应该是reflect.DeepEqual的替代品，但如果前者正确工作，那么在这种情况下，会有不同的结果，尽管它实际上是非常相等的.

有人能告诉我为什么在这种情况下结果不同，以及理想情况下，如何修复它吗？

围棋场代码:https://play.golang.com/p/rLWKwMlAfwu

差异的输出:

StrongConnect() mismatch (-want +got):
  &⟪ref#0⟫main.Edge{
    StartNode: &⟪ref#1⟫main.Node{
        Variable: 1,
-       Low:      &⟪ref#0: 0xc00005c120⟫(...),
+       Low:      &⟪ref#0: 0xc00005c120⟫(...),
        High:     &{StartNode: &⟪ref#1⟫(...), EndNode: &{Variable: 2}, EdgeType: 1, Weight: 1},
    },
    EndNode:  &{Variable: 2},
    EdgeType: 0,
    Weight:   1,
  }

推荐答案

当将 struct 与周期进行比较时，reflect.DeepEqual比cmp.Equal更宽松(可以说是不正确的).

如果图中的 node 和边的集合是相同的，那么cmp.Equal将只考虑重叠图等价.Note:Node和Edge struct 都是此图比较中的 node .

在您的示例中，两个图形/ struct 重叠，但wantEdge0 is有一个额外的Edge struct 作为根 node (带前缀).

以下是数据 struct 中周期的简化表示:

wantEdge0 := &main.Edge{   // n0
    StartNode: &main.Node{ // n1
        Low: &main.Edge{}  // n2
    },
}
wantEdge0.StartNode.Low.StartNode = wantEdge0.StartNode // n1
got := wantEdge0.StartNode.Low                          // n2

因此有两个不同的周期:

wantEdge0 [n0] -> wantEdge0.StartNode [n1] -> got [n2] -> wantEdge0.StartNode [n1]
got [n2] -> wantEdge0.StartNode [n1] -> got [n2]

下面是一个简单的例子，演示了reflect.DeepEqual和cmp.Equal之间的区别:

package main

import (
    "fmt"
    "reflect"

    "github.com/google/go-cmp/cmp"
)

type Node struct {
    Next  *Node
    Value int
}

func main() {
    a0 := &Node{}
    a1 := &Node{}
    a2 := &Node{}
    a0.Next = a1
    a1.Next = a2
    a2.Next = a1

    b1 := &Node{}
    b2 := &Node{}
    b1.Next = b2
    b2.Next = b1

    fmt.Println("DeepEqual\tcmp.Equal")
    fmt.Printf("\t%v\t%v\t\tIndependent graphs\n", reflect.DeepEqual(a1, b1), cmp.Equal(a1, b1))
    fmt.Printf("\t%v\t%v\t\tSame graph, different root\n", reflect.DeepEqual(a1, a2), cmp.Equal(a1, a2))
    fmt.Printf("\t%v\t%v\t\tSame graph prepend vs no prepend\n", reflect.DeepEqual(a0, a1), cmp.Equal(a0, a1))
}

输出:

$ ./compare 
DeepEqual   cmp.Equal
    true    true        Independent graphs
    true    true        Same graph, different root
    true    false       Same graph prepend vs no prepend

Solution:我建议为want struct 和测试输入分配完全独立的 struct .这样want和got struct 就不会重叠，它们应该按预期进行比较.

参考资料: