4.9. I/O包

接下来我们使用open/close/read/write等基本的系统调用实现一个用于文件IO的包。让我们从文件file.go开始：

  05    package file

  07    import (
  08        "os"
  09        "syscall"
  10    )

  12    type File struct {
  13        fd   int    // file descriptor number
  14        name string // file name at Open time
  15    }

文件的第一行声明当前代码对应—"file"—包，然后导入os和syscall两个包。包os封装了不同操作系统底层的实现，例如将文件抽象成相同的类型。我们将在系统接口基础上封装一个基本的文件IO接口。

另外还有其他一些比较底层的syscall包，它提供一些底层的系统调用(system's calls)。

接下来是一个类型(type)定义：用"type"这个关键字来声明一个类。在这个例子里数据结构(data structure) 名为"File"。为了让这事变的有趣些，我们的File包含了一个这个文件的名字(name)用来描述这个文件。

因为结构体名字"File"的首字母是大写，所以这个类型包(package)可以被外部访问。在GO中访问规则的处理是非常简单的：如果顶极类型名字首字母(包括：function, method, constant or variable, or of a structure field or method)是大写，那么引用了这个包(package)的使用者就可以访问到它。不然名称和被命名的东西将只能有package内部看到。这是一个要严格遵循的规则，因为这个访问规则是由编译器(compiler)强制规范的。在GO中，一组公开可见的名称是"exported"。

在这个File例子中，所有的字段(fields)都是小写所以从包外部是不能访问的，不过我们在下面将会一个一个对外访问的出口(exported) —— 一个以大写字母开头的方法。

首先是一个创建File结构体的函数：

  17    func newFile(fd int, name string) *File {
  18        if fd < 0 {
  19            return nil
  20        }
  21        return &File{fd, name}
  22    }

这将返回一个指向新File结构体的指针，结构体存有文件描述符和文件名。这段代码使用了GO的复合变量(composite literal)的概念，和创建内建的maps和arrays类型变量一样。要创建在堆（heap-allocated）中创建一个新的对象，我们可以这样写：

          n := new(File);
          n.fd = fd;
          n.name = name;
          return n

如果结构比较简单的话，我们可以直接在返回结构体变量地址的时候初始化成员字段，如前面例子的 21行代码所示。

我们可以用前面的函数（newFile）构造一些File类型的变量，返回File：

  24    var (
  25        Stdin  = newFile(0, "/dev/stdin")
  26        Stdout = newFile(1, "/dev/stdout")
  27        Stderr = newFile(2, "/dev/stderr")
  28    )

这里的newFile是内部函数，真正包外部可以访问的函数是Open：

  30    func Open(name string, mode int, perm uint32) (file *File, err os.Error) {
  31        r, e := syscall.Open(name, mode, perm)
  32        if e != 0 {
  33            err = os.Errno(e)
  34        }
  35        return newFile(r, name), err
  36    }

在这几行里出现了一些新的东西。首先，函数Open返回多个值(multi-value)：一个File指针和一个error( 等一下会介绍errors)》我们用括号来表来声明返回多个变量值(multi-value)，语法上它看起来像第二个参数列表。syscall.Open系统调用同样也是返回多个值multi-value。接着我们能在31行创建了r和e两个变量用于保存syscall.Open的返回值。函数最终也是返回2个值，分别为File指针和一个error。如果syscall.Open打开失败，文件描述r将会是个负值，newFile将会返回nil。

关于错误：os包包含了一些常见的错误类型。在用户自己的代码中也尽量使用这些通用的错误。在Open函数中，我们用os.Error函数将Unix的整数错误代码转换为go语言的错误类型。

现在我们可以创建Files,我们为它定义了一些常用的方法(methods)。要给一个类型定义一个方法(method)，需要在函数名前增加一个用于访问当前类型的变量。这些是为*File类型创建的一些方法：

  38    func (file *File) Close() os.Error {
  39        if file == nil {
  40            return os.EINVAL
  41        }
  42        e := syscall.Close(file.fd)
  43        file.fd = -1 // so it can't be closed again
  44        if e != 0 {
  45            return os.Errno(e)
  46        }
  47        return nil
  48    }

  50    func (file *File) Read(b []byte) (ret int, err os.Error) {
  51        if file == nil {
  52            return -1, os.EINVAL
  53        }
  54        r, e := syscall.Read(file.fd, b)
  55        if e != 0 {
  56            err = os.Errno(e)
  57        }
  58        return int(r), err
  59    }

  61    func (file *File) Write(b []byte) (ret int, err os.Error) {
  62        if file == nil {
  63            return -1, os.EINVAL
  64        }
  65        r, e := syscall.Write(file.fd, b)
  66        if e != 0 {
  67            err = os.Errno(e)
  68        }
  69        return int(r), err
  70    }

  72    func (file *File) String() string {
  73        return file.name
  74    }

这些并没有隐含的this指针（参考C＋＋类），而且类型的方法(methods)也不是定义在struct内部——struct结构只声明数据成员(data members)。事实上，我们可以给任意数据类型定义方法，例如：整数(integer)，数组(array) 等。后面我们会有一个给数组定义方法的例子。

String这个方法之所以会被调用是为了更好的打印信息，我们稍后会详细说明。

方法(methods)使用os.EINVAL来表示(os.Error的版本)Unix错误代码EINVAL。在os包中针对标准的error变量定义各种错误常量。

现在我们可以使用我们自己创建的包(package)了：

  05    package main

  07    import (
  08        "./file"
  09        "fmt"
  10        "os"
  11    )

  13    func main() {
  14        hello := []byte("hello, world\n")
  15        file.Stdout.Write(hello)
  16        file, err := file.Open("/does/not/exist",  0,  0)
  17        if file == nil {
  18            fmt.Printf("can't open file; err=%s\n",  err.String())
  19            os.Exit(1)
  20        }
  21    }

这个"./"在导入(import)"./file"时告诉编译器(compiler)使用我们自己的package，而不是在默认的package路径中找。

最后，我们来执行这个程序：

      $ 6g file.go                       # compile file package
      $ 6g helloworld3.go                # compile main package
      $ 6l -o helloworld3 helloworld3.6  # link - no need to mention "file"
      $ helloworld3
      hello, world
      can't open file; err=No such file or directory
      $