diff --git a/src/ch10-01-syntax.md b/src/ch10-01-syntax.md index aaabdd2..6adfa80 100644 --- a/src/ch10-01-syntax.md +++ b/src/ch10-01-syntax.md @@ -132,7 +132,7 @@ enum Result { 这里在 `Point` 上定义了一个叫做 `x` 的方法来返回字段 `x` 中数据的引用: -注意必须在 `impl` 后面声明 `T`,这样就可以在 `Point` 上实现的方法中使用 `T` 了。通过在 `impl` 之后声明泛型 `T`,Rust 就知道 `Point` 的尖括号中的类型是泛型而不是具体类型。我们可以为泛型参数选择一个与结构体定义中声明的泛型参数所不同的名称,不过依照惯例使用了相同的名称。`impl` 中编写的方法声明了泛型类型可以定位为任何类型的实例,不管最终替换泛型类型的是何具体类型。 +注意必须在 `impl` 后面声明 `T`,这样就可以在 `Point` 上实现的方法中使用 `T` 了。通过在 `impl` 之后声明泛型 `T`,Rust 就知道 `Point` 的尖括号中的类型是泛型而不是具体类型。我们可以为泛型参数选择一个与结构体定义中声明的泛型参数所不同的名称,不过依照惯例使用了相同的名称。在声明泛型类型参数的 `impl` 中编写的方法将会定义在该类型的任何实例上,无论最终替换泛型类型参数的是何具体类型。(译者注:以示例 10-9 为例,`impl` 中声明了泛型类型参数 `T`,`x` 是编写在 `impl` 中的方法,`x` 方法将会定义在 `Point` 的任何实例上,无论最终替换泛型类型参数 `T` 的是何具体类型)。 定义方法时也可以为泛型指定限制(constraint)。例如,可以选择为 `Point` 实例实现方法,而不是为泛型 `Point` 实例。示例 10-10 展示了一个没有在 `impl` 之后(的尖括号)声明泛型的例子,这里使用了一个具体类型,`f32`: