在 Go 语言中，channel 相关的 happened-before 关系具体有哪些？请列举并解释这些关系是如何保证并发操作的正确性的。

回答思路

1. 【回答框架 1】Channel 是 Go 并发通信的核心，其发送和接收操作具有特定的 happened-before 关系。具体规则可分为三类：1) 发送操作发生在接收操作完成之前；2) 接收操作发生在下一次发送操作开始之前；3) 关闭 channel 的发送操作发生在接收方收到零值之前。
2. 【回答框架 2】对于有缓冲 channel，第 n 次发送操作发生在第 n 次接收操作完成之前，但和第 n+1 次接收操作没有直接关系。这确保了数据的顺序传递和内存同步。
3. 【回答框架 3】对于无缓冲 channel，接收操作发生在发送操作完成之前，发送操作又发生在接收操作完成之后，形成一种同步机制，确保双方在通信时数据可见。
4. 【回答框架 4】这些规则构成了 Go 内存模型的补充，帮助开发者理解跨 goroutine 的数据可见性，避免数据竞争。遵循这些规则可以安全地使用 channel 进行并发通信。
5. 【回答框架 5】在实际编码中，合理利用这些 happened-before 关系可以简化同步逻辑，比如通过 channel 传递信号来确保初始化完成后才执行后续操作，而无需使用额外的锁或原子操作。
6. 【关键点 1】发送操作发生在对应接收操作完成之前。
7. 【关键点 2】接收操作发生在下一次发送操作之前（针对有缓冲 channel）。
8. 【关键点 3】无缓冲 channel 的接收发生在发送之前，发送完成后接收可见。
9. 【关键点 4】关闭 channel 的发送行为与接收方收到零值有明确的先后关系。
10. 【易错点 1】不要把 channel 的 happened-before 关系误解为完全同步，它仅保证数据可见性，不保证业务逻辑的原子性。
11. 【易错点 2】避免在有缓冲 channel 中依赖第 n 次发送与第 n+1 次接收的顺序，这不受保障。
12. 【易错点 3】误用关闭后的 channel 可能导致接收方立即收到零值，但发送方若继续发送会引发 panic。