实现 io.Reader 时在无限循环中中断与返回的不同行为

Question

我正在参加正式巡演。今天，我在做rot13reader 练习时遇到了一些奇怪的事情。

问题是当我使用break而不是return ttl, io.EOF，程序进入无限循环。但是，据我所知，在这个程序中，应该没有任何区别，break或者return ttl, io.EOF因为如果是break，下一行将return ttl, err在Read()方法的末尾，这与return ttl, io.EOF.

我想知道为什么。与 Go 如何处理 io.Reader 接口及其实现的底层机制有关吗？

这是代码。

package main

import (
    "io"
    "os"
    "strings"
)

type rot13Reader struct {
    r io.Reader
}

func (rr *rot13Reader) Read(b []byte) (n int, err error) {
    rb := make([]byte, 8)
    var ttl int
    for {
        n, err := rr.r.Read(rb)
        if err == io.EOF {
            return ttl, io.EOF
            // break <----------------------------here's the problem
        } else if err != nil {
            panic(err)
        } else {
            for i, c := range rb[:n] {
                b[i+ttl] = decodeRot13(c)
            }
            ttl += n
        }
    }
    return ttl, err
}

func decodeRot13(c byte) byte {
    if c >= 97 && c <= 122 { // a-z: 97 122
        c += 13
        if c > 122 {
            c -= 26
        }
    } else if c >= 65 && c <= 90 { // A-Z: 65 90
        c += 13
        if c > 90 {
            c -= 26
        }
    }
    return c
}

func main() {
    s := strings.NewReader("Lbh penpxrq gur pbqr!")
    r := rot13Reader{s}
    io.Copy(os.Stdout, &r)
}

Answer 1

观察到的行为是由于变量阴影：

func (rr *rot13Reader) Read(b []byte) (n int, err error) { // <-- this 'err'
    rb := make([]byte, 8)
    var ttl int
    for {
        n, err := rr.r.Read(rb) // <-- and this 'err' are different
        if err == io.EOF {
            return ttl, io.EOF
            // break <----------------------------here's the problem
        } else if err != nil {
            panic(err)
        } else {
            for i, c := range rb[:n] {
                b[i+ttl] = decodeRot13(c)
            }
            ttl += n
        }
    }
    return ttl, err
}

在这一行：

        n, err := rr.r.Read(rb) // <-- and this 'err' are different

由于:=分配，err创建了一个新实例，它隐藏了在更高范围内定义的实例。这意味着当您退出 for 循环时，此版本的err不可用，而nil使用设置为 的更高范围的版本。

这就是为什么return ttl, err与 相同return ttl, nil，而不是完全相同的原因return ttl, io.EOF。