GO语言 代码的嵌套——各种状态的组合

func (g *Gopher) WriteTo(w io.Writer) (size int64, err error) {
    err = binary.Write(w, binary.LittleEndian, int32(len(g.Name)))
    if err == nil {
        size += 4
        var n int
        n, err = w.Write([]byte(g.Name))
        size += int64(n)
        if err == nil {
            err = binary.Write(w, binary.LittleEndian, int64(g.AgeYears))
            if err == nil {
                size += 4
            }
            return
        }
        return
    }
    return
}

答案是：在高亮代码之前的每个if语句，这些语句每个都是一种状态。接下来请继续看看第二例子：

func (g *Gopher) WriteTo(w io.Writer) (size int64, err error) {
    err = binary.Write(w, binary.LittleEndian, int32(len(g.Name)))
    if err != nil {
        return
    }
    size += 4
    n, err := w.Write([]byte(g.Name))
    size += int64(n)
    if err != nil {
        return
    }
    err = binary.Write(w, binary.LittleEndian, int64(g.AgeYears))
    if err == nil {
        size += 4
    }
    return
}

在这个例子中，高亮代码对于代码之前的逻辑（它到底从哪里来的）所关心甚少 —— 它所需要知道的就是我们的代码已经执行到这里了。这种扁平的、大量“失败-返回”的结构可以被称为“迅速失败”模式：在这种模式中，当你执行到代码最底部时，你只需要一种状态:代码已经执行到最后了，并且成功了，并不需要向上层逐层返回。所以你可以忽略这个状态之前的所有代码和过程。当然了这两段代码在逻辑上是等价的。

最后不得不谈到心智模型——当工作在一段本地代码（本地状态）的时候你还要记住那些“非本地元素”列表（代码耦合度很高）。对于作者来说“非本地元素“列表就是非本地状态的一种很好的定义。所以请记住避免状态之间的耦合,尽量采用第二种模式来实现你的代码。