首页 > 解决方案 > 我如何要求对泛型类型的引用实现特征?

问题描述

我试图实现一个通用的矩阵乘积函数,它应该适用于所有原始类型和板条箱中的BigInt/BigUint类型num_bigint

extern crate num_bigint;
extern crate num_traits;

use num_traits::identities::Zero;
use std::ops::{AddAssign, Mul};

#[derive(Debug, Clone)]
struct Matrix<T> {
    n: usize,
    m: usize,
    data: Vec<Vec<T>>,
}

fn m_prd<T>(a: &Matrix<T>, b: &Matrix<T>) -> Matrix<T>
where
    T: Clone + AddAssign + Mul<Output = T> + Zero,
{
    let n = a.n;
    let p = b.n;
    let m = b.m;
    let mut c = Matrix {
        n: n,
        m: m,
        data: vec![vec![T::zero(); m]; n],
    };
    for i in 0..n {
        for j in 0..m {
            for k in 0..p {
                c.data[i][j] += &a.data[i][k] * &b.data[k][j];
            }
        }
    }
    c
}

fn main() {}

我收到以下错误消息:

error[E0369]: binary operation `*` cannot be applied to type `&T`
  --> src/main.rs:29:33
   |
29 |                 c.data[i][j] += &a.data[i][k] * &b.data[k][j];
   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: an implementation of `std::ops::Mul` might be missing for `&T`

在这种情况下如何实现该功能&T

Shepmaster 认为这个问题是重复的,但似乎是由于运算符 (AddAssignMul) 应用于参考 ( ) 需要在关键字 &T后单独声明where

标签: rust

解决方案


推荐阅读