问题描述
我想创建一个特征,说它实现了num_traits::pow::Pow - Rust。
我的特征目前定义为:
pub trait PrimeSieveTrait:
AddAssign + MulAssign + integer::Roots + FromPrimitive + ToPrimitive + PartialOrd + copy {}
impl<T> PrimeSieveTrait for T
where T:
AddAssign + MulAssign + integer::Roots + FromPrimitive + ToPrimitive + PartialOrd + copy {}
我关心的T
的类型是u32
和u64
,它们已经在num_traits::pow::Pow - Rust上实现了.pow()
函数,并返回{{ 1}}和u32
。如何修改特征定义以使以下功能正常工作?
u64
解决方法
Rust的错误非常有帮助:
error[E0599]: no method named `pow` found for type parameter `T` in the current scope
--> src/common/divisor.rs:30:19
|
30 | let p_power = p.pow(x);
| ^^^ method not found in `T`
|
= help: items from traits can only be used if the type parameter is bounded by the trait
help: the following traits define an item `pow`,perhaps you need to restrict type parameter `T` with one of them:
|
26 | fn step_calc_divisors<T: rug::ops::Pow + PrimeSieveTrait>(divisors: &mut Vec<T>,strict_lower_bound: T,upper_bound: T,p: T,x: u32) {
| ^^^^^^^^^^^^^^^^^^
26 | fn step_calc_divisors<T: num::PrimInt + PrimeSieveTrait>(divisors: &mut Vec<T>,x: u32) {
| ^^^^^^^^^^^^^^^^^
26 | fn step_calc_divisors<T: num::traits::Pow + PrimeSieveTrait>(divisors: &mut Vec<T>,x: u32) {
| ^^^^^^^^^^^^^^^^^^^^^
尝试第二种方法:
pub trait PrimeSieveTrait:
AddAssign + MulAssign + DivAssign + integer::Roots + PrimInt + FromPrimitive {}
impl<T> PrimeSieveTrait for T
where T:
AddAssign + MulAssign + DivAssign + integer::Roots + PrimInt + FromPrimitive {}