类型定义 - 即使基本类型是自定义类型的来源，也不能将基本类型用作自定义类型

Question

在下面的代码中，我们在第 5,6,7 行使用了type definition 语法：

package math

// Constructors and Selectors

type RationalNumber []int                      // Line 5
type Numerator int
type Denominator int

// Constructor - Construct a rational number x that represents n/d
func NewRationalNumber(n int, d int) RationalNumber {
    g := gcd(n, d) 
    return []int{n / g, d / g}             // Line 12
}

//Selector
func numer(x RationalNumber) Numerator {
    return x[0]                           // Line 17
}

//Selector
func denom(x RationalNumber) Denominator {
    return x[1]
}

---

return []int{n / g, d / g}不报错，

在哪里，

return x[0] & return x[1] 给出错误：

math/numbers.go:17:10: cannot use x[0] (type int) as type Numerator in return argument
math/numbers.go:22:10: cannot use x[1] (type int) as type Denominator in return argument

---

对于第 5、6、7 行中给定的 3 个类型定义，我理解第 17 行错误背后的原因，但是，

1. 为什么第 12 行没有给出类似的错误？

2. 如何解决这个错误？不改变函数的签名？

Answer 1

定义的类型 RationalNumber 是从具有 int 类型元素的切片创建的，因此订阅已定义类型的实例会给出 int，而不是任何新定义的从 int 创建的类型。

编译器不会抱怨第 12 行，因为语法是适合创建已定义类型的 slice literal（提示：新 slice 类型的元素是 int）。

Answer 2

您返回的类型与函数定义中指定的类型不同。

以numer(x RationalNumber) Numerator为例

numer(x RationalNumber) Numerator 接受RationalNumber 类型的变量，并预计返回Numerator 类型的变量。 问题是您返回的是 int 类型（因为 RationalNumber 是 ints 的 slice），但应该是 Numerator 类型。

您可以重构代码以将RationalNumber 返回的int 转换为适当的类型。

type RationalNumber []int                    
type Numerator int
type Denominator int

func NewRationalNumber(n int, d int) RationalNumber {
    g := gcd(n, d) 
    return []int{n / g, d / g}  
}

func numer(x RationalNumber) Numerator {
    return Numerator(x[0])                     
}

func denom(x RationalNumber) Denominator {
    return Denominator(x[1])
}

我知道，我的问题是为什么没有必要做 RationalNumber([]int{n / g, d / g})？

您不需要这样做，因为 []int{n/g, d/g} 已经是整数切片。

type Numerator = int 语法正在解决错误。我不确定，Numerator = int 类型与 Numerator int 类型有何不同？不需要 Numerator(x[0])

type Numerator = int 是int 的类型别名。这不会创建不同于 int 的新类型。

而type Numerator int 创建了一个名为Numerator 的新自定义类型，其源类型为int。 Numerator 可以转换为 int 但它不同于 int

更多解释可以参考Type definitions vs Type Alias

Answer 3

这个问题也困扰着我，所以这是我想出的答案。

以你的函数为例：

func NewRationalNumber(n int, d int) RationalNumber {
    g := gcd(n, d) 
    return []int{n / g, d / g}
}

根据函数签名，它应该返回RationalNumber类型，但实际上它返回int切片。它起作用的原因是类型[]int 可以分配给类型RationalNumber。具体来说，它满足第二个条件，mentioned in language spec:

x 的类型 V 和 T 具有相同的底层类型，并且 V 或 T 中至少有一个不是定义的类型。

满足这个条件，因为在这种情况下，我们只有一个定义类型（RationalNumber），另一个是复合类型（[]int）。

那么，为什么我们在定义下面的函数时会报错呢？：

func numer(x RationalNumber) Numerator {
    return x[0]
}

类型Numerator 具有int 作为基础类型，我们返回int，这是预先声明的类型，所以它应该可以工作，对吧？不）事情是，虽然int 是预先声明的，但它仍然是定义的类型。正如language spec 中所述：

为避免可移植性问题，所有数字类型都是已定义类型

事实上，所有predeclared types，除了error，都是定义类型。