练习解决方案中的内存泄漏：等效二叉树？

Question

(https://github.com/golang/tour/blob/master/solutions/binarytrees_quit.go)练习：等价二叉树假设我们有两个简单的等价二叉树“1 3 5”和“2 3 5”。当两个goroutine“Walk”同时在叶“1”和“2”处行走时，

if v1 != v2 {
    return false
}

函数中的条件相同将为真

关闭（退出）

会跑。

func walkImpl(t *tree.Tree, ch, quit chan int) {
    if t == nil {
        return
    }
    walkImpl(t.Left, ch, quit)
    select {
    case ch <- t.Value:
        // Value successfully sent.
    case <-quit:
        return
    }
    walkImpl(t.Right, ch, quit)
}

通道“quit”将接收消息，并执行select语句的第二种情况。然后它将返回到上层函数“walkinpl”，并继续运行最后一行walkinpl（t.Right，ch，quit）。那么，在这种情况下是否存在goroutine泄漏，导致通道“quit”已被读取，无法在上层再次读取？函数“Walk”也不能返回到“close”处理程序。

Answer 1

当多个goroutine以取消信号为目标时，通常通过关闭一个通道来完成，而不是在通道上发送值。无论有多少Goroutine这样做，从封闭通道接收信息都可以立即进行。在通道上发送的值最多只能接收一次，因此不适合用一个值向多个goroutine发送信号。规格：接收操作员：

封闭通道上的接收操作始终可以立即进行，在接收到之前发送的任何值后，生成元素类型的零值。

现在，如果您关闭quit频道，这并不保证您的函数会立即返回。

首先，在不选中quit的情况下递归到左子级，该调用将执行相同的操作（直到到达nil左子级）。

其次，如果可以在ch上发送值，则两种情况都已准备就绪，因此select随机选择其中一种情况，这可能是quit情况，也可能不是。有关详细信息，请参见当涉及多个通道时，select如何工作？

如果你想避免这些，你应该在你的函数中添加一个非阻塞的退出检查作为第一件事：

func walkImpl(t *tree.Tree, ch, quit chan int) {
    select {
    case <-quit:
        return
    default: // This empty default makes it a non-blocking check
    }

    if t == nil {
        return
    }
    walkImpl(t.Left, ch, quit)
    select {
    case ch <- t.Value:
        // Value successfully sent.
    case <-quit:
        return
    }
    walkImpl(t.Right, ch, quit)
}

现在有人可能会问我们是否还需要第二个select中的quit案例，因为我们已经在walkinpl（）中首先检查了它。答案是，您也应该保留该选项，因为如果在ch上发送将被阻止（例如，当quit关闭时，消费者将被关闭），则发送操作可能会永远被阻止。这样（当quit关闭时）可以保证函数返回。