泛型数的函数签名

Question

我正在尝试制作一些适用于数字的通用函数，但我正在努力处理函数签名。

也许我是从错误的角度来讨论这个问题，但到目前为止，我是在这里独立完成的。我并不是一心要这样做；因此，如果我从错误的角度来解决这个问题（创建一个通常有用的数学函数库），那么一定要教育我。

假设我想要一个函数，add将两个数字相加：

use std::ops::Add;

fn add(a: Add, b: Add) -> Add::Output {
    a + b
}

这不会编译。这里是一个游乐场：https://play.integer32.com/?version=stable

我基本上有两个错误。第一个：

error[E0393]: the type parameter `RHS` must be explicitly specified
 --> src/main.rs:8:11
  |
8 | fn add(a: Add, b: Add) -> Add::Output {
  |           ^^^ missing reference to `RHS`
  |
  = note: because of the default `Self` reference, type parameters must be specified on object types

我已经阅读了Rust book中关于高级特征的章节，所以我“有点/有点”理解了RHS的信息，但它们解决了将Add特征添加到特定数据结构中的问题（示例中的点）；但是永远不要显示一个函数的函数签名，该函数包含任何可以相加的内容。所以我有点迷路了。

第二个错误：

error[E0223]: ambiguous associated type
 --> src/main.rs:8:27
  |
8 | fn add(a: Add, b: Add) -> Add::Output {
  |                           ^^^^^^^^^^^ ambiguous associated type
  |
  = note: specify the type using the syntax `<Type as std::ops::Add>::Output`

如果我写




Answer 1

匿名用户

你把性格和类型混为一谈。

Add是一种特质。一个特性可以为一个类型或一类类型实现，但它本身不是一个类型。

函数参数需要用类型而不是特征来声明。这是原型的主要问题–Add不是类型，因此不能将其用作变量或函数参数的类型。

Rust允许您声明泛型类型，本质上是类型变量。然后，您可以在泛型类型上设置特征边界，这要求替换泛型类型的任何类型都必须实现一些特征。您使用泛型类型参数T的示例如下所示：

fn add<T: Add>(a: T, b: T) -> T::Output

这个原型要求a和b都具有相同的类型T，并且T实现Add特性。