Go程序设计语言2.5　类型声明

2.5　类型声明

变量或表达式的类型定义这些值应有的特性，例如大小（多少位或多少个元素等）、在内部如何表达、可以对其进行何种操作以及它们所关联的方法。

任何程序中，都有一些变量使用相同的表示方式，但是含义相差非常大。例如，int类型可以用于表示循环的索引、时间戳、文件描述符或月份；float64类型可以表示每秒多少米的速度或精确到几位小数的温度；string类型可以表示密码或者颜色的名字。

type声明定义一个新的命名类型，它和某个已有类型使用同样的底层类型。命名类型提供了一种方式来区分底层类型的不同或者不兼容使用，这样它们就不会在无意中混用。

类型的声明通常出现在包级别，这里命名的类型在整个包中可见，如果名字是导出的（开头使用大写字母），其他的包也可以访问它。

为了说明类型声明，我们把不同计量单位的温度值转换为不同的类型：

这个包定义了两个类型——Celsius（摄氏温度）和Fahrenheit（华氏温度），它们分别对应两种温度计量单位。即使使用相同的底层类型float64，它们也不是相同的类型，所以它们不能使用算术表达式进行比较和合并。区分这些类型可以防止无意间合并不同计量单位的温度值；从float64转换为Celsius(t)或Fahrenheit(t)需要显式类型转换。Celsius(t)和Fahrenheit(t)是类型转换，而不是函数调用。它们不会改变值和表达方式，但改变了显式意义。另一方面，函数CToF和FToC用来在两种温度计量单位之间转换，返回不同的数值。

对于每个类型T，都有一个对应的类型转换操作T(x)将值x转换为类型T。如果两个类型具有相同的底层类型或二者都是指向相同底层类型变量的未命名指针类型，则二者是可以相互转换的。类型转换不改变类型值的表达方式，仅改变类型。如果x对于类型T是可赋值的，类型转换也是允许的，但是通常是不必要的。

数字类型间的转换，字符串和一些slice类型间的转换是允许的，我们将在下一章详细讨论。这些转换会改变值的表达方式。例如，从浮点型转化为整型会丢失小数部分，从字符串转换成字节（[]byte）slice会分配一份字符串数据副本。任何情况下，运行时的转换不会失败。

命名类型的底层类型决定了它的结构和表达方式，以及它支持的内部操作集合，这些内部操作与直接使用底层类型的情况相同。正如你所预期的，它意味着对于Celsius和Fahrenheit类型可以使用与float64相同的算术操作符。

通过==和<之类的比较操作符，命名类型的值可以与其相同类型的值或者底层类型相同的未命名类型的值相比较。但是不同命名类型的值不能直接比较：

注意最后一种情况。无论名字如何，类型转换Celsius(f)没有改变参数的值，只改变其类型。测试结果是真，因为c和f的值都是0。

命名类型提供了概念上的便利，避免一遍遍地重复写复杂的类型。当底层类型是像float64这样简单的类型时，好处就不大了，但是对于我们将讨论到的复杂结构体类型，好处就很大，在讨论结构体时将介绍这一点。

下面的声明中，Celsius参数c出现在函数名字前面，名字叫String的方法关联到Celsius类型，返回c变量的数字值，后面跟着摄氏温度的符号℃。

很多类型都声明这样一个String方法，在变量通过fmt包作为字符串输出时，它可以控制类型值的显示方式，我们将在7.1节中看到。